Gödel, yeterince zengin her biçimsel matematik sisteminde sistemin kendi içinde kanıtlayamadığı doğru önermeler bulunduğunu gösterdi.
Matematik
Neden önemli?
Fikrin bağlamı
Gödel’in eksiklik teoremleri, matematiğin tek bir tam ve kendi kendini kanıtlayan makineye dönüştürülebileceği hayalini sarstı. Aritmetik için yeterince güçlü sistemlerde tutarlılık ve tamlık umulduğu biçimde birlikte güvenceye alınamaz. Bu sonuç matematiğin ötesine de sızar: Kusursuz sistem düşüncesini alçaltır. Titizliğin bile sınırları vardır.
Kaynağın izi
Kartın ötesine geçin.
Kaynak: Matematik
Arka plan okuması: Gödel'in eksiklik teoremiDaha güçlü bir kaynak bulunduğunda atıf ve bağlamı güncelliyoruz. Düzeltmeleri editör sayfasından paylaşabilirsiniz.