Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-

Königsberg'te 5-7 Eylül 1930 tarihlerinde, Empirik Felsefe Çevresi tarafindan düzenlenen bir konferansta Kurt Gödel iki konusma yapar. Ilk konusmasi doktora tezinin bir özeti ve Hilbert'in çalismalarinin uzantisi olan eksiksizlik kuraminin birinci basamak yüklem hesabi için dogrulanmasi üzerine olur. Konferansin sonlarina dogru ise asil önemli olan saptamasini aktarir: Principia Mathematica ve benzeri aksiyomatik sistemlerde biçimsel olarak kararlastirilamayacak önermeler vardir... Bu çeviri, Gödel'in, konferansa damgasini vuran konusmasinin 1931'de yayimlanmis özgün metnini sunmaktadir.
Bu makalenin sonuçlardan sonra matematigin yönünde bir sapma görülmüstür. Hilbert'in programinin basarili olamayacagi bir genel kani haline gelmistir. Diger bir deyisle, Gödel, Hilbert'in ortaya attigi analiz yöntemlerini temel alarak Principia Mathematica gibi matematik sistemlerinin tutarli iseler, tutarliliklarinin kendi içindeki aksiyomlar ve çikarim kurallariyla ispatlanamayacagini göstermistir.

Ürün Adı: Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-
Ürün Kodu: 9786054238309
Yazar: Kurt Gödel
Basım Yılı: 2010
Kapak Türü: Karton Kapak
Sayfa Sayısı: 60
Kağıt Cinsi: Kitap Kağıdı
Çevirmen: Özge Ekin