159,00 TL
Gödel Kanıtlaması 20. yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödelin matematiğin temelleri hakkında kanıtladığı teDevamını oku
Tek kitap kargo ücreti: 139.00 TL (KDV dahil)
2 ve daha fazla kitap: 159,00 TL (KDV dahil)
Satıcı aracılığıyla gönderilir
Güvenli işlem
Ürün Özellikleri
Açıklama
Gödel Kanıtlaması
20. yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödelin 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 Mathematicayı ele alarak, temellerin hep eksik kalacağını göstermiştir. Gödel, doğal sayılar aritmet
- sayfa. 1x1 cm.
Mağaza Yorumları
Benzer Ürünler