Difference between revisions of "Kurt Gödel"
Jump to navigation
Jump to search
Sorindanut (talk | contribs) (→Books) |
Sorindanut (talk | contribs) |
||
| Line 18: | Line 18: | ||
==Articles== | ==Articles== | ||
* "Die Vollständigkeit der Axiome des logischen Funktionenkalküls", ''Monatshefte für Mathematik'', Vol. 37, no. 1, 1930:349-360. | * "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. | *"Ü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. | ||
;Literature | ;Literature | ||
Revision as of 08:01, 27 November 2013
 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.
Contents
Books
- Collected works. Publications 1929-1936 [Volume 1], Oxford University Press, 1986.
- Collected works. Publications 1938-1974 [Volume 2], Oxford University Press, 1989.
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Dover Publications, 1992.
- Collected Works: Unpublished essays and lectures [Volume 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.
- Literature
- Collected Works: Volume I: Publications 1929-1936, Oxford University Press, 1986.
- 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.
- About Godel
- John W. Dawson Jr., Logical Dilemmas: The Life and Work of Kurt Godel, 2005.
- Rebecca Goldstein, Incompleteness - The Proof and Paradox of Kurt Godel, 2005.
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.
