Matematikte doğru ama kanıtlanamaz önermeler vardır
Yeterince güçlü her tutarlı matematik sistemi, içinde doğru olduğu hâlde o sistemde asla kanıtlanamayan ifadeler barındırır.
Okulda her doğru kanıtlanabilir gibi hissedersin. Gödel bunun böyle olmadığını kanıtladı.
Kurt Gödel 1931'de Eksiklik Teoremleri'ni yayınladı. Aritmetiği içerecek kadar güçlü, tutarlı her biçimsel sistemde doğru olup o sistemde kanıtlanamayan ifadeler vardır. Üstelik böyle bir sistem kendi tutarlılığını kendi içinde kanıtlayamaz.
Bu sonuç, tüm matematiği sağlam temellere oturtma hayalini (Hilbert programı) sarstı.
Bilginin ve ispatın sınırları var. Doğru ile kanıtlanabilir aynı şey değil; matematik bile eksiksiz olamaz.
Kaynaklar
- Goedel Incompleteness Theorems — Stanford Encyclopedia of Philosophy
Buradan nereye?
Bir şeyi doğru kabul edip haklı çıkman, onu gerçekten bildiğin anlamına gelmeyebilir; bazen sadece şanslısındır.
KeşfetHızlı hareket eden ya da güçlü bir kütleye yakın bir saat, sana göre daha yavaş işler. Zaman mutlak değil, görelidir.
KeşfetHiç uzaya çıkmadan, yalnızca iki şehirdeki gölge açısını ve aralarındaki mesafeyi kullanarak Dünya'nın çevresi şaşırtıcı doğrulukta hesaplandı.
Keşfet