Семинар «Школьное математическое образование: содержание и аттестация» 29 сентября 2021 года.

Доклад А. В. Боровика «Математика и математическое образование 21-го века» Александр Васильевич Боровик (Манчестер, Великобритания) – кандидат физ.-мат. наук, Professor Emeritus Манчестерского Университета. Аннотация. Как математика, так и математическое образование переживают сейчас переломный этап, а может даже и революцию. Математика переходит на компьютерную проверку доказательств. Для этого доказательства должны быть написаны, опять же с помощью специальных компьютерных программ, в некотором особом формате, который делает возможным их полностью автоматизированную проверку. Сама математика для этого должна быть глубоко переосмыслена, как это сделал Владимир Воеводский в его теории Унивалентных Оснований Математики, а недавно Петер Шольце в его Конденсированной Математике. Уже ясно, что это не просто теории: новая математика будет иметь колоссальные приложения в информационных технологиях (прежде всего, для построения гарантированно надежных систем), или в молекулярной биологии (для построения моделей не