Help
Index

 Maarten Maartensz:    Philosophical Dictionary | Filosofisch Woordenboek                      

 G - Gödel


 
Kurt Gödel: 1906-1978: Austrian (later US) mathematician, logician and philosopher.

Discoverer of the incompleteness theorems, for which see Gödel's_Theorems. Also discovered the completeness of First Order Logic. Was a personal friend of Einstein in Einstein's last years, and an admirer of Leibniz.







 


See also: Gödel's_Theorems


Literature:

Boolos, Boolos & Jeffrey, Gödel, Hilbert & Bernays (vol 2), Kleene, Penrose, Smullyan

 Original: May 9, 2011                                                Last edited: 12 December 2011.   Top