Authors
Jean Paul Van Bendegem
Vrije Universiteit Brussel
Abstract
Kurt Gödel’s incompleteness theorems and the limits of knowledgeIn this paper a presentation is given of Kurt Gödel’s pathbreaking results on the incompleteness of formal arithmetic. Some biographical details are provided but the main focus is on the analysis of the theorems themselves. An intermediate level between informal and formal has been sought that allows the reader to get a sufficient taste of the technicalities involved and not lose sight of the philosophical importance of the results. Connections are established with the work of Alan Turing and Hao Wang to show the present-day relevance of Gödel’s research and how it relates to the limitations of human knowledge, mathematical knowledge in particular.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.5117/antw2021.1.007.vanb
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,307
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Kurt Gödel, Paper on the Incompleteness Theorems (1931).Richard Zach - 2005 - In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics. Amsterdam: North-Holland. pp. 917-925.
Kurt Gödels philosophische Notizbücher als Denkraum und Exerzitium.Eva-Maria Engelen - 2019 - Deutsche Zeitschrift für Philosophie 67 (2):251-264.
An Introduction to Gödel's Theorems.Peter Smith - 2007 - Cambridge University Press.
Einige Bemerkungen Kurt Gödels zur Mengenlehre.Merlin Carl and Eva-Maria Engelen - 2019 - SieB – Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 11:143–169.
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).
Kurt Gödel’s Religious Worldview.Miloš Dokulil - 2020 - Journal of Interdisciplinary Studies 32 (1-2):95-118.
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Berlin: Springer. pp. 575--583.

Analytics

Added to PP index
2021-05-17

Total views
9 ( #951,195 of 2,507,805 )

Recent downloads (6 months)
2 ( #277,114 of 2,507,805 )

How can I increase my downloads?

Downloads

My notes