Bu hekayənin orijinal versiyası Quanta jurnalında çap olunub.
Bəzi riyaziyyat problemləri tədqiqatçıları həll olunduqdan sonra da çoxdan təqib edir. Bir sübut ortaya çıxır, hətta qeyd olunur, lakin narazılıq davam edir. Bəlkə də bu mübahisənin çox mürəkkəb olmasıdır. Bəlkə də bir səhifəlik qəzetin qaçılmaz olması üçün ov davam edir. Nədənsə, riyaziyyatçılar bir halda qapalı hesab olunan bir işə dəfələrlə qayıdırlar.
Belə ən məşhur hallardan biri dörd rəngli nəzəriyyədir, riyaziyyatçıların öz mövzusunu necə düşündüklərini dəyişdirən bir problemdir.
Problemin izahı sadədir və daha da sadədir: birləşən xəritə baxımından hər bir bölgəni dörd rəngdən biri ilə rəngləmək mümkündürmü ki, qonşu bölgələrdə rəng yoxdur? XIX əsrin ortalarında xəritəçilərin bu sualdan maraqları az idi. Amma həm həvəskar, həm də peşəkar riyaziyyatçılar üçün beyin teaser tez bir zamanda bir obsesiyaya çevrildi.
İlk iddia edilən sübut 1879-cu ildə elan edildi və səhv olduğu sübut edilmədən əvvəl 11 il davam etdi. Daha çox səhv cavablar gələcək, vəkillərdən və həkimlərdən və məşhur qrafik nəzəriyyəçilərindən də. "Burada uşaqların da başa düşə biləcəyi bir problem var", - Danimarka Texniki Universitetinin grafika nəzəriyyəsi üzrə alim Carsten Thomassen deyir. Məncə bu səbəbdən də bu qədər böyük bir çətinlik oldu.
Teorema nəhayət bir əsr sonra sübut edildi, lakin o vaxt skandal hesab olunan kompüter üsulları ilə, riyaziyyatçıların ilk növbədə sübut hesab etdiklərini şübhə altına almasına səbəb oldu. Problemin vəziyyəti kompüterlərin daha çox istifadəsi yayımlandığı və daha sadə kompüterlə təmin olunan sübut tapıldığı 1997-ci ilə qədər müzakirə mənbəyi olaraq qalmışdır.
Xülasə — davamını mənbədə oxuyun.
