< Terug naar vorige pagina

Publicatie

Kurt Gödels onvolledigheidsstellingen en de grenzen van de kennis

Tijdschriftbijdrage - Tijdschriftartikel

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