Gödelin natamamlıq teoremi: Məntiqin və riyaziyyatın mütləq sərhədləri

Faktum.az xəbər verir ki, əsrlər boyu insanlıq riyaziyyatı kainatın mütləq, sarsılmaz və mükəmməl həqiqətlərini əks etdirən tək etibarlı alət kimi görüb. 20-ci əsrin əvvəllərində dahi riyaziyyatçılar hər bir riyazi mülahizənin daxili məntiq qaydaları ilə tam şəkildə sübut edilə biləcəyi mükəmməl bir sistem qurmağa çalışırdılar. Lakin 1931-ci ildə cəmi 25 yaşlı avstriyalı məntiqçi Kurt Gödelin təqdim etdiyi “Natamamlıq teoremi” nəinki riyaziyyat dünyasını, bütün elmi və fəlsəfi təfəkkürü kökündən sarsıtdı.

Gödel mathematically sübut etdi ki, müəyyən mürəkkəblikdə olan hər hansı ziddiyyətsiz riyazi sistemdə daxili qaydalarla nə doğru olduğunu, nə də yalan olduğunu sübut etmək mümkün olmayan müddəalar — “sübutolunmaz həqiqətlər” var. Başqa sözlə, bir məntiq sistemi həm tam, həm də ziddiyyətsiz ola bilməz. Əgər bir sistem tamdırsa (hər şeyi sübut edə bilirsə), onun içində mütləq ziddiyyət yarancaq; əgər sistem ziddiyyətsizdirsə, o zaman mütləq natamam qalacaq. Gödel bunu məşhur “Yalançı paradoksu”nu (“Bu mülahizə yalandır”) riyaziyyatın öz dilinə və rəqəmlərinə çevirərək icra etmişdi.

Gödelin bu kəşfi zəkanın və idrakın sərhədlərini göstərən ən böyük intellektual dönüş nöqtələrindən biridir. Bu teorem sübut edir ki, insan zəkası və ya hər hansı bir kodlaşdırılmış məntiq sistemi kainatdakı bütün həqiqətləri tək bir çərçivəyə sığışdıra bilməz. Həmişə sistemin “kənarında” qalan, yalnız daha üst bir baxış bucağı ilə anlaşıla bilən həqiqətlər mövcud olacaqdır. Bu baxımdan, Gödel teoremi süni intellektin imkanları və insan şüurunun fərqliliyi haqqında müasir debatların da əsasını təşkil edir.

Nəticədə, Gödelin natamamlıq teoremi riyaziyyatın zəifliyi deyil, əksinə onun sonsuz inkişaf potensialının göstəricisidir. O, bizə öyrədir ki, elmdə və təfəkkürdə mütləq “son nöqtə” yoxdur; hər bir cavab yeni bir suala, hər bir sistem isə öz çərçivəsini aşan yeni bir kəşfə qapı açır.