< Back to previous page

Publication

Kurt Gödel's incompleteness theorems and the limits of knowledge

Journal Contribution - Journal Article

In 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.
Journal: Algemeen Nederlands Tijdschrift voor Wijsbegeerte
ISSN: 0002-5275
Issue: 1
Volume: 113
Pages: 157-182
Keywords:Kurt Gödel, Incompleteness theorems, Alan Turing, Limits
  • ORCID: /0000-0001-8270-800X/work/90058488