Kurt Gödel
 Kurt Friedrich Gödel (1956). | |
| Born |
April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) |
|---|---|
| Died |
January 14, 1978 (aged 71) Princeton, New Jersey, United States |
Kurt Friedrich Gödel was an Austrian, and later American, logician, mathematician, and philosopher. Considered with Aristotle and Frege to be one of the most significant logicians in human history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century.
Literature
- Collected Works: Volume 1: Publications 1929-1936, Oxford University Press, 1986.
- Collected Works: Volume 2: Publications 1938-1974, Oxford University Press, 1989.
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Dover Publications, 1992.
- Collected Works, Volume 3: Unpublished essays and lectures, Vol. 3, Oxford University Press, 1995.
- Articles
- "Die Vollständigkeit der Axiome des logischen Funktionenkalküls", Monatshefte für Mathematik, Vol. 37, no. 1, 1930:349-360.
- "Diskussion zur Grundlegung der Mathematik", Monatshefte für Mathematik, Vol. 2, no. 1, 1931:135-151.
- "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I", Monatshefte für Mathematik, Vol. 38, no. 1, 1931:173-198.
- "Zum Entscheidungsproblem des logischen Funktionenkalküls", Monatshefte für Mathematik, Vol. 40, no. 1, 1933:433-443.
- "On a hitherto unexploited extension of the finitary standpoint", Journal of Philosophical Logic, Vol. 86, no. 1, 1978:1-15.
- On Gödel
- Georg Kreisel, "Kurt Gödel", Biographical Memoirs of the Fellows of the Royal Society, Vol. 26, 1980, pp 149-223.
- Stephen C. Kleene, "Kurt Gödel", Biographical Memoir, National Academy of Sciences, 1987.
- Juliette Kennedy, "Kurt Gödel", Stanford Encyclopedia of Philosophy, 2007.
Legacy
The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Gödel, in whose honour it was named.
