Kitapsihirbazi, Ne sihirdir ne keramet indirimdedir bütün marifet
Sepetim 0 Toplam: 0,00 TL
%20
Gödel Kanıtlaması Ernest Nagel

Gödel Kanıtlaması

Liste Fiyatı : 20,00TL
İndirimli Fiyat : 16,00TL
Kazancınız : 4,00TL
Taksitli fiyat : 9 x 1,93TL
Havale/EFT ile : 15,52TL
%20
Temin süresi 3 gündür.
9786254491849
853461
Gödel Kanıtlaması
Gödel Kanıtlaması
Alfa Yayınları
16.00

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.

“Hiç kuşku yok ki, benim ortaya çıkardığım çalışma bir yanıyla, Nagel ve Newman'ın kitabından kaynaklanmıştır.”
–Douglas R. Hofstadter, Gödel, Escher, Bach'ın yazarı

‘Gödel'in kanıtlaması üzerine yazılmış en iyi kitap.” –Scientific American

“Olağanüstü bir yorumlama.” –Nature K

  • 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 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.

      “Hiç kuşku yok ki, benim ortaya çıkardığım çalışma bir yanıyla, Nagel ve Newman'ın kitabından kaynaklanmıştır.”
      –Douglas R. Hofstadter, Gödel, Escher, Bach'ın yazarı

      ‘Gödel'in kanıtlaması üzerine yazılmış en iyi kitap.” –Scientific American

      “Olağanüstü bir yorumlama.” –Nature K

      Stok Kodu
      :
      9786254491849
      Boyut
      :
      13.50x21.00
      Sayfa Sayısı
      :
      136
      Basım Yeri
      :
      İstanbul
      Baskı
      :
      1
      Basım Tarihi
      :
      2020-12
      Çeviren
      :
      H. Bülent Gözkan
      Kapak Türü
      :
      Ciltsiz
      Kağıt Türü
      :
      2. Hamur
      Dili
      :
      Türkçe
  • Taksit Seçenekleri
    • Axess Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      16,00   
      16,00   
      2
      8,32   
      16,64   
      3
      5,59   
      16,77   
      4
      4,22   
      16,88   
      5
      3,45   
      17,24   
      6
      2,84   
      17,05   
      7
      2,48   
      17,35   
      8
      2,16   
      17,25   
      9
      1,93   
      17,35   
      Finansbank Kartları
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      16,00   
      16,00   
      2
      8,32   
      16,64   
      3
      5,67   
      17,01   
      4
      4,22   
      16,88   
      5
      3,45   
      17,24   
      6
      2,84   
      17,05   
      7
      2,50   
      17,47   
      8
      2,16   
      17,25   
      9
      1,96   
      17,67   
      Bonus Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      16,00   
      16,00   
      2
      8,32   
      16,64   
      3
      5,59   
      16,77   
      4
      4,22   
      16,88   
      5
      3,45   
      17,24   
      6
      2,84   
      17,05   
      7
      2,50   
      17,47   
      8
      2,17   
      17,35   
      9
      -   
      -   
      Paraf Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      16,00   
      16,00   
      2
      8,32   
      16,64   
      3
      5,67   
      17,01   
      4
      4,22   
      16,88   
      5
      3,45   
      17,24   
      6
      2,84   
      17,05   
      7
      2,50   
      17,47   
      8
      2,16   
      17,25   
      9
      1,96   
      17,67   
      Maximum Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      16,00   
      16,00   
      2
      8,32   
      16,64   
      3
      5,59   
      16,77   
      4
      4,22   
      16,88   
      5
      3,45   
      17,24   
      6
      2,84   
      17,05   
      7
      2,50   
      17,47   
      8
      2,16   
      17,25   
      9
      1,96   
      17,67   
      World Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      16,00   
      16,00   
      2
      8,32   
      16,64   
      3
      5,59   
      16,77   
      4
      4,22   
      16,88   
      5
      3,39   
      16,96   
      6
      2,84   
      17,05   
      7
      2,50   
      17,47   
      8
      2,16   
      17,25   
      9
      1,93   
      17,35   
      Diğer Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      16,00   
      16,00   
      2
      -   
      -   
      3
      -   
      -   
      4
      -   
      -   
      5
      -   
      -   
      6
      -   
      -   
      7
      -   
      -   
      8
      -   
      -   
      9
      -   
      -   
  • Yorumlar
    • Yorum yaz
      Bu kitabı henüz kimse eleştirmemiş.
Kapat