- #1
- 22,183
- 3,324
Anybody tired of those long, tedious proofs in ZFC?
Anybody tired of those annoying counterexamples to beautiful results?
Want to see a new kind of mathematics where everything works fine?
Try Falso: http://estatis.coders.fm/falso/
Anybody tired of those annoying counterexamples to beautiful results?
Want to see a new kind of mathematics where everything works fine?
Try Falso: http://estatis.coders.fm/falso/
Last edited by a moderator: