Tuesday, November 28, 2006

Incompleteness

I finished reading the book Incompleteness: The Proof and Paradox of Kurt Godel over the weekend...a great read for those of us interested in mathematics and philosophy. The gist of what Godel did was to prove that every mathematical system has unprovable axioms...that is, truths that must be taken without proof.

It seems to me that Godel's theorems have immense epistemological implications. If we grant that they have implications for philosophy and epistemology, then it seems that everyone must have as the basis of their worldview a set of presuppositions to which they hold...like it or not. Mankind in its pride has wanted to live in a closed system where man is "the measure of all things." It seems as if Godel's work illustrates the fact that we don't know it all. I will say more on this later.

No comments: