Springen naar inhoud

Gödels bewijs in formele logica?


  • Log in om te kunnen reageren

#1

LordCasper

    LordCasper


  • 0 - 25 berichten
  • 10 berichten
  • Gebruiker

Geplaatst op 06 mei 2010 - 18:32

Hallo mensen,

Is er iemand die het bewijs van Gödels Onvolledigheidstelling kan weergeven in formele logica? Of, als dat niet mogelijk is, om het uit te leggen aan de hand van formele logica? Ik zit namelijk met de volgende theorie te spelen:

1) Computers redeneren altijd volgens een axiomatisch systeem.
2) Gödel zegt dat er binnen een axiomatisch systeem onoplosbare proposities blijven, veroorzaakt door het onvermogen tot zelfreflectie.
3) Conclusie: Computers kunnen niet over hun eigen redenatie redeneren.

Ik wil graag weten of deze theorie klopt, maar nu is het probleem dat ik geen wiskundige ben. Ik ben dus wel in staat om Gödels theorie te begrijpen, maar ik heb geen idee hoe het bewijs werkt. Ik beheers echter wel formele logica goed, dus ik hoopte dat iemand hier in staat is om mij Gödels bewijs op die manier uit te leggen.

(Eventueel commentaar op mijn theorie zelf wordt overigens ook zeer gewaardeerd).

Alvast bedankt!

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

#2

*_gast_Bartjes_*

  • Gast

Geplaatst op 06 mei 2010 - 19:18

Lees:

http://en.wikipedia....l,_Escher,_Bach

#3

317070

    317070


  • >5k berichten
  • 5567 berichten
  • Moderator

Geplaatst op 06 mei 2010 - 23:18

1) Computers redeneren altijd volgens een axiomatisch systeem.
2) Gödel zegt dat er binnen een axiomatisch systeem onoplosbare proposities blijven, veroorzaakt door het onvermogen tot zelfreflectie.
3) Conclusie: Computers kunnen niet over hun eigen redenatie redeneren.

Het wordt veroorzaakt door problemen met zelfreflectie, vooral problemen die op een hoger metaniveau naar zichzelf verwijzen. (ŕ la: deze zin is niet waar). Dit wil niet zeggen dat ALLE zelfreflectie problematisch is, er zijn er slechts enkele. Computers kunnen dus wel degelijk over hun eigen redenatie redeneren (net zoals mensen dit kunnen)
What it all comes down to, is that I haven't got it all figured out just yet
And I've got one hand in my pocket and the other one is giving the peace sign
-Alanis Morisette-

#4

Rudeoffline

    Rudeoffline


  • >250 berichten
  • 624 berichten
  • Ervaren gebruiker

Geplaatst op 10 mei 2010 - 09:53

Hallo mensen,

Is er iemand die het bewijs van Gödels Onvolledigheidstelling kan weergeven in formele logica? Of, als dat niet mogelijk is, om het uit te leggen aan de hand van formele logica? Ik zit namelijk met de volgende theorie te spelen:

1) Computers redeneren altijd volgens een axiomatisch systeem.
2) Gödel zegt dat er binnen een axiomatisch systeem onoplosbare proposities blijven, veroorzaakt door het onvermogen tot zelfreflectie.
3) Conclusie: Computers kunnen niet over hun eigen redenatie redeneren.

Ik wil graag weten of deze theorie klopt, maar nu is het probleem dat ik geen wiskundige ben. Ik ben dus wel in staat om Gödels theorie te begrijpen, maar ik heb geen idee hoe het bewijs werkt. Ik beheers echter wel formele logica goed, dus ik hoopte dat iemand hier in staat is om mij Gödels bewijs op die manier uit te leggen.

(Eventueel commentaar op mijn theorie zelf wordt overigens ook zeer gewaardeerd).

Alvast bedankt!


Hoe bedoel je, "weergeven in formele logica"? Daarvoor heb je de nodige vertaalslagen nodig. Ik zou je punt (2) trouwens willen betwijfelen; het ingenieuze van Gödel was toch juist dat hij via zogenaamde "Godelisatie" (via priemontbinding aan elke formule in een formele taal een unieke code meegeven) en recursieve methoden in een Typografische Getallen Theorie (TNT) deze theorie een mate van zelfreflectie kon meegeven?

Hij kon dus via ingenieuze methoden een formele analogie vinden voor de zin "Deze stelling is onbewijsbaar binnen het systeem" vinden. Hoewel dus op het eerste gezicht TNT geen uitspraken over haar eigen syntax kan doen, heeft Gödel de eigenschap gebruikt dat TNT de verzameling van natuurlijke getallen modelleert en deze Gödelisatie.

Ik zou dus juist zeggen dat ook computers over hun eigen syntax kunnen redeneren via deze constructie.





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures