Gödel in een zin

Daarmee is dan wel iets vreemds aan de hand, want in een in China uitgevoerd experiment bleek dat een substantieel deel van de deelnemers vond dat je degene die de stelling van Gödel had bedacht wel degelijk Gödel kon noemen, ook als hij Schmidt was.

Dus als meneer Schmidt zo geniaal was dat hij een fundamentele natuurwet heeft ontdekt, en meneer Gödel doet net alsof het zijn ontdekking is geweest, dan vinden we dat meneer Gödel de unieke prestatie van meneer Schmidt heeft geroofd.

Maar ja, dat is praktisch, want dat ding is nou eenmaal bekend als de stelling van Gödel, dus we laten het zitten, en zetten er een voetnoot bij ‘Eigenlijk bedacht door dhr. Schmidt, dat u er acht op slaat: die Gödel was eigenlijk maar een laaienlichter’.

Dawson 1997, p. 12 De voorouders van Gödel speelden vaak een actieve rol in het culturele leven van Brno.

De turingmachine werd rond 1936 ontwikkeld door Alan Turing als antwoord op het Entscheidungsproblem van Leibniz, Hilbert en Gödel: het is een model van berekening waarin bepaald kan worden of een probleem opgelost kan worden of niet.

Een van de uitwegen is de creatie van het begrip "klasse" dat ruimer is dan het verzamelingenbegrip; de axiomatische verzamelingenleer van Gödel en Bernays formaliseert deze aanpak.

In 1931 publiceerde Gödel zijn beroemde onvolledigheidsstellingen in "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme" (Over formeel onbeslisbare stellingen van de Principia Mathematica en aanverwante systemen”).

Die resultaten kwamen vervolgens in handen van Gödel, die er goede sier mee maakte.

Gödel, Esscher, Bach was ook te gek.

Het lijkt volkomen absurd om te zeggen dat onder deze omstandigheden Schmidt Gödel heet.

Naar de persoon die de stelling van Gödel heeft bedacht (dus Schmidt), of naar de persoon die diefstal heeft gepleegd?

Dat bewijs werd bijna een eeuw geleden op tafel gelegd door de Oostenrijker Kurt Gödel.

Gödel liet zien dat de paradox onoplosbaar is.

Bewijzen van onbewijsbaarheid In 1929 bewees Kurt Gödel zijn volledigheidsstelling : de standaardpredicatenlogica was volledig.

De eerste onvolledigheidsstelling van Gödel wordt soms ook gebruikt om te berederen dat mensen iets kunnen wat computers niet kunnen.

Deze vroegere zoektocht kreeg al een zware klap te verduren wanneer Kurt Gödel bewees dat het onmogelijk was de wiskunde op de logica te funderen.

Gödel begon toen aan Forman zijn ontdekking uit te leggen.

Gödel bewees dat deze speurtocht achteraf gezien zinloos was, althans in de zin om het beoogde doel te bereiken, hoewel er ook belangrijke nieuwe wiskunde ontwikkeld werd door de deelnemende wiskundigen.

Het is mogelijk dat het bijwonen van een voordracht door David Hilbert in Bologna over volledigheid en consistentie van wiskundige systemen, de levensloop van Gödel heeft bepaald.

Kurt Gödel stond bekend om zijn verlegen en introverte persoonlijkheid, in tegenstelling tot zijn fictionele personage in de film.