Kategori: Bilim & Mühendislik Yazar: Kurt Gödel Yayınevi: Boğaziçi üniversitesi Yayınevi
Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1
Tanıtım Bülteni
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 Yorumları - (2 Yorum)
bir dönem matematikteki bütün teoremlerin ispatlanabileceği tutarlık hususundaki çalışmaları sonlandırıp neticesiz olacağını ispatlayarak matematiğin seyrini değiştiren bir eser
Konuyla ilgili olmayan kişilere çok ağır gelecektir. Teorik düzeyde ciddi bir matematik altyapınız varsa alın. Kuramsal bir çalışma.