Monday, August 13, 2012

Philosophy ain't no joke.

Just found this draft of a blog post that I never followed through with:

I just figured I'd whine about/show off the type of questions I have to answer on the exam I'm taking for a BYU Independent Study course tomorrow.
Q: What exactly did Gödel prove?
A: Gödel proved that no consistent axiom system for arithmetic can be complete and that no proof of the consistency of an axiom system for arithmetic can be constructed within that system.

No comments: