2004
Volume 113, Issue 1
  • ISSN: 0002-5275
  • E-ISSN: 2352-1244

Abstract

Abstract

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.

Loading

Article metrics loading...

/content/journals/10.5117/ANTW2021.1.007.VANB
2021-02-01
2021-10-24
Loading full text...

Full text loading...

References

  1. BatensDiderik(1989), ‘Kurt Gödel en de wetenschappelijke zekerheid’, in JosKint (ed.), Nieuwe visies in de wetenschap. Leuven: Acco, pp. 43-66.
    [Google Scholar]
  2. DoxiadisApostolos en ChristosPapadimitriou(2009), Logicomix. s.l.: De Vliegende Hollander.
  3. Friedman, Michael(2000), A Parting of the Ways. Carnap, Cassirer, and Heidegger. Londen: Open Court.
  4. GödelKurt(1990), ‘What is Cantor’s Continuum Problem?’, in FefermanSolomon, et al. (eds.), Kurt Gödel Collected Works, Vol. II: Publications 1938-1974. Oxford: Oxford University Press, pp. 254-270 (oorspronkelijk gepubliceerd in 1964).
    [Google Scholar]
  5. GuerrerioGianbruno(2004), Gödel. Mathematische waarheid en logische paradoxen. Amsterdam: Veen Magazines.
  6. HilbertDavid(1967), ‘On the infinite’, in Jeanvan Heijnenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, MA.: Harvard University Press.
    [Google Scholar]
  7. HofstadterDouglas R.(1985), Gödel, Escher, Bach: een eeuwige gouden band. Amsterdam: Contact.
    [Google Scholar]
  8. JeandelEmmanuel en RaoMichael(2015), ‘An aperiodic set of 11 Wang tiles’, arxiv: https://arxiv.org/abs/1506.06492, geraadpleegd op 3 oktober 2016.
    [Google Scholar]
  9. OdifreddiPiergiorgio(2014), Geschiedenis van de Wiskunde in de Twintigste Eeuw. Utrecht: Epsilon Uitgaven.
  10. SchilppPaul Arthur (ed.) (1998, derde editie), Albert Einstein, Philosopher-Scientist. The Library of Living Philosophers Volume VII. Chicago: Open Court.
  11. Van BendegemJean Paul(1997), Tot in der eindigheid. Over wetenschap, New Age en religie. Antwerpen: Houtekiet. (Tekst kan gedownload worden van de website: jeanpaulvanbendegem.be/home/boeken/tot-in-der-eindigheid-1997/).
  12. Van BendegemJean Paul (red., 2004), De stelling van Gödel. Speciaal nummer van Wijsgerig Perspectief op Maatschappij en Wetenschap, 44, 2.
    [Google Scholar]
  13. VergauwenRoger(2004), ‘De stelling van Gödel voor enigszins gevorderde dummies’, in Jean Paul Van Bendegem (2004), op. cit., pp. 20-38.
    [Google Scholar]
  14. WangHao(1987), Reflections on Kurt Gödel. Cambridge, MA: MIT Press.
http://instance.metastore.ingenta.com/content/journals/10.5117/ANTW2021.1.007.VANB
Loading
/content/journals/10.5117/ANTW2021.1.007.VANB
Loading

Data & Media loading...

This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error