Aysel B.

Merhaba.
"Gödel Kanıtlaması" ürününü sipariş vermek ister misiniz?

Gödel Kanıtlaması

0 - Yorum Ekle
1-4 İş Gününde Kargo
Yayınevi :
Alfa Yayınları
Çevirmen :

Çevirmen : H. Bülent Gözkan

Basım Tarihi : 12/2020

Baskı Sayısı : 1. Basım

Sayfa Sayısı : 136

Cilt Tipi : Ciltsiz

Kağıt Tipi : 2. Hamur

Basım Yeri : Türkiye - İstanbul

Yazar :
Ernest Nagel
%25
25,00 TL
18,75 TL
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

 

Ürün Detayını Göster
Kitap Ayrıntıları
ISBN : 9786254491849
Ebat : 13.5x21

Çevirmen : H. Bülent Gözkan

Basım Tarihi : 12/2020

Baskı Sayısı : 1. Basım

Sayfa Sayısı : 136

Cilt Tipi : Ciltsiz

Kağıt Tipi : 2. Hamur

Basım Yeri : Türkiye - İstanbul

Kitapkolik.com Duyuru
100 TL üzeri kargo bedava!
50 TL üzeri kargo 5 TL
Canlı Destek'e Bağlanmak için tıklayınız
Kapıda Ödeme Hizmet Bedeli 7,50 TL ‘dir.
Kargo ücretini ödeyen ürünler için tıklayınız
Fırsat ürünleri için tıklayınız
Tüm Siparişlerde Sürpriz Hediye

Kampanya
%25
25,00 TL
18,75 TL
100 TL üzeri kargo bedava!
50 TL üzeri kargo 5 TL
Canlı Destek'e Bağlanmak için tıklayınız
Kapıda Ödeme Hizmet Bedeli 7,50 TL ‘dir.
Kargo ücretini ödeyen ürünler için tıklayınız
Fırsat ürünleri için tıklayınız
Tüm Siparişlerde Sürpriz Hediye
Ernest Nagel
Ernest Nagel
Daha fazla bilgi Yazar Profili
  • Yorumlar (0)
  • Ödeme Seçenekleri
T-Soft E-Ticaret Sistemleriyle Hazırlanmıştır.