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.
|Number of pages||25|
|Journal||Algemeen Nederlands Tijdschrift voor Wijsbegeerte|
|Publication status||Published - 2021|
- Kurt Gödel
- Incompleteness theorems
- Alan Turing