De onvolledigheidsstellingen van Gödel

Title

De onvolledigheidsstellingen van Gödel

 Author

Meijer, R.J.

Contributor

Coplakova, E. (mentor)

Faculty

Electrical Engineering, Mathematics and Computer Science

 Date

2008-08-21

 Abstract

Is het mogelijk alle uitspraken betreffende de natuurlijke getallen met behulp van een axiomatisch systeem te bewijzen dan wel te weerleggen? Het antwoord op deze vraag is, helaas, nee. De eerste onvolledigheidsstelling van G zegt namelijk dat axiomatisch systeem dat de basiseigenschappen van de natuurlijke getallen beschrijft ofwel onvolledig, ofwel inconsistent is. Dus, wat voor systeem je ook bedenkt: er zullen altijd ware formules zijn die je niet kunt bewijzen. In dit verslag wordt het bewijs van deze stelling gegeven en wordt bovendien aandacht besteed aan de tweede onvolledigheidsstelling, die zegt dat binnen een consistent systeem, de eigen consistentie nooit bewijsbaar is.

 Subject

onvolledigheidsstelling
Gödel

 To reference this document use:

http://resolver.tudelft.nl/uuid:64eb0bab-d9e6-4e51-947c-b9715a41d55d

 Publisher

TU Delft, Electrical Engineering, Mathematics and Computer Science, Philosophy (Fil)

 Part of collection

Student theses

 Document type

bachelor thesis

 Rights

(c) 2008 Meijer, R.J.
Files
PDF EWI_Meijer2008.pdf 382.42 KB
Close viewer