Principia Mathematica (İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1)Kurt Gödel

·
Okunma
·
Beğeni
·
28
Gösterim
Adı:
Principia Mathematica
Alt başlık:
İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1
Baskı tarihi:
Temmuz 2010
Sayfa sayısı:
60
Format:
Karton kapak
ISBN:
9786054238309
Orijinal adı:
Über Formal Unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme 1
Çeviri:
Özge Ekin
Dil:
Türkçe
Ülke:
Türkiye
Yayınevi:
Boğaziçi Üniversitesi Yayınevi
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.
Kitaba henüz inceleme eklenmedi.
Kitaba henüz alıntı eklenmedi.

Kitabın basım bilgileri

Adı:
Principia Mathematica
Alt başlık:
İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1
Baskı tarihi:
Temmuz 2010
Sayfa sayısı:
60
Format:
Karton kapak
ISBN:
9786054238309
Orijinal adı:
Über Formal Unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme 1
Çeviri:
Özge Ekin
Dil:
Türkçe
Ülke:
Türkiye
Yayınevi:
Boğaziçi Üniversitesi Yayınevi
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.

Kitap istatistikleri