Компьютерные инструменты в образовании №2, 2020
Читать

Компьютерные инструменты в образовании №2, 2020

В последние десятилетия много говорится о компьютерных доказательствах (computer proofs, computer aided proofs, computer verified proofs и т. д.). Совершенно очевидно, что в еще большей степени появление и распространение компьютеров изменило приложения математики. О чем, однако, говорится гораздо меньше, это о том, как компьютеры изменили саму математику, отношение математиков к математической реальности, как возможности ее непосредственно наблюдать, так и понимание того, что вообще мы можем надеяться доказать. Я рассказываю о своем собственном опыте использования компьютеров как инструмента и об опыте использования компьютеров в работах моих коллег, которые я наблюдал с близкого расстояния. Этот опыт радикально изменил мои взгляды на многие аспекты функционирования математики, в частности на ее преподавание. Первая часть носит общий мемуарно-философский характер, следующие посвящены нескольким важным конкретным продвижениям, полученным с помощью компьютеров в алгебре и теории чисел.