Gödel Kanıtlaması
240,00 TL
20. yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel'in matematiğin temelleri hakkında kanıtladığı teoremlerdir. KesinliDevamını oku
Satıcı aracılığıyla gönderilir
Güvenli işlem
Ürün Özellikleri
Açıklama
20. yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel'in matematiğin temelleri hakkında kanıtladığı teoremlerdir. Kesinlik, tutarlılık, tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni, matematiğin aksiyomlardan türetilen doğru önermelerinin, yani teoremlerin kesin olarak kanıtlanabilir olmasıydı. Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu. Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen, doğru değilseler yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları, dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti. Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır. Whitehead ve Russell'ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica'yı ele alarak, temellerin hep eksik kalacağını göstermiştir. Gödel, doğal sayılar aritmetiğini kapsayan bir ...
136 sayfa. 13.5x21 cm.
Mağaza Yorumları
Beşir Kitabevi: Biz teşekkür ederiz. Tekrar bekleriz
Beşir Kitabevi: Efendim nazik yorumunuz için çok teşekkür ederiz. Tekrar bekleriz
Beşir Kitabevi: Teşekkür ederiz. Tekrar bekleriz
Benzer Ürünler
