Ofullständighet : Kurt Gödels bevis och paradox

Incompleteness : the proof and paradox of Kurt Gödel
Bok av Rebecca Goldstein
En introduktion till Gödels liv och tänkande, den man som för alltid förändrade matematiken. Kurt Gödel betraktas allmänt som den störste logikern sedan Aristoteles. Hans ofullständighetsteorem från 1931 bevisade att det i varje formellt system för aritmetiken finns sanna satser som likväl inte låter sig bevisas. Resultatet blev en omvälvning som spred sig långt bortom matematiken och fortsätter att utmana våra föreställningar om medvetandets natur. Rebecca Goldstein, prisbelönt författare och filosof, förklarar den filosofiska vision som var inspirationen bakom Gödels matematik. Spännande populärvetenskap om en av matematikhistoriens största genier. Kräver ej specialistkunskaper.