Matematikte bazı gerçekler asla kanıtlanamaz
Kurt Gödel'in 1931'deki teoremleri, tutarlı matematiksel sistemlerin bile asla resmi olarak kanıtlanamayan doğru ifadeler içerdiğini kanıtladı. Bu, mantığın ve bilginin temel sınırlarını ortaya koydu.
1931'de matematikçi Kurt Gödel önemli bir gerçeği ortaya koydu. Temel aritmetik için yeterince güçlü, tutarlı her matematik sistemi, doğru ama kendi içinde kanıtlanamayan ifadeler içerir. Esasen 'bu ifade kanıtlanamaz' gibi, kendi kendine gönderme yapan bir paradoks yarattı. Eğer doğruysa, kanıtlanamaz; yanlışsa, bir çelişki yaratır. Bu, matematiğin her zaman karara bağlanamayan önermelere sahip olacağı anlamına gelir. 20. yüzyılın eksiksiz, mükemmel bir matematiksel temel hayalini sorgulatır. Gödel'in çalışması, biçimsel mantığın doğal sınırlarını gösterir. Felsefeden bilgisayar bilimine kadar birçok alanı etkilemiştir. Durma problemi gibi bazı sorunların neden temelden çözülemez olduğunu açıklar.