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

**Prof. Dr. Sinsi** · 09-10-2012

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

-7 Eylül 1930 tarihlerinde, Königsberg''te, 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

Elinizdeki 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

Kurt Gödel (1906 -1978) mantıkçı, matematikçi ve matematik felsefecisidir

Kendi ismiyle anılan ''Gödel''in Eksiklik Teoremleri'' ile tanınır

Ünlü teoremlerini Viyana Üniversitesindeki doktora çalışması sırasında 1931 yılında ispatlamış, bununla 20

yüzyıl matematiğinin yönünü değiştirmiştir

1940''larda Princeton Üniversitesi İleri Araştırmalar Enstitüsünde, Einstein''ın kütle çekimi alanı denklemlerine, ekseni etrafında dönen bir evreni tanımlayan bir çözüm getirdi

Gödel''in modeli, zamanda geriye gitmenin görelilik kuramınca yasaklanmadığını ortaya koydu

Ürünün Resimleri:

Piyasa Fiyatı - 09092012
12,28 TL

09-10-2012	#1
Prof. Dr. Sinsi	Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine -7 Eylül 1930 tarihlerinde, Königsberg''te, 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 Elinizdeki 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 Kurt Gödel (1906 -1978) mantıkçı, matematikçi ve matematik felsefecisidir Kendi ismiyle anılan ''Gödel''in Eksiklik Teoremleri'' ile tanınır Ünlü teoremlerini Viyana Üniversitesindeki doktora çalışması sırasında 1931 yılında ispatlamış, bununla 20 yüzyıl matematiğinin yönünü değiştirmiştir 1940''larda Princeton Üniversitesi İleri Araştırmalar Enstitüsünde, Einstein''ın kütle çekimi alanı denklemlerine, ekseni etrafında dönen bir evreni tanımlayan bir çözüm getirdi Gödel''in modeli, zamanda geriye gitmenin görelilik kuramınca yasaklanmadığını ortaya koydu Ürünün Resimleri: Piyasa Fiyatı - 09092012 12,28 TL