Despre carte: 2015 / Kurt Gödel a schimbat înțelegerea matematicii. Cele două teoreme ale sale de incompletitudine, formulate în 1931, au folosit logica formală pentru a dezvălui fragilitatea fundației marelui edificiu al matematicii care fusese construit cu minuțiozitate încă de pe vremea lui Euclid. Comunitatea științifică a fost forțată să admită că validitatea unei anumite ipoteze poate fi dincolo de orice încercare rațională de a o demonstra, iar intuiția nu poate fi exclusă din domeniul matematicii. Gödel, educat în Viena prosperă interbelică, a devenit rapid interesat de epistemologie și teoria dovezilor. Asemenea prietenului său Albert Einstein, el a contestat dogmele științei moderne și, în același mod, războiul și exilul au fost prezente în viața lui..