İlk dəfə: Kurt Gödelin gizli yazıları yeni texnologiya ilə aşkarlandı

Kurt Gödelin 1,009 səhifəlik sirri

Riyaziyyat və məntiq sahəsinin ən orijinal düşüncə sahiblərindən biri olan Kurt Gödelin yazıları uzun illər gizli qalmışdı. Onun 1,009 səhifəlik əl yazmaları alman qısayolu Gabelsberger ilə yazılıb və bu, onları oxumağı çətinləşdirirdi.

Helsinki Universitetində yeni layihə

2017-ci ildən etibarən Jan von Plato rəhbərliyində Helsinki Universitetində böyük bir araşdırma layihəsi başlayıb. Von Plato Avropa Tədqiqat Şurasından 2.5 milyon avro (təxminən 4.5 milyon AZN) qrant alaraq Gödelin yazılarını sistemli şəkildə araşdırır. O, Gabelsberger qısayolunu öyrənməklə yanaşı, süni intellekt modeli Claude-dan da kömək alıb.

Süni intellekt və insan əməkdaşlığı

Claude modeli Gödelin yazılarının 650 səhifəlik izahını hazırlayıb. Bu izah, Gödelin yüzlərlə teoreminin sübutlarını daha aydın başa düşməyə imkan verir. Von Plato bu sübutları Coq proqramı ilə yoxlayıb. Nəticədə 663 teorem tapılıb, onlardan təxminən 400-ü təsdiqlənib, 200-ü isə dəqiqləşdirilməyə ehtiyac duyur. Təəccüblüdür ki, 50 teorem səhv çıxıb, bəzən Gödel özü də səhvləri "falsch!" (yanlış) və "schlecht!" (pis) kimi qeyd edib.

Gödelin həyatından qısa anlar

1931-ci ildə tamamladığı işləri ilə riyaziyyatın əsaslarını silkələmiş Gödel, 1940-cı ildə nasistlərdən qaçaraq Avstriyadan ayrılıb və Princeton, Nyu-Cersi şəhərində yerləşən İrəli Tədqiqatlar İnstitutunda Albert Einstein ilə dostluq qurub. Təəssüf ki, o, son illərində artan paranoyadan əziyyət çəkərək yalnız həyat yoldaşının bişirdiyi yeməkləri yeyib və 1978-ci ildə aclıqdan vəfat edib.

Yeni sübutlar və qeyri-müəyyənliklər

Claude-nun təqdim etdiyi sübutlar arasında Gödelin seçmə aksiomunun müstəqilliyi ilə bağlı tapıntılar var. Von Plato bu sübutları Coq proqramı ilə təsdiqləyib, lakin sübutun nə qədər Gödelə aid olduğu hələ tam dəqiqləşməyib. Gödelin digər qeydləri, xüsusilə fizika və kosmologiya sahəsində olanları isə hələ də tam araşdırılmayıb.

Riyaziyyatın gələcəyinə baxış

Bu layihə Gödelin işlərinin yenidən qiymətləndirilməsi və riyaziyyatın təməl prinsiplərinin daha dərindən başa düşülməsi üçün böyük imkanlar açır. İnsan və süni intellektin birgə əməkdaşlığı keçmişin sirrlərini günümüzə gətirir və gələcəyin elmi kəşflərinə zəmin yaradır.