WisFaq!

\require{AMSmath} geprint op vrijdag 26 april 2024

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,

Abdullah
12-7-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
14-7-2002


© 2001-2024 WisFaq
WisFaq - de digitale vraagbaak voor het wiskunde onderwijs - http://www.wisfaq.nl

#3856 - Bewijzen - Student universiteit