1.
gödel'in eksiklik teoremleri temel aritmetiği içeren her biçimsel aksiyomatik sistemin doğal sınırlarını gösteren matematiksel mantığın iki teorisidir. . teoremler, hilbert'in tüm matematik için tam ve tutarlı bir aksilik sembolü bulma programının imkansız olduğunu gösterdiği şekilde yorumlanıyor. kurt gödel'in 1931'de yayınladığı çalışmasının sonuçları matematiği,mantığı ve de matematik felsefesini derinden etkilemiştir.
kısaca elementer bir aritmetik içeren hiçbir dizge hem tutarlı hem eksiksiz olamaz, yani kendi kendini ispat edemez. her zaman ispat edilemeyen bir dizge olacaktır.
kısaca elementer bir aritmetik içeren hiçbir dizge hem tutarlı hem eksiksiz olamaz, yani kendi kendini ispat edemez. her zaman ispat edilemeyen bir dizge olacaktır.
devamını gör...