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: ,

Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?