Anybody else sick of the current math axioms?

  • Context: Graduate 
  • Thread starter Thread starter micromass
  • Start date Start date
  • Tags Tags
    Axioms Current
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
4 replies · 2K views
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Messages
22,170
Reaction score
3,335
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/
 
Last edited by a moderator:

Discussion

Mathematics news on Phys.org
Want to split the remaining Millennium problems and prize money? ([tex]60:40 \equiv 50:50[/tex], I can prove it...)
 
I find it hard to tell when they are kidding and what they're purpose actually is. Not in a funny way either.

EDIT: Apparently, seeing as the consensus is that it is funny, I just have a bad sense of humor. :)
 
Last edited:
April 1st came early this year :smile:

But they should be marketing this to engineers not mathematicians :rolleyes:
 
Were those testamonials, by Burnside, Sylvester and Routh got by Ouija board?