Mr. George Gilder claims that Mr. (Dr.?) Kurt Gödel proved "in essence that every logical system, including mathematics, is dependent on premises that it cannot prove and that cannot be demonstrated within the system itself, or be reduced to it."[1][2] Does anyone know if that is in fact the case? The proof is no doubt beyond me, but E.L. or J.D. would likely be able to understand it, were they interested. I am rather curious to know if this authors claims of the proof (that mathematics necessarily rests on unprovables) are true.
- Mr. George Gilder. "Evolution and Me." National Review 2006-07-17. Viewed 2006-09-18 at http://www.discovery.org/scripts/viewDB/index.php?command=view&id=3631
- I have tagged this post as being "evolution." Why I have done so will become clear if either you read the article referenced, or if I get around to posting _about_ the article, vs about a tiny bit of its content.