The best thing about mathematics is that you can’t argue with a proof.
-
Says the man arguing with Gödel's proofs!
-
-
I did study this stuff formally, but it's been 40 years. Are you disputing the axiom of infinity? (A7 of ZFC in usual ordering). I dont think even Brouwer did that (but again, a long time).
-
The axiom that every integer has a successor. I’m not disputing it, just saying it has undesirable consequences.
- Näytä vastaukset
Uusi keskustelu -
Lataaminen näyttää kestävän hetken.
Twitter saattaa olla ruuhkautunut tai ongelma on muuten hetkellinen. Yritä uudelleen tai käy Twitterin tilasivulla saadaksesi lisätietoja.