DOI: 10.4324/9780415249126-Y084-1
Version: v1, Published online: 1998
Retrieved June 09, 2023, from https://www.rep.routledge.com/articles/biographical/godel-kurt-1906-78/v-1
Version: v1, Published online: 1998
Retrieved June 09, 2023, from https://www.rep.routledge.com/articles/biographical/godel-kurt-1906-78/v-1
Article Summary
The greatest logician of the twentieth century, Gödel is renowned for his advocacy of mathematical Platonism and for three fundamental theorems in logic: the completeness of first-order logic; the incompleteness of formalized arithmetic; and the consistency of the axiom of choice and the continuum hypothesis with the axioms of Zermelo–Fraenkel set theory.
Citing this article:
Dawson, John W.. Gödel, Kurt (1906–78), 1998, doi:10.4324/9780415249126-Y084-1. Routledge Encyclopedia of Philosophy, Taylor and Francis, https://www.rep.routledge.com/articles/biographical/godel-kurt-1906-78/v-1.
Copyright © 1998-2023 Routledge.
Dawson, John W.. Gödel, Kurt (1906–78), 1998, doi:10.4324/9780415249126-Y084-1. Routledge Encyclopedia of Philosophy, Taylor and Francis, https://www.rep.routledge.com/articles/biographical/godel-kurt-1906-78/v-1.
Copyright © 1998-2023 Routledge.