Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine 1
Principia Mathematicave İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1
Königsberg'te 5-7 Eylül 1930 tarihlerinde, Empirik Felsefe Çevresi tarafından düzenlenen bir konferansta Kurt Gödel iki konuşma yapar. İlk konuşması doktora tezinin bir özeti ve Hilbert'in çalışmalarının uzantısı olan eksiksizlik kuramının birinci basamak yüklem hesabı için doğrulanması üzerine olur. Konferansın sonlarına doğru ise asıl önemli olan saptamasını aktarır: Principia Mathematica ve benzeri aksiyomatik sistemlerde biçimsel olarak kararlaştırılamayacak önermeler vardır... Bu çeviri, Gödel'in, konferansa damgasını vuran konuşmasının 1931'de yayımlanmış özgün metnini sunmaktadır. Bu makalenin sonuçlardan sonra matematiğin yönünde bir sapma görülmüştür. Hilbert'in programının başarılı olamayacağı bir genel kanı haline gelmiştir.
- Açıklama
Principia Mathematicave İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1
Königsberg'te 5-7 Eylül 1930 tarihlerinde, Empirik Felsefe Çevresi tarafından düzenlenen bir konferansta Kurt Gödel iki konuşma yapar. İlk konuşması doktora tezinin bir özeti ve Hilbert'in çalışmalarının uzantısı olan eksiksizlik kuramının birinci basamak yüklem hesabı için doğrulanması üzerine olur. Konferansın sonlarına doğru ise asıl önemli olan saptamasını aktarır: Principia Mathematica ve benzeri aksiyomatik sistemlerde biçimsel olarak kararlaştırılamayacak önermeler vardır... Bu çeviri, Gödel'in, konferansa damgasını vuran konuşmasının 1931'de yayımlanmış özgün metnini sunmaktadır. Bu makalenin sonuçlardan sonra matematiğin yönünde bir sapma görülmüştür. Hilbert'in programının başarılı olamayacağı bir genel kanı haline gelmiştir.
Stok Kodu:9786054238309Boyut:13.50x21.00Sayfa Sayısı:60Basım Yeri:İstanbulBaskı:1Basım Tarihi:2010-07Çeviren:Özge EkinKapak Türü:CiltsizKağıt Türü:1. HamurDili:TürkçeOrijinal Adı:Über Formal Unentscheidbare Satze Der Principia Mathematica und Verwandter Systeme I
- Taksit Seçenekleri
- Axess KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim11,1111,1125,5611,1133,8511,5561,9811,8991,3512,11121,0312,33QNB Finansbank KartlarıTaksit SayısıTaksit tutarıGenel ToplamTek Çekim11,1111,1125,7811,5533,9311,7862,0012,0091,3612,2212--Bonus KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim11,1111,1125,5611,1133,8511,5561,9811,8991,3512,11121,0312,33Paraf KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim11,1111,1125,5611,1133,8511,5561,9811,8991,3512,11121,0312,33Maximum KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim11,1111,1125,5611,1133,8511,5561,9811,8991,3512,11121,0312,33World KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim11,1111,1125,5611,1133,9611,8961,9811,8991,3512,11121,0312,33Diğer KartlarTaksit SayısıTaksit tutarıGenel ToplamTek Çekim11,1111,1125,5611,1133,8511,5561,9811,8991,3512,11121,0312,33
- Yorumlar
- Yorum yazBu kitabı henüz kimse eleştirmemiş.