Springen naar inhoud

Godels onvolledigheidsstelling


  • Log in om te kunnen reageren

#1

De leek

    De leek


  • >100 berichten
  • 126 berichten
  • Ervaren gebruiker

Geplaatst op 02 juli 2013 - 21:03

Hey beste mensen,

Ik heb zijdelings wat gehoord en opgezocht over de onvolledigheidsstelling van Godel. Ik snap de technische details niet precies maar als ik het goed begrijp komt het op het volgende neer:

- Geen enkel axiomatisch systeem kan zijn eigen consistentie bewijzen. Dus gegeven een axiomatisch stelsel kun je niet uitsluiten dat er een uitspraak x bestaat, zo dat zowel x als de negatie van x te bewijzen zijn binnen dat axiomatische stelsel.

- Binnen elk stelsel heb je beweringen die in de taal van dat systeem niet te bewijzen zijn.

Ten eerste de vraag of ik dit zo goed begrepen heb. Verder vraag ik me dan af hoe Godel dit zelf heeft kunnen gebruiken. Hij heeft immers zijn onvolledigheidsstelling bewezen maar voor een bewijs is altijd een logische(axiomatische) basis nodig lijkt mij. Dus heeft hij voor zijn bewijs ook gebruik gemaakt van een bepaald logisch systeem. Maar wie zegt dat dat logische systeem zelf wel consistent is?

De stelling lijkt op deze manier zijn eigen bewijs te ondergraven. Want als het stelsel inconsistent is waaruit deze stelling is afgeleid(wat volgens de stelling zelf niet ontkracht kan worden) zou het ook kunnen dat die niet klopt, in welk geval er wel degelijk een axiomatische basis kan bestaan die zijn eigen consistentie kan bewijzen en dan zou je dus wel de juistheid van dat systeem moeten kunnen bewijzen.....

Is het stelsel echter consistent, dan bestaat er wel degelijk een stelsel dat zonder twijfel consistent is en dat is in strijd met wat eruit afgeleid wordt waardoor het toch inconsistent is.

Ligt het nou aan mij of is dit een paradox? Hoe kun je iets bewijzen omtrent algemene beperkingen in de consistentie van logische systemen als je voor elk bewijs een logisch systeem nodig hebt(waardoor de waarde van het bewijs zelf onder druk staat).

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 03 juli 2013 - 12:42

Heb je al eens op bijvoorbeeld Wikipedia gekeken? http://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems

Tijd om er uitgebreider op in te gaan, ontbreekt me nu, maar ik vind die pagina toch al een goed vertrekpunt die (wsl) veel van je vragen al kan oplossen...
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures