Do you know what PD is? Do you have an opinion on its truth or falsity, and knowledge of how it relates to other candidate axioms floating about? — fishfry
As I said, Woodin's strategy to prove CH from PD -- while staying clear of ZFC in any form or shape -- sounds really interesting, but he has also clearly said that he still hasn't managed to do it. I am just repeating Woodin's own words. — alcontali
you can see that the only workable proof strategy is exactly about avoiding set-theoretic knowledge. — alcontali
I'm always up for a chat about set theory but this ain't it. — fishfry
If Woodin said that he's "not finished," he means he's not finished with his decades-long research project. — fishfry
He's got plenty of published proofs, he's one of the top set theorists in the world. — fishfry
our comment that there's nothing on Wikipedia because he doesn't have a finished proof is, I apologize for my directness, laughable. — fishfry
That's your strategy. Avoiding knowledge. — fishfry
Anything more on offer more central to the OP, the philosophy of Software Engineering? :chin: — Pattern-chaser
The philosophy of software engineering? Oh boy, that sounds exciting. Where do I sign up? — S
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.