Timeline for Did Gödel possess a proof of the independence of $\mathsf{AC}$?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1 at 13:18 | comment | added | Sam Hopkins | Quoting from Paul Cohen: "My Interaction with Kurt Gödel; the man and his work" logic.at/goedel2006/abstract.php?cohen - "I visited Princeton again, for several months, and had many meetings with [Gödel]. I brought up the question of whether , as rumor had it, he had proved the Independence of the Axiom of Choice. He replied that he had, evidently by a method related to my own, but gave me no precise idea, nor why his method evidently failed to succeed with the Continuum hypothesis." | |
| May 1 at 10:16 | answer | added | Carlo Beenakker | timeline score: 13 | |
| May 1 at 9:02 | history | asked | A. Bailleul | CC BY-SA 4.0 |