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

Доклад А. В. Боровика «Математика и математическое образование 21-го века»
Александр Васильевич Боровик (Манчестер, Великобритания) – кандидат физ.-мат. наук, Professor Emeritus Манчестерского Университета.

Аннотация. Как математика, так и математическое образование переживают сейчас переломный этап, а может даже и революцию.
Математика переходит на компьютерную проверку доказательств. Для этого доказательства должны быть написаны, опять же с помощью специальных компьютерных программ, в некотором особом формате, который делает возможным их полностью автоматизированную проверку. Сама математика для этого должна быть глубоко переосмыслена, как это сделал Владимир Воеводский в его теории Унивалентных Оснований Математики, а недавно Петер Шольце в его Конденсированной Математике.
Уже ясно, что это не просто теории: новая математика будет иметь колоссальные приложения в информационных технологиях (прежде всего, для построения гарантированно надежных систем), или в молекулярной биологии (для построения моделей невероятно сложных систем). Такие прикладные работы уже появились.
Пока что математики, способные это делать, могут быть подготовлены только штучно.
Это ставит интересные вопросы о математическом образовании, которое, в его нынешнем виде, уже даже и не нужно для большей части населения — а меньшая часть населения, которой нужна математика, может начать нуждаться в подготовке к использованию новой математики.

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