Gödel Kanıtlaması (Kapak Değişebilir) Ernest Nagel ücretsiz indir

Gödel Kanıtlaması (Kapak Değişebilir) Ernest Nagel ücretsiz e-kitap indir

Yazar :

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 biçimsel dizgede, karar verilemeyen önermeler olduğunu kanıtlamıştır; yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir. Ama öte yandan, bu karar verilemeyen önermelerin doğru oldukları üst-matematiksel akıl yürütmelerle gösterilebilir. Ayrıca Gödel, doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının, bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır. Gödel'in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur. Daha fazla göster

Gödel Kanıtlaması (Kapak Değişebilir) Ernest Nagel kitap indir bedava

  • Yazar:
  • Yayımcı: Alfa Yayınları; 1. basım
  • Yayın tarihi:
  • kapak:
  • Dil: Türkçe
  • ISBN-10:
  • ISBN-13:
  • boyutlar:
  • Ağırlık:
  • Ciltli:136 sayfa
  • Dizi:
  • sınıf:
  • Yaş:
  • Yazar:
  • Fiyat:

Kitap eleştirileri

Gödel Kanıtlaması (Kapak Değişebilir)

Kitap başlığı

Boyut

bağlantı

Gödel Kanıtlaması (Kapak Değişebilir) okumak itibaren EasyFiles

3.6 mb. indir kitap

Gödel Kanıtlaması (Kapak Değişebilir) indir itibaren OpenShare

4.4 mb. indir ücretsiz

Gödel Kanıtlaması (Kapak Değişebilir) indir itibaren WeUpload

4.9 mb. okumak kitap

Gödel Kanıtlaması (Kapak Değişebilir) indir itibaren LiquidFile

3.8 mb. indir

Gödel Kanıtlaması (Kapak Değişebilir) Ernest Nagel kitap indir bedava

Kitap başlığı

Boyut

bağlantı

Gödel Kanıtlaması (Kapak Değişebilir) okumak içinde djvu

4.6 mb. indir DjVu

Gödel Kanıtlaması (Kapak Değişebilir) indir içinde pdf

4.7 mb. indir pdf

Gödel Kanıtlaması (Kapak Değişebilir) indir içinde odf

4.2 mb. indir ODF

Gödel Kanıtlaması (Kapak Değişebilir) indir içinde epub

4.9 mb. indir ePub

İlgili kitaplar