\require{AMSmath}

Kurt Gödel

Geachte heer,
Ik heb al eerder antwoord op deze vraag gekregen (vraag-3837), maar ik wil gaarne weten waar ik op internet het bewijs voor de onvolledigheidsstelling van Godel kan vinden. Het moet wel in het Nederlands zijn.
Ik heb alles eraan gedaan om wat informatie te verzamelen maar het bewijs heb ik niet kunnen vinden.

Met vriendelijke groet,

Abdull
Student universiteit - vrijdag 12 juli 2002

Antwoord

Ook ik heb op het net geen bewijs kunnen vinden, maar eigenlijk verbaasde me dat helemaal niet. Je zoekt namelijk naar iets dat thuishoort in de studie van de logica en dan bovendien op een heel hoog niveau. Het lijkt me dan ook veel verstandiger om een geavanceerd boek over logica te raadplegen, want voordat je aan het bewijs van de onvolledigheidsstellingen toe bent moet er waarschijnlijk heel wat werk vooraf worden verricht.

MBL
zondag 14 juli 2002

©2001-2024 WisFaq