Access to the full content is only available to members of institutions that have purchased access. If you belong to such an institution, please log in or find out more about how to order.



Gödel, Kurt (1906–78)

DOI: 10.4324/9780415249126-Y084-1
Version: v1,  Published online: 1998
Retrieved June 13, 2024, from

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,
Copyright © 1998-2024 Routledge.

Related Searches


Related Articles