2022/01/20 by Alexandre Borovik, Borovik, Alexandre, Zoltan Kocsis +4 · 2 voices
Computer Science · #Teaching and Learning Programming #math.HO
paper · pdf · doi:10.48550/arxiv.2201.08364
openalex publication_date 2022/01/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Mathematics enters the period of change unprecedented in its history, perhaps even a revolution: a switch to use of computers as assistants and checkers in production of proofs. This requires rethinking traditional approaches to mathematics education which is struggling through a crisis of its own, socio-economic and political by its nature. The mathematical community faces Pandora's box of problems, which, surprisingly, are not usually discussed in any connected form. The present paper attempts to address this issue in a bit more joint and cohesive way.