«Вспоминаю, как в 7-м классе ничего не понимал, когда мы начинали разбирать тригонометрию. С учителем мы не смогли найти общий язык, поэтому к 8–9-му классу я был уверен, что никогда не буду заниматься математикой, а уж тем более сидеть по несколько часов в день, утыкаясь в учебники Беклемишева или Кожевникова и параллельно просматривая лекции Физтеха…»
Рубрика «аналитическая геометрия»
Как полюбить математику и подружиться с ней на всю жизнь, если ты уже не школьник
2025-04-02 в 11:15, admin, рубрики: data science, аналитическая геометрия, линейная алгебра, матан, матанализ, математика, математика взрослому, математика для гуманитариев, математика на пальцах, математический анализКомпьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению»
2021-06-20 в 13:00, admin, рубрики: lean, автоматическое доказательство, аналитическая геометрия, Блог компании Маклауд, великое объединение, Занимательные задачки, конденсированная математика, математика, топология
Пример расчётного доказательства в программе Lean
Математики давно используют компьютеры в своей работе как инструменты для сложных вычислений и выполнения рутинных операций перебора. Например, в 1976 году методом компьютерного перебора была доказана теорема о четырёх красках. Это была первая крупная теорема, доказанная с помощью компьютера.
Теперь вспомогательный софт для доказательства теорем (proof assistant software) не просто проверяет доказательства, но помогает выйти на принципиально новый уровень великого объединения разных математических разделов. Концепция «конденсированной математики» обещает принести новые идеи и связи между областями, начиная от геометрии и заканчивая теорией чисел. Это в своём роде «великое объединение» математики
Читать полностью »