Gödel's Incompleteness Theorems

I 1931 publiserte Kurt Gödel den banebrytende artikkelen 'Om formelt udiskutable proposisjoner av Principia Mathematica og relaterte systemer I', som rystet den matematiske verden. I denne artikkelen beviste Gödel to ufullstendighetssetninger som fundamentalt har endret vår oppfatning av matematikk. Gödels teoremer viser at konseptene sannhet og beviselighet ikke kan sameksistere. Siden oppdagelsen har ufullstendighetssetningene tiltrukket seg mye oppmerksomhet, og et utall artikler og bøker har blitt viet til deres imponerende konsekvenser. Likevel er det sjeldent at noen arbeider tar for seg Gödels artikkel i sin opprinnelige form: Hans komplekse tankeganger, beskrevet med kirurgisk presisjon, samt mange definisjoner og teorem, kombinert med en nå stort sett foreldet notasjon, gjør Gödels historiske mesterverk til en utfordrende lesning. Denne boken utforsker Gödels originale bevis i detalj. Hver enkelt steg blir nøye forklart og illustrert med tallrike eksempler. Boken tilbyr også en dypere forståelse av de underliggende prinsippene og betydningen av Gödels arbeid, noe som gjør det til et verdifullt verk for både matematikere og nysgjerrige lesere.