Gödelin teoremi və riyaziyyatın sərhədləri

Faktum.az xəbər verir ki, 1931-ci il tarixində avstriyalı riyaziyyatçı Kurt Gödel tərəfindən irəli sürülən Gödelin natamamlıq teoremi elmi dünyada böyük əks-səda doğuraraq riyaziyyatın hər şeyi sübut edə bilməyəcəyini riyazi olaraq ortaya qoydu.

Monreal və Vana universitetlərində aparılan fəlsəfi və riyazi tədqiqatlarda geniş müzakirə olunan bu teorem məşhur Nature jurnalında nəşr edilən məqalələrdə də elmin ən böyük kəşflərindən biri kimi qiymətləndirilir.

Kurt Gödel sübut etdi ki, ən təkmil riyazi sistemlərdə belə doğru olan, lakin sistemin öz qaydaları daxilində sübut edilə bilməyəən mülahizələr mövcutdur. Bu kəşf Avropa və Amerika Birləşmiş Ştatları elmi dairələrində riyaziyyatın və məntiqin mütləqiliyi haqqında əsrlər boyu mövcud olan baxışları kökündən dəyişərək elmi təfəkkürdə yeni bir dövrün əsasını qoydu.