Matematiğin kanıtlanamaz gerçekleri vardır
Kurt Gödel'in 1931 tarihli teoremleri, sağlam matematiksel sistemlerin bile kanıtlayamadıkları doğru ifadeler içerdiğini kanıtladı. Bu, mantık ve hesaplamanın temel sınırlarını ortaya koydu.
1931'de matematikçi Kurt Gödel bir bomba patlattı. En güçlü matematiksel sistemler bile kendi içlerindeki her doğru ifadeyi kanıtlayamaz. Onun eksiklik teoremleri bunu gösterdi. Temel aritmetiği tanımlayan tutarlı bir sistem her zaman kanıtlayamayacağı veya çürütemeyeceği doğru önermelere sahip olacaktır. Bu, eksiksiz ve tutarlı bir matematik sistemi hayalini yıktı.
Bu hikayenin devamı uygulamada — okumaya devam etmek için aç.
Uygulamada Okumaya Devam Et
1 paragraf daha · ve 3 soruluk bir test