Много раз меня удивляло следующее: студент вроде всё понимает в курсе, а потом, рраз, и вдруг выясняется, что не понимает что-то совсем базовое и элементарное, объясняешь это, и всё снова хорошо, снова всё понимает.

Придумал этому объяснение: есть метафора (у Tessier вычитал) — что математические тексты они как истории с персонажами. Всё уже логично — но должно быть и драматургически согласованно. А литературные — в них уже драматургия, но должно быть логически правильно тоже ("логика мира" должна соблюдаться).

И вот если материал курса воспринимать как историю (и жизни) — этот пошёл туда, сказал и сделал то, привело к этому — и воспринятую в пересказе и через новости.

Потом выясняется, что какие-то детали в истории умолчаны, а есть даже и прямое враньё. Это необязательно ведёт к тому, что выводы из истории неправильные. Просто уточняется мотивация персонажей, они начинают играть новыми красками.

Если противоречий слишком много, то картинка может обрушиться и что-то новое выстроится на её месте, новое понимание. Или ничего не выстроится, снова станет всё непонятно.

Так же и с доказательствами получается. В голове всё живёт смесью силлогизмов и аналогий, и картинка должна быть согласованной (как в историях из жизни). Поэтому неправильное понимание какого-то базового факта может и не влиять на общее понимание главных результатов, примеров и тд.

А в следующем семестре преподаю теорию чисел. В школе и университете я её не любил (потому что выглядит как смесь удивительных совпадений в формулах, где никакой картинки не придумать), а последние лет 5 всё больше и больше мне нравилось (как раз удивительные совпадения!)

Расскажите, какие у вас любимые факты теории чисел, которые можно за полчаса рассказать 2-3 курсникам математикам?

Хочется либо на практике поразбирать в виде подборок задач, либо короткими отступлениями обсуждать иногда чудеса
(основной учебник: A classical introduction to modern number theory / K. Ireland, M. Rosen, он последовательный и строгий, без отступлений и чудес).

Двойное слепое тестирование было придумано при участии гомеопата в Нюрнбурге в 1835. Использование плацебо в испытаниях— тоже гомеопатом, в Петербурге в 1829 (см. приложенную статью).

По алхимической двойственности получаем, что то, что придумывают борцы с лженаукой, науке как раз навредит!

Душеподъёмное интервью Стаса Смирнова о математике, математическом образовании, науке, и всём таком:
https://www.youtube.com/watch?v=uv-wUPIILJc

мне было не понятно, что стоит за этими формулами. Прошло уже 4 года, а и сейчас не понятно. Умеет кто-то объяснять? Это из статьи Zagier. Отсюда

История лаборатории геометрии и топологии в ЛОМИ (ПОМИ) в исполнении О.Я. Виро. Отличная история про написание работы Виро-Тураева и другие байки. А потом С.В. Иванов про геометрические вещи рассказывает.

А тут про все остальные лаборатории.

"Традиционно утверждается, что большинство результатов, которые формулируются в элементарных [математических] курсах, следует сопровождать полными доказательствами. Такая точка зрения представляется нам безнадежно устаревшей, нереалистичной и лицемерной."

Из статьи Вавилова/Халина/Юркова. "НЕБЕСА ПАДАЮТ: МАТЕМАТИКА ДЛЯ НЕМАТЕМАТИКОВ"

"Что нас больше всего раздражает в жрецах так называемой “элементарной математики”, так это их крючкотворство и мелочный педантизм. Нам, воспитанным профессиональными математиками, все их дебаты кажутся совершенно лишенными смысла и крайне искусственными."

"В действительности дело обстоит следующим образом. Наличие или отсутствие доказательств никак не влияет на доверие студентов к самим результатам. Мы думаем, что основная роль доказательств в лекциях и учебниках для нематематиков состоит в следующем:

∙ Убедить студента в том, что он правильно понимает формулировку.

∙ Уточнить смысл результата и его связь с другими результатами.

При обучении профессиональных математиков доказательства могут иметь и другие функции:

∙ Отработать общие приемы математических рассуждений (индукция, редукция, разбиение на случаи, общее положение, специализация, …) и стандартную технику в какой-либо конкретной области.

∙ Выработать привычку и вкус к точным рассуждениям как таковым, а также тренировать привычку сразу отличать предположения, свидетельства и догадки от твердо установленных фактов.

∙ Как говорят в Кембридже, to illustrate some of the tedium."

И много примеров как компьютерную алгебру можно применять.
UPD: А тут — позитивные предложения. и тут

Статья Farey fractions and sums over coprime pairs объясняет наши формулы для числа пи. Наши площади для функции F — это коэффициенты разложения преобразования Лежандра по базису Шаудера. У нас SL(2,Z), у японца — дроби Фарея. А так то же самое.
Для японца это побочный продукт изучения (нигде не гладкой, но непрерывной) функции Такаги, для нас — побочный продукт тропической геометрии в песочных моделях. Математика едина.

Вот у японца есть формула для гаммы, её я пока не умею получать тропическим способом)

и вот ещё вам олимпиадная задача. Суммирование происходит по всем четвёркам чисел (a,b,c,d) неотрицательных целых, таких, что ad-bc=1

Как известно из отчёта Чебышёва о поездке в Париж в 1842, он там беседовал с Лебегом... Стоп, Лебег родился в 1875. После некоторого количества мучений нашёлся Victor-Amédée Lebesgue.

И такие ошибки (а тут даже не ошибка на самом деле, но то, что без поисков очень похоже на ошибку) на каждой странице можно найти. Редакторская работа как она есть, и не имеет она конца.

Или вот механизм Липкина-Посселье, по поводу которого споры о приоритете я несколько раз видел, вообще раньше их обоих изобретён Саррусом. См. скриншот отсюда.

Очередной пробный экземпляр напечатан в Цинхуа и поедет в Ханчжоу. А мне нравится ставить печать. Она подсыхает и рельефная.

Из вершин треугольника ABC проведём касательные к некоторой конике (например, эллипсу) и посмотрим, где эти касательные пересекают противоположные стороны треугольника. Полученные 6 точек, оказывается, лежат на одной конике. Отсюда.

удивительный факт: для любого вещественного x имеем F(x)=2

Поиграйте, пожалуйста, в следующую игру: открывайте файл с книгой про петербургских математиков, выбираете случайное число от 1 до 496. Смотрите на эту страницу, и (указав её) пишете о ошибках, мыслях, предложениях по улучшению, вообще всё что в голову придёт. Только одну страницу.

(может не повезти и вы попадёте на страницу с суровой математикой. Ну, тогда можно либо сдаться, либо ещё раз попробовать. Но на страницах с суровой математикой тоже бывают опеачкти).