Gödel Kanıtlaması

20. yüzyılın en çarpıcı matematiksel keşiflerinden biri, Kurt Gödel’in ortaya koyduğu teoremlerle geldi. Matematiğin, aksiyomlardan yola çıkarak kesin doğrulara ulaşılabilen, tutarlı ve tamamlanmış bir sistem olduğu düşüncesi uzun süre kabul görmüştü. Ancak Gödel, bu güvenli görünen yapının aslında sandığımız kadar sağlam olmadığını gösterdi. Principia Mathematica gibi dev çalışmaları temel alarak, doğal sayılarla ilgili bir biçimsel sistemde bile her zaman kanıtlanamayan ya da çürütülemeyen önermeler bulunduğunu kanıtladı. Yani matematiğin kendisi bile, bazı sorulara kesin yanıt veremeyecek kadar karmaşık olabilir. Gödel’in bulguları, matematiğin temellerine dair köklü bir sorgulamayı başlattı ve bilginin sınırlarını yeniden düşündürdü.