| WebSeitz/wikilog |
| Kurt Godel |
|
| last edited by BillSeitz on Aug 10, 2008 3:06 pm |
one of the inspirations for Godel Escher Bach
mathematician
He was a deep logician whose most famous work was the [Incompleteness Theorem] stating that any self-consistent axiomatic system powerful enough to describe integer arithmetic will allow for propositions about integers that can neither be proven nor disproven from the axioms. http://www.wikipedia.org/wiki/Kurt_Godel
| See Back Links: John Boyd | Fundamental Ism | Godel Escher Bach | Nature Of Truth | |
| User Options Recent Changes Help Page |