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

Kurt Gödel

Kitap Açıklaması

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.



11,11 ₺
Satışta Değil
SEPETE EKLE
Kitap Ayrıntıları
Orijinal Başlık: Über Formal Unentscheidbare Satze Der Principia Mathematica und Verwandter Systeme I
ISBN: 9786054238309
Kapak: Ciltsiz
Kağıt Cinsi: 1. Hamur
Boyut: Normal
Sayfa Sayısı: 60
Basım:
Ebat: 13,5x21 cm
Çevirmen: Özge Ekin
Ağırlık: 96
Yorumlar
Yorum eklemek için üye girişi yapmalısın.
Bu kitap hakkında ilk yorum yazan sen ol.