Kapat
Gödel Kanıtlaması
Diğer
Alfa Yayınları
Tsundoku.Store
7.0
Mağazaya Sor
Mağaza en kısa sürede size dönüş yapacaktır.
Mesajlarınıza Soru ve Cevaplarım alanından ulaşabilirsiniz.
Diğer Mağazalar
Tümü(4)
Ürün Detayları
Bu içerik Tsundoku.Store mağazası tarafından hazırlanmıştır.
Gödel Kanıtlaması
Okuyananne artık N11'de. Biz anneler için gereken bütün kitapları tek yerde toplayarak sizlere sunuyoruz,
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
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
| Baskı Sayısı | 1.Baskı |
| Çevirmen | Bülent Gözkan |
| Sayfa Sayısı | 136 |
| Yayın Dili | Türkçe |
| Yayınevi | Alfa Yayınları |
| Yazar | Ernest Nagel & James R. Newman |
Bu Ürün QukaSoft Entegrasyon Sistemleri ile Listelenmiştir
Ürün Özellikleri
-
Yayın Tarihi
Aralık 2020
-
ISBN
9786254491849
-
Yayınevi
Alfa Yayınları
-
Yazar
Ernest Nagel
-
Sayfa Sayısı
136
-
Kitap Türü
Ciltsiz
-
Yayın Dili
Türkçe
-
Marka
Ürün Değerlendirmeleri
Bu ürünle ilgili henüz yorum ve değerlendirme yapılmamış
Diğer Mağazalar 4 mağaza listeleniyor
- Ücretsiz Kargo
- Hızlı Gönderim
- Başarılı Mağaza
-
Akıllı Sıralama Nasıl Çalışır?
Teslimat Bilgileri
KARGO ÜCRETİ
Mağazaya özel 200 TL ve üzeri Ücretsiz Kargo
ŞEHİR
Ankara
GÖNDERİM SÜRESİ
En geç 13 Haziran Perşembe
Saat 08:00 ve öncesinde verdiğiniz siparişler aynı gün kargoya verilecektir. Şimdiden keyifli okumalar dileriz.
İade Bilgileri
n11’den satın aldığınız ürünler için cayma hakkınızı kullanabilirsiniz.*
İade
talebini oluştur
Ürünü mağazaya
gönder
Mağaza iadeni
onaylasın
Paran kartına
iade edilsin
- n11’den satın aldığınız ürünler için cayma hakkınızı kullanabilirsiniz.*
- Ürünle ilgili bilgi almak için Mağazaya Soru Sor alanından mağazayla iletişime geçebilirsiniz.
- Ürünü iade edebilirsiniz. İade sürecini görmek için tıklayınız.
- Ürünü mağazaya ücretsiz göndermek için mağazanın anlaşmalı kargo firmasını tercih ediniz.
*Cayma Hakkı Kullanımı ve İade Şartları, 6502 Sayılı Tüketicinin Korunması Hakkında Kanun ve Mesafeli Sözleşmeler Yönetmeliği hükümlerine tabidir.