GÖDEL

HEGEL SORUYOR: BİLGİSAYAR DÜŞÜNEBİLİR Mİ?

Bu yazıda, önceki yazımızda değindiğimiz Gödel’in eksiklik teoreminin yapay zekâda oluşturduğu sorunlar, diyalektik mantık çerçevesinde incelenecektir. Diyalektik mantığın tanımına ve bu problemlere baktıktan sonra formel mantıkta incelenemeyen, çelişki içeren yapay zeka problemlerine diyalektik mantık ile bakılacaktır. Diyalektik nedir? Bir önceki yazımızda kısaca değindiğimiz diyalektiği daha yakından inceleyelim. “Diyalektik, felsefe tarihinde değişik anlamlar alan bir terim….

GÖDEL SORUYOR: BİLGİSAYAR DÜŞÜNEBİLİR Mİ?

Eksiklik Teoremi Öncesi Matematik Matematik her zaman kesinliğin bilimi olarak görülmüştür. Antik Yunan’dan beri insanlar matematiğin bu kesinliğine ve doğruluğuna hayran kalmıştır. Matematiğin tanrının bir hikmeti olduğu düşünülmüştür. “Matematik” kelimesinin yerine, “geometri” kelimesi kullanılan Antik Yunan’da Platon’un Akademisi’nin kapısında şöyle yazar. “Geometri bilmeyen giremez.” Galileo’nin şu sözü bu anlayışı özetlemektedir. “Tanrı kainatı matematik dilinde yaratmıştır.”…