Kltr TV | Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1 | Kitap detaylar

 

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

Yaynevi : Boğaziçi Üniversitesi Yayınevi
Yazar : Kurt Gödel
Kategori : Genel
Basm tarihi:Temmuz 2010 / 1. Bask
Kapak : Karton
Sayfa says :60
Kat:İthal kağıt
ISBN:9786054238309
Dil : Türkçe
Etiket fiyat : 11.04 + %8 KDV = 12 TL
Kltr TV fiyat 10.80 TL

 

 

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. Diğer bir deyişle, Gödel, Hilbert'in ortaya attığı analiz yöntemlerini temel alarak Principia Mathematica gibi matematik sistemlerinin tutarlı iseler, tutarlılıklarının kendi içindeki aksiyomlar ve çıkarım kurallarıyla ispatlanamayacağını göstermiştir.
(Tantm blteninden)

Bu kitaba video yklemek ister misiniz?

 

Yorumlar


Bu kitaba ilk yorumu siz yapmak ister misiniz?

Yorumunuzu ekleyin

Bu kategorinin ok satanlar


Bu kategorinin ilgi grenleri


Bu kitab alanlar bunlar da ald