Ближайшая конференция — HolyJS 2024 Autumn, 7 ноября (online), 14–15 ноября (СанктПетербург + трансляция).
Подробности и билеты: https://jrg.su/K18Cxd
— —
В выступлении Алексей описал общие методы, приемы, идеи и логические конструкции, которые характерны для большинства математических дисциплин и в то же время подчеркивают особенности сложившейся математической культуры и языка.

Спикер заострил внимание на использовании математиками специальных символов, обозначений и терминов, непривычных для большинства людей; привел примеры того, как в языке математики можно выразить предложения разговорного языка, подчеркнул разницу между школьными и академическими терминами. Особое внимание — исключительной точности математических формулировок, не допускающих разночтений.

Также Алексей поделился некоторыми универсальными способами проведения рассуждений: принцип Дирихле, математическая индукция, метод бесконечного спуска. Фундаментальная теорема Кантора о неравномощности бесконечных множеств станет изюминкой доклада.

Скачать презентацию с сайта HolyJS — https://jrg.su/SoECJw