KURT GÖDEL yirminci yüzyılın en büyük matematikçisi olarak görülür. Anıtsal tamamlanmamışlık kuramı, matematikteki tek doğru ifadelerin kanıtlanabilenler olduğuna dair yaygın inancı altüst etmiştir. Daha yüksek bir gerçekliğe dair Platon felsefesinden esinlenen Gödel, her biçimsel sistem içinde inkâr edilemeyecek şekilde doğru ifadelerin olduğunu, ancak yine de ispatlanamayacaklarını kesin olarak gösterir. Gödel hem büyük bir entelektüel hem de tuhaf alışkanlıkları ve giderek artan paranoyasıyla kendini açl