Abstract
Since the end of last century an investigation of the methods of mathematical reasoning has been gaining momentum; due to that development the field of mathematical logic has originated and advanced. Kurt Gödel was one of those who contributed most to its forming and progress. Information about Gödel’s life is still comparatively scanty. Most likely that is due to the secluded and simple way of life he led.
English translation by Snezhana Anastassova
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bott, R., 1985, On topology and other things, Notices of the Amer. Mathem. Soc., 32, No. 2 (March): 152–158.
Christian, C., 1980, Leben und Wirken Kurt Gödels, Monatshefte für Mathem., 89: 261–273.
Christian, C., 1983, Der Beitrag Gödels für die Rechtfertigung der Leibnizschen Idee von den Infinitesimalen, Sitzungsberichte der Osterreichischen Akademie der Wissenschaften, Mathem. Naturw. Klasse, 192, Heft 1–3: 25–44.
Christian, C., 1984, Gödel’s contribution to the justification of Leibniz’s notion of the infinitesimals, Historia Mathematica, 11: 215–219.
Cohen, P. J., 1963, The independence of the continuum hypothesis I, Proc. Nat. Acad. Sci. USA., 50: 1143–1148.
Cohen, P. J., 1964, The independence of the continuum hypothesis II, Proc. Nat. Acd. Sci. USA., 51: 105–110.
Cohen, P. J., 1966, “Set Theory and the Continuum Hypothesis”, Benjamin Inc., New York.
Davis, M., 1977, “Applied Nonstandard Analysis”, Wiley, New York.
Dawson, J. W. Jr., 1983, The published work of Kurt Gödel: an annotated bibliography, Notre Dame JFL., 24: 255–284.
Dawson, J. W. Jr., 1984, Addenda and corrigenda to “The published work of Kurt Gödel”, Notre Dame JFL., 25: 283–287.
Dawson, J. W. Jr., 1984a, Kurt Gödel in sharper focus, Mathem. Intelligencer, 6, No. 4: 9–17.
Dawson, J. W. Jr., 1984b, Discussion on the foundations of mathematics, History and Philosophy of Logic, 5: 111–129.
Dawson, J. W. Jr., 1985, Completing the Gödel-Zermelo correspondence, Historia Mathematica, 12: 66–70.
Dawson, J. W. Jr., 1986, A Gödel chronology, in: Eds. by S. Feferman (ed. in chief), Clarendon Press, Oxford.
J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort 1986, A Gödel chronology,, Oxford University Press, New York
Dreben, B., and van Heijenoort, J., 1986, Introductory note to 1929, 1930 and 1930a, in: Eds. by S. Feferman (ed. in chief), Clarendon Press, Oxford.
J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort, 1986, Introductory note to 1929, 1930 and 1930a, Oxford University Press, New York
“Encyclopedia Americana. Complete in 30 volumes”, 1949, Americana Corporation.
Feferman, S., 1986, Gödel’s life and work, in: Eds. by S. Feferman (ed. in chief), Clarendon Press, Oxford.
J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort, 1986, Gödel’s life and work, Oxford University Press, New York; Clarendon Press, Oxford.
“Foundations of Mathematics. Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel”, 1969, J. Bulloff, T. C. Holyoke, S. W. Hahn, eds., Springer, Berlin.
Gödel, K., 1929, On the completeness of the calculus of logic, in: Eds. by S. Feferman (ed. in chief), Clarendon Press, Oxford.
J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort, 1929, On the completeness of the calculus of logic, Oxford University Press, New York.
Gödel, K., 1930, Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathem. und Physik, 37: 349–360.
Gödel, K., 1930a, Eininge metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit, Anzeiger der Akademie der Wiss. in Wien, 67: 214–215.
Gödel, K., 1931, Uber formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I, Monatshefte für Mathem. und Physik, 38: 173–198.
Gödel, K., 1932, Eine Eigenschaft der Realisierungen des Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums, 2: 27–28.
Gödel, K., 1934, “On undecidable propositions of formal mathematical systems” (mimeographed lecture notes, taken by S. C. Kleene and J. B. Rosser), Princeton. Reprinted with revisions in: “The Undecidable”, M. Davis, ed., Raven Press, Hewlett, N.Y.
Gödel, K., 1938, The consistency of the axiom of choice and of the generalized continuum hypothesis, Proc. Nat. Acad. Sci. USA., 24: 241–242.
Gödel, K., 1949, An example of a new type of cosmological solutions of Einstein’s field equations of gravitation, Rev. of Modern Physics, 21: 447–450.
Gödel, K., 1952, Rotating universes in general relativity theory, in: “Proceedings of the Intern. Congress of Mathematicians, Cambridge, Massachusetts, USA, 30 August – 6 September 1950, I”, Amer. Math. Soc., Providence, R.I.
Gödel, K., 1958, Uber eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Dialectica, 12: 280–287.
Gödel, K., 1986 “Collected Works, Vol. I, Publications 1929–1936”, Eds. by S. Feferman (ed. in chief), Clarendon Press, Oxford.
J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort, 1986 “Collected Works, Vol. I, Publications 1929–1936”, Oxford University Press, New York;
Grattan-Guinness, I., 1979, In memoriam Kurt Gödel: his 1931 correspondence with Zermelo on his incompletability theorem, Historia Mathematica, 6: 294–304.
Hahn, H., 1932, “Reele Funktionen, Erster teil, Punktfunktionen”, Akad. Verlagsgesellschaft MBH., Leipzig.
Hilbert, D., 1928, Die Grundlagen der Mathematik, Abhandlungen aus dem math. Seminar der Hamburgischen Universität, 6: 65–85.
Kanovic, M. I., 1977, Otsenka slozhnosti nepolnoti arifmetiki, Doklady Akademii Nauk SSSR., 238: 1283–1286.
Kanovic, M. I., 1984, O nezavisimosti invariantnich predlozhenii, Doklady Akademii Nauk SSSR., 276: 27–31.
Kaysen, C., 1976, “The Institute for Advanced Study. Report of the Director, 1966–1976”, Princeton.
Kleene, S. C., 1950, A symmetric form of Gödel’s theorem, Indagationes Mathematicae, 12: 244–246.
Kleene, S. C., 1952, “Introduction to Metamathematics”, van Nostrand, New York.
Kleene, S. C., 1967, “Mathematical Logic”, Wiley, London.
Kleene, S. C., 1976, The work of Kurt Gödel, Journ. Symb. Logic., 41: 761–768.
Kleene, S. C., 1978, An addendum to “The work of Kurt Gödel”, Journ. Symb. Logic., 43: 613.
Kleene, S. C., 1986, Introductory note to 1930b, 1931 and 1932b, in: Eds. by S. Feferman (ed. in chief), Clarendon Press, Oxford.
J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort, 1986, Introductory note to 1930b, 1931 and 1932b, Oxford University Press, New York.
König, D., 1926, Sur les correspondances multivoques des ensembles, Fundamenta mathematicae, 8: 114–134.
Kreisel, G., 1980, Kurt Gödel, 28 April 1906 – 14 January 1978, Biographical Memoirs of Fellows of the Royal Society, 26: 148–224 (corrections
Kreisel, G., 1980, Kurt Gödel, 28 April 1906 – 14 January 1978, Biographical Memoirs of Fellows of the Royal Society, 27: 697, and
Kreisel, G., 1980, Kurt Gödel, 28 April 1906 – 14 January 1978, Biographical Memoirs of Fellows of the Royal Society, 28: 718).
Maltsev, A. I., 1936, Untersuchungen aus dem Gebiete der mathematischen Logik, Matematicheskii sbornik, 1: 323–336.
Matiyasevich, Y., 1970, Diophantovost perechislimih mnozhestv, Doklady Academii Nauk SSSR., 191: 279–282.
Menger, K., 1979, The new logic, in: “Selected Papers in Logic and Foundations, Didactics, Economics”, D. Reidel, London.
Pais, A., 1982, “‘Subtle is the Lord …’, The Science and the Life of Albert Einstein”, Clarendon Press, Oxford; Oxford University Press, New York.
Petkov, P. P., 1986, Zhivotat i deloto na Kurt Gödel, in: “Proceedings of the Fifteen Spring Conference of the Union of Bulgarian Mathematicians, 2 – 6 April”, BAN., Sofia.
Plisko, V. A., 1977, Nearifmetichnost klassa realisuemih predikatnih formul, Izvestya Academii Nauk SSSR., ser. Math., 41: 483–502.
Quine, W. W., 1979, Kurt Gödel (1906–1978), Year Book of the Amer. Philos. Soc., 1978, 81: 84.
Read, C., 1970, “Hilbert”, Springer, New York.
Robinson, A., 1966, “Non-Standard Analysis”, North-Holland, Amsterdam.
Robinson, R. M., 1950, An essentially undecidable axiom system, in: “Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetss, USA., 30 August – 6 September 1950, I”, Amer. Math. Soc., Providence, R.I.
Rosser, J. B., 1936, Extensions of some theorems of Gödel and Church, Journ. Symb. Logic, 1: 87–91.
Smoryński, C., 1977, The incompleteness theorems, in: “Handbook of Mathematical logic”, J. Barwise, ed., North-Holland, Amsterdam.
Smoryński, C., 1985, “Self-Reference and Modal Logic”, Springer, New York.
van Heijenoort, J., 1986, see Dreben, B., and van Heijenoort, J.
Wang, H., 1981, Some facts about Kurt Gödel, Journ. Symb. Logic., 46: 653–659.
Zygmunt, J., 1973, A survey of the methods of proof of the Gödel-Malcev’s completeness theorem, in: “Studies in the History of Mathematical Logic”, S. J. Surma, ed., Ossolineum, Wroclaw.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Plenum Press, New York
About this chapter
Cite this chapter
Petkov, P.P. (1987). Godel’s Life and Work. In: Skordev, D.G. (eds) Mathematical Logic and Its Applications. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-0897-3_3
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0897-3_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8234-1
Online ISBN: 978-1-4613-0897-3
eBook Packages: Springer Book Archive