Карта месяца: что мы узнали о математической логике

Октябрь подходит к концу. Мы провели четыре недели, погружаясь в математическую логику. Давайте соберем всё воедино.
🔹 Неделя 1: Интуиция и основания. Мы узнали, что математическая логика — это «грамматика» языка математики. Познакомились с булевой алгеброй, формальными системами и парадоксом Лжеца.
Неделя 2: Анатомия формальной системы. Разобрали аксиомы, правила вывода (modus ponens, modus tollens) и структуру доказательств. Узнали историю Евклида и его «Начал».
Неделя 3: Когда интуиция дает сбой. Столкнулись с парадоксом Рассела, который разрушил мечту Фреге. Изучили теоремы Гёделя о неполноте и проблему остановки Тьюринга.
🔹 Неделя 4: Вершины и мост в будущее. Познакомились с теорией моделей Тарского, естественным выводом Генцена и автоматическим доказательством теорем.
Главный вывод месяца:
Математическая логика показала, что истина шире, чем доказательство. Формальные системы мощны, но имеют фундаментальные ограничения. Именно эти ограничения делают математику живой и развивающейся наукой.
В ноябре мы переходим к теории множеств — разделу, который строит всю математику из простейшего понятия: принадлежности элемента множеству.