Teoremele de incompletitudine ale lui Gödel
Demonstrația din 1931 a lui Kurt Gödel că orice sistem matematic suficient de expresiv conține enunțuri adevărate pe care nu le poate demonstra — matematica are o limită încorporată.
Origine
Kurt Gödel (1906–1978) a publicat teoremele la douăzeci și cinci de ani. Prima spune: în orice sistem formal consistent suficient de bogat pentru a face aritmetică de bază, există enunțuri adevărate pe care sistemul le poate exprima, dar nu le poate demonstra. A doua spune: un astfel de sistem nu își poate demonstra propria consistență. Rezultatul a spulberat visul de la începutul secolului XX (susținut de Hilbert și Russell) de a așeza toată matematica pe o fundație complet demonstrabilă. Gödel a fost prieten cu Einstein la Princeton; a murit de foame în 1978 după ce a refuzat să mănânce mâncare care nu era pregătită de soția lui, internată în spital.
Folosire modernă
Invocat frecvent (adesea liber) în argumente despre limitele AI, limitele științei și liberul arbitru. „Gödel, Escher, Bach” (1979) al lui Douglas Hofstadter l-a transformat în piesa centrală a unui clasic de matematică populară. Matematicienii stricți tresar când „Gödel” este folosit ca gest, nu ca rezultat.
Etichete