Sunday, November 20, 2011
A little math and philosophy
Expand your mind as the bright lights of MathOverflow discuss the value of proofs.
As a person who has been spending significant time to learn mathematics, I have to admit that I sometimes find the fact uncovered by Godel very upsetting: we never can know that our axiom system is consistent. The consistency of ZFC can only be proved in a larger system, whose consistency is unknown.
Labels: math, philosophy
