Kurt Gödel
Gödel’in Eksiklik Teoremi, 20. yüzyıl matematik ve felsefe tarihinin en sarsıcı sonuçlarından biri olarak kabul edilir. 1931 yılında Avusturyalı matematikçi Kurt Gödel tarafından ortaya konmuştur. Bu teorem, matematiğin kendi içinde mutlak ve eksiksiz bir doğruluk sistemi kurabileceği fikrine ciddi bir sınır getirmiştir. Kısaca ifade etmek gerekirse, yeterince güçlü her mantıksal sistemde kanıtlanamayan ama doğru olan önermeler bulunur.
Teoremi anlamak için önce “biçimsel sistem” kavramını düşünmek gerekir. Matematikte bir sistem, belirli kurallar, semboller ve aksiyomlar üzerine kurulur. Aksiyomlar, doğru olduğu kabul edilen temel önermelerdir ve diğer tüm sonuçlar bu temellerden türetilir. Uzun süre boyunca matematikçiler, doğru aksiyomlar seçildiğinde bütün matematiğin eksiksiz ve çelişkisiz biçimde kurulabileceğini düşünüyordu. Gödel’in çalışması bu umudu kökten değiştirdi.
Gödel’in Birinci Eksiklik Teoremi şunu söyler: Aritmetik gibi yeterince zengin herhangi bir tutarlı biçimsel sistem içinde, sistemin kurallarıyla kanıtlanamayan fakat doğru olan ifadeler mutlaka vardır. Yani sistem ne kadar kapsamlı olursa olsun, içinde erişilemeyen doğrular bulunur. Bu durum, matematiğin kendi içinde tamamlanamayacağını gösterir. İkinci Eksiklik Teoremi ise daha da çarpıcıdır. Bir sistem kendi tutarlılığını kendi araçlarıyla kanıtlayamaz. Başka bir deyişle, bir matematiksel yapı “ben çelişkisizim” ifadesini yine kendi kurallarıyla kesin biçimde ispatlayamaz. Bu sonuç, matematiğin mutlak güvenceye ulaşma arzusuna teorik bir sınır çizer.
Gödel bu sonuca ulaşmak için öz-referans yani kendine gönderme fikrini kullanmıştır. Mantıksal ifadeleri sayılara dönüştüren özel bir yöntem geliştirmiş ve sistem içinde “Bu önerme kanıtlanamaz” anlamına gelen bir yapı kurmuştur. Eğer sistem bu önermeyi kanıtlayabilseydi çelişkiye düşecekti, kanıtlayamadığında ise önerme doğru olacaktı. Böylece matematiğin içinde kaçınılmaz bir boşluk olduğunu göstermiş oldu. Bu teoremler yalnızca matematiği değil, felsefeyi ve bilgisayar bilimini de derinden etkilemiştir. Bilginin sınırları, kesinlik kavramı ve insan aklının ulaşabileceği noktalar yeniden tartışılmaya başlanmıştır. Yapay zekâ ve algoritmalar üzerine yapılan pek çok tartışmada da Gödel’in sonuçlarına gönderme yapılır, çünkü teorem bazı problemlerin tamamen çözülemeyeceğini ima eder.
Gödel’in Eksiklik Teoremi çoğu zaman yanlış anlaşılır. Bu teorem matematiğin işe yaramaz olduğunu ya da her şeyin belirsiz olduğunu söylemez. Matematik hâlâ son derece güçlü ve güvenilir bir araçtır. Ancak teorem, matematiğin kendi içinde mutlak ve kapalı bir mükemmellik sistemi olamayacağını gösterir. Başka bir ifadeyle, doğruların bütünü hiçbir zaman tek bir çerçeveye sığdırılamaz.
Sonuç olarak Gödel’in Eksiklik Teoremi, matematiğin sınırlarını ortaya koyan bir dönüm noktasıdır. Bu teorem, insan aklının kurduğu sistemlerin ne kadar güçlü olursa olsun belirli boşluklar barındıracağını gösterir. Matematiksel düşünceyi zayıflatmaz; aksine onun doğasını daha dürüst ve daha gerçekçi bir biçimde anlamamızı sağlar.
