Heves vita támadt akörül, hogy a négyszín-sejtés számítógépre támaszkodó bizonyítása összhangban van-e a bizonyítás valódi szellemével. Sokakat nyugtalanított a számítógép szerepe, még ha a legtöbben tudták is, hogy a bizonyítás nagyobb valószínűséggel helyes, mint jó náhány másik, amelyik ember kezéből került ki. A bizonyításnak nem kellene vajon elősegítenie a megértést?
A négyszín-sejtés számítógépes bizonyítása inkább a káosz aprólékos feltérképezése volt, mintsem alapos magyarázat. A számítógépre támaszkodó bizonyítás rávilágított arra, hogy a matematika öröme nem kizárólag a végeredményből fakad. A négyszín-sejtésre Appel és Haken által adott bizonyítás nem tölt el a De jó, most már értem! érzésével. Szeretünk osztozni a bizonyítás alkotója által átélt Heuréka! pillanatában.
Forrás: Marcus du Sautoy: Prímszámok zenéje c. könyv, 9. fejezet
Nincsenek megjegyzések:
Megjegyzés küldése