odczyt PTM - Czy komputer może pomóc matematykowi?
Odczyt PTM dr hab Krzysztofa Maślanki z Instytutu Historii Nauki PAN pt. Czy komputer może być pomocny matematykowi?, Instytut Matematyczny UWr, pl. Grunwaldzki 2/4, godz. 16:15, sala HS
Komputery zostały skonstruowane przez matematyków o uznanych osiągnięciach teoretycznych (von Neumann, Turing, Atanasoff, Aitken i in.). Nikt nie kwestionuje ich roli jako szybkich kalkulatorów czy edytorów skomplikowanych typograficznie tekstów. Coraz częściej jednak są one efektywnie przydatne jako swoiste "mikroskopy", pozwalające na wstępne, jakościowe rozeznanie w problemach matematycznych (np. badanie zaskakujących rozkładów zer wielomianów wysokich stopni czy poszukiwanie nowych, ścisłych formuł). Spektakularnym przykładem roli komputera w teorii liczb było obalenie przez A. Odlyzko i H. te Riele stuletniej hipotezy Mertensa (1985), gdzie komputer odegrał zasadniczą rolę.
