Gödel'in tamamlanmamışlık kuramı : Gödel paradoksu ve kanıtlanması / Rebecca Goldstein; çeviri Sevcan Seçkin ; redaksiyon Mehmet Ata Arslan; kapak tasarımı Füsun turcan Elmasoğlu; sayfa tasarımı Mürüvet Durna; seri editörü Kerem Cankoçak.

Original title: Incompleteness.

Includes bibliographical references and index.

A Platonist among the positivists -- Hilbert and the formalists -- The proof of incompleteness -- Gödel's incompleteness.

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ığa mahkûm ederek üzücü sonunu hazırlayan son derece gizemli bir figürdü. Felsefe profesörü olan ve kitapları çoğunlukla bilime odaklanan Rebecca Goldstein, bu açık ve anlaşılır eserinde sıradışı dâhinin dünyasına hayat verirken, Gödel’in kuramlarının önemini de açıklıyor.