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

In the last decades there was much ado about computer proofs, computer aided proofs, computer verified proofs, etc. It is obvious that the advent and proliferation of computers have drastically changed {it applications/} of mathematics. What one discusses much less, however, is how computers changed {it mathematics itself/}, and mathematicians’ stance in regard of mathematical reality, both as far as the possibilities to immediately observe it, and the apprehension of what we can hope to prove. I am recounting my personal experience of using computers as a mathematical tool, and the experience of such similar use in the works of my colleagues that I could observe at close range. This experience has radically changed my perception of many aspects of mathematics, how it functions, and especially, how it should be taught. This first introductory part consists mostly of reminiscences and some philosophical observations. Further parts describe several specific important advances in algebra and number theory, that would had been impossible without computers.