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