Abunə statusunuzu yoxlayın, məlumatlarınızı yeniləyin və daha çoxunu.
Niyə riyaziyyatçılar artıq bildiklərini sübut etməyə davam edirlər?
Riyazi sübut nədir? Kolumnist Jacob Aron, riyaziyyatçıların açıq suallara cavab vermək üçün necə bir kurs planlaşdırdığını və eyni problemin bir neçə həllini tapmanın bütün riyaziyyat işlərinin mühüm hissəsi olduğunu izah edir.
Bir çox yollar bizi riyaziyyatdan eyni həll yoluna apara bilər.
Bu ayın əvvəlində, OpenAI-nin Navier-Stokes probleminin sübutunun iki versiyasını təsadüfi olaraq necə hazırladığını izah edən bir hekayə yazdım. Burada detalları oxuya bilərsiniz, amma mənim üçün qalmış bir şey var ki, hekayə haqqında danışdığım bəzi qeyri-matematika düşüncəli insanlar eyni problemin iki fərqli sübutunun hər ikisi doğru ola biləcəyi fikrini düşünməyə mane oldular. Bu məni matematiklərin bir neçə dəfə nə və niyə bir şeyi sübut etməsi və səhv olduqda nə baş verəcəyi barədə düşünməyə məcbur etdi.
Bir şeyi başa düşmək vacibdir ki, sübutlar ev öhdəlikləri problemləri deyil. Bir neçə riyaziyyatçı mənə bu yaxınlarda bu məqamı göstərdi: çünki insanların əksəriyyəti riyaziyyat təcrübəsi məktəbdə başlayır və sona çatır, belə bir fikir var ki, riyaziyyatçılar sadəcə problemlərin böyük siyahısını işləyirlər və cavabları yazırlar ki, hansısa kosmik riyaziyyat müəllimi tərəfindən qovulsun. Bu belə deyil sübutlar riyazi düşüncəni təşkil etmək və inkişaf etdirmək üçün bir yoldur. Bir sübutun bir səyahət kimi düşünə bilərsiniz, bəyanatdan nəticəyə qədər və bir çox səyahətlərdə olduğu kimi, A-dan B-yə getmək üçün bir çox yol var. Burada eyni problemin bir neçə sübutunu əldə edirik.
Xülasə — davamını mənbədə oxuyun.