Gödel Kanıtlaması Ernest Nagel/ James R. Newman BOĞAZİÇİ ÜNİVERSİTESİ YAYINEVİ 'Gerçek' matematikçilerin uğraştığı 'gerçek' matematiğin neredeyse tamamen yararsız olduğu söylense de saf matematikle uğraşan Gottlob Frege, Georg Cantor ve Richard Dedekind herhangi bir yararlı makine icat etmemişler ama Batıda yeni bir düşünme tarzının temellerini atan bir araç sağlamışlardır. Çağlar boyunca matematiğin kesinlik, tutarlılık, tamlık gibi ideal beklentileri eksiksizce karşılayan bir bilim olduğu düşünüldü. 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ı. Matematiğin teoremlerinin doğru iseler, doğrulukları kesinlikle kanıtlanabilen, doğru değilseler de, yine doğru olmadıkları kesin olarak kanıtlanabilen önermeler oldukları, dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğı kabul edilmişti. Gödel'in kanıtlaması bu kabullerin ve beklentilerin doğru olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır. Whitehead ve Russell'ın matematiğin mantıksal temelleri konusundaki dev çalışması olan Principia Mathematica'yı ele alarak temellerin hep eksik kalacağını göstermiştir. Yani doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede öyle önermeler vardır ki, bunların ne doğru ne de yanlış oldukları kanıtlanabilir. Ayrıca Gödel, doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının, bu dizgenin kendi içinde kanıtlanamayacağını da kanıtlamıştır. Gödel kanıtlamasının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur. Gödel kanıtlaması mantık ve matematiğin dışına taşan felsefi sonuçlara da sahiptir. Matematiğin ve matematiksel nesnelerin aslî doğası, matematikle mantığın ilişkisi, vb. felsefi meseleleri yeni bir tartışma zeminine taşımıştır. Ayrıca postmodernite üzerine düşünce üreten felsefeciler de Gödel'e sık sık gönderme yapmakta ve bütünselci yaklaşımlara yöneltilen eleştirilerde Gödel'in çalışmalarından da destek bulduklarını düşünmekteler. SİTE:www.kitapyurdu.com    %9    indirimli Liste Fiyatı: 14,00  YTL. Kitapyurdu Fiyatı: 12,74 YTL. Tedarik süresi yaklaşık 4 gün Kazanacağınız puan: 26 Çeviren: Bülent Gözkan Yayın Yılı: 2008 İthal Kağıt 106 sayfa 14x20 cm Karton Kapak ISBN:9756193709 Dili: TÜRKÇE İLGİLİ KONULAR: Bilim-Mühendislik > Popüler Bilim Felsefe-Düşünce > Bilim Felsefesi

Bu kitaba link vermek için alttaki html kodu web sayfanıza koyabilirsiniz;

<a href="http://www.kitapyurdu.com/kitap/default.asp?id=131705&y=10021"> <img src="http://wwww.kitapyurdu.com/getimage1.asp?resimkod=131705&boyut=85" alt="www.kitapyurdu.com'dan satın al" border=0></a>

Dostlarınızla paylaşmak için tıklayın:

Yukarıdaki ürünü satın alanlar aşağıdaki ürünlerle de ilgilendiler Ataların Hikayesi Yaşamın Kökenine Yolculuk Richard Dawkins 40,56 YTL. Bir Zamanlar Evren Robert Gilmore 11,83 YTL. Matematik Yaramazdır- Akıl Yürütme, Mantık ve Matematik- Ahmet Doğan 9,24 YTL. Sorgulayan Denemeler Bertrand Russell 5,16 YTL. Kozmos Evrenin ve Yaşamın Sırları Carl Sagan 13,59 YTL.

1-1/1

katılan 14 kişi, katılmayan yok	Levent Akturk 15.11.2008
Eğer mantık bilimine meraklıysaniz Godel kanıtlaması kütüphanenizde bulunması gereken bir kitap. İçerik doğal olarak ağır ve ciddi konsantrasyon ve çözümleme gerektiriyor. Fakat Godeli'in kanıtlama yöntemini takip edip sonuca ulaşınca çok saşırtıcı bir sonuçla karşılaşıyorsunuz. Tavsiye ederim. Katılıyorum Katılmıyorum

1

Diğer Yorumlar

Ana Sayfa | Yeni Çıkanlar | Çok Satanlar | Konu Başlıkları | Yazarlar | Yayınevleri | Arama | Üye Sayfası | Sipariş Takibi |
Ortaklık | Puan Kataloğu | Yardım | Kampanyalar | Kitap Dergisi | Sahaf | Tavsiye | Alışveriş Sepeti |
Bize Ulaşın | Bizimle Çalışmak İçin| Basında Biz