О књизи: 2015 / Курт Гедел променио је разумевање математике. Његове две теореме о непотпуности, формулисане 1931. године, користиле су формалну логику да открију крхкост темеља великог здања математике које је мукотрпно грађено још од Еуклидовог времена. Научна заједница је била принуђена да призна да ваљаност одређене хипотезе може да лежи изван сваког рационалног покушаја да се она докаже, а интуиција се не може искључити из области математике. Гедел, образован у просперитетном међуратном Бечу, брзо се заинтересовао за епистемологију и теорију доказа. Попут свог пријатеља Алберта Ајнштајна, оспорио је догме модерне науке, а на исти начин су рат и изгнанство били присутни у његовом животу.