Ofullständighet : Kurt Gödels bevis och paradox

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 f