Om boken: 2015 / Kurt Gödel förändrade förståelsen av matematik. Hans två ofullständighetssatser, formulerade 1931, använde formell logik för att avslöja bräckligheten i grunden för den stora byggnaden av matematik som hade byggts mödosamt sedan Euklids tid. Det vetenskapliga samfundet tvingades erkänna att giltigheten av en viss hypotes kan ligga bortom alla rationella försök att bevisa den, och intuition kan inte uteslutas från matematikens område. Gödel, utbildad i det välmående mellankrigstidens Wien, blev snabbt intresserad av epistemologi och bevisteorin. Liksom sin vän Albert Einstein utmanade han den moderna vetenskapens dogmer, och på samma sätt var krig och exil närvarande i hans liv.