Tanıtım Yazısı
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.
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.
daha fazla
Yazar: Kurt Gödel
Yayınevi: Boğaziçi Üniversitesi Yayınevi
ISBN: 9786054238309
Sayfa: 60s.
Boyut: 14 x 23 cm
Kapak:
Tarih: 2010
Kağıt Tipi: