124 подписчика

Vavilov_personal.pdf

«В последние десятилетия много говорится о компьютерных доказательствах (…)

Совершенно очевидно, что в еще большей степени появление и распространение компьютеров изменило приложения математики

О чем однако говорится гораздо меньше, это о том, как компьютеры изменили саму математику, отношение математиков к математической реальности, как возможности ее непосредственно наблюдать, так и понимание того, что вообще мы можем надеяться доказать

Я рассказываю о своем собственном опыте (…)

Этот опыт радикально изменил мои взгляды на многие аспекты функционирования математики, в частности, на ее преподавание

Первая часть носит общий мемуарно-философский характер, следующие посвящены нескольким важным конкретным продвижениям, полученным с помощью компьютеров в алгебре и теории чисел»

Н.А. Вавилов

Компьютер как новая реальность математики

Около минуты

4 августа 2023