Bəzi riyazi problemlər həll edildikdən çox sonra belə tədqiqatçıları narahat etməyə davam edir. Bir sübut ortaya çıxır, hətta qeyd olunur, lakin narazılıq qalmaqda davam edir. Bəlkə də arqument çox mürəkkəbdir — bir səhifəlik əlçatmaz məqalə axtarışı davam edir — və ya bəlkə də bu, bir şeyin niyə doğru olduğuna dair daha dərin nəzəri anlayış vermir. Səbəbi nə olursa olsun, riyaziyyatçılar başqa cür bağlanmış hesab edilən bir məsələyə yenidən və yenidən qayıdırlar.
Bu cür ən məşhur hallardan biri riyaziyyatçıların öz fənləri haqqında düşüncə tərzini dəyişdirən dörd rəng teoremi problemidir.
Problemi ifadə etmək sadədir, görmək isə daha da sadədir: Verilmiş bitişik xəritədə hər bir bölgəni dörd rəngdən biri ilə elə rəngləmək mümkündürmü ki, heç bir qonşu bölgə eyni rəngi paylaşmasın? 19-cu əsrin ortalarında bu sual, ixtiyarlarında dörddən çox rəng olan və palitralarını məhdudlaşdırmaq üçün heç bir xüsusi səbəb görməyən xəritəçilər üçün cüzi maraq kəsb edirdi. Lakin həm həvəskar, həm də peşəkar riyaziyyatçılar üçün bu beyin məşqi tez bir zamanda bir obsessiyaya çevrildi.
1879-cu ildə elan edilən ilk iddia edilən sübut, yanlış olduğu sübuta yetirilməzdən əvvəl 11 il qaldı. Ardınca vəkillərdən, həkimlərdən və məşhur qraf nəzəriyyəçilərindən də daha çox yanlış cavablar gələcəkdi. Danimarka Texniki Universitetinin qraf nəzəriyyəçisi Karsten Thomassen: "Burada hətta bir uşağın da başa düşə biləcəyi bir problemimiz var", - dedi. "Düşünürəm ki, bunun bu qədər böyük bir çətinlik olmasının səbəbi budur."
Teorem nəhayət təxminən bir əsr sonra sübut edildi — lakin o dövrdə qalmaqallı hesab edilən kompüter üsulları ilə, bu da riyaziyyatçıların ilk növbədə sübut hesab etdikləri şeyi sorğulamalarına səbəb oldu. Problemin statusu 1997-ci ilə qədər, kompüterlərdən istifadə daha geniş yayıldıqda və daha sadə kompüter dəstəkli sübut tapıldıqda müzakirə mövzusu olaraq qaldı.
Lakin bu gün belə, Kopenhagen Universitetinin kompüter alimi Mikkel Thorupun dediyi kimi, "dörd rəng xəstəliyi" yayılmağa davam edir. O və Thomassen özlərini bu xəstəliyə tutulanlar arasında sayırlar. Belə sadə bir ifadə üçün onun niyə doğru olduğuna dair daha sadə bir səbəb olmalıdır. Və ya ən azından bunu nümayiş etdirməyin daha səmərəli bir yolu.
Xülasə — davamını mənbədə oxuyun.
