Kupa złomu tworzy matematykę
Wrzesień 2006, coroczne Forum Polskiego Towarzystwa Matematycznego w Gdańsku. Na dyskusji dotyczącej nauczania matematyki, poruszam kwestię nowych technologii, robi się mała burza. W szczytowym momencie dość sędziwy profesor, z dużym ładunkiem emocjonalnym, wygłasza tekst: matematyka to dowodzenie twierdzeń a komputer to kupa złomu która nic z tym nie ma wspólnego.
Niestety później już nie udało mi się zabrać głosu, może i dobrze. Szanowny Pan profesor najwyraźniej nie wiedział nic (lub nie chciał wiedzieć) o dowodzie twierdzenia o czterech barwach. Ta pochodząca z połowy XIX w. hipoteza, mówiła że każdą mapę można pokolorować co najwyżej 4 barwami tak, aby sąsiadujące ze sobą kraje miały zawsze różne kolory.
Udało sie to udowodnić dopiero w 1972 r. a niezbędnym elementem dowodu był komputer. Później powstała jeszcze jedna wersja dowodu, również oparta na obliczeniach komputerowych. Mało togo, można wykazać że bez komputera tego twierdzenia udowodnić się nie da.
Drugi ciekawy przypadek o którym warto tu wspomnieć, to fraktale. Nie jest tajemnic, że główny twórca teorii fraktali Benoit Mandelbrot, zrezygnował z posady na uniwersytecie we Francji i wyjechał do USA aby pracować w IBM i dzięki temu mieć dostęp do najnowocześniejszych komputerów. To właśnie obserwacja wyników numerycznych dała podstawy do zbudowania całej imponującej teorii nowych tworów geometrycznych.
Matematykowi żyjącemu w XXI wieku wypada znać te fakty.
