Gödel Kanıtlaması

KY-414771

13.03.2024

Kapak resminden başlayalım. Gödel’in “tam olmama” teoremine tam uyan bir kapak resmi olduğunu söyleyelim. Douglas R.Hofstadter bu resmi bir galeride gördüğünde teorem ile resim arasında bir bağıntı kuruyor. Bunu buna ilişkin yazdığı bir eserde değiniyor. Yani kapağa dikkat edecek olursak çocuk resim galerisi içinde baktığı resmin kendisi, resim galerisini içine almakta bu nedenle de tam olmamaktadır. Teoreme dönersek “kendine gönderme yapacak şekilde inşa edilen bir dizgenin içinde karar verilemeyen önermeler vardır, dolayısıyla dizge tam olamaz”. Önermeler mantığına ilişkin okuma yapmakta fayda var bu kitaba başlamadan önce. “Gödel Kanıtlaması” kitabı Kurt Gödel’in 1931 yılında neşredilen makalesine dair “tam olmama” teoremini anlaşılır kılabilmek için yazılmış. Gizle Devamını Göster

Sepetim

Paylaş