Name: Математика как иностранный
Author: Николай И. Казимиров

§1

О книге

Эта книга предлагает нетривиальный педагогический подход к основаниям математики, рассматривая предмет как формальный язык, который нужно выучить. Её центральный тезис: свободное владение современной математикой, логикой и информатикой требует беглости в точном и структурированном способе мышления — «архитектуре мысли», опирающейся на строгий и выразительный язык.

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

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

Текст явно связывает формальный язык математики с операционной логикой искусственного интеллекта. Книга включает около 190 упражнений разного уровня сложности, каждое — с подробным решением для самостоятельного изучения.

«Алгоритмы, управляющие роботами, нейросети, анализирующие данные, и большие языковые модели, порождающие текст, — всё это построено на строгих законах логики и алгебры, составляющих грамматику математики». — из предисловия.

Книгу дополняет проект MathLogic Nexus — интерактивная 3D-карта связей между определениями, теоремами и теориями, охватывающая теорию моделей, топологию и теорию вычислимости; см. связанный проект Nexus Math.

§2

Главы и содержание

Свободные конспекты каждого уровня части I, «Восхождение» (The Ascent), — начните с любого, как в языковом курсе, и пропускайте то, что уже знаете. Часть II, «Доказательная база» (Proof-Theoretical Basis), — справочный раздел книги по темам: отдельных конспектов для неё нет, но её структура приведена ниже для полноты.

Часть I, «Восхождение» (The Ascent) — курс по уровням

Выживание

Алфавит языка $\Math$: графемы, принцип матрешки при построении лексем, деревья разбора, предикаты и термы, и почему формальные системы способны «забывать» исходную семантику.

Иллюстративная сказкаПринцип матрешкиСемантика vs. синтаксисРефлексияТерминыПеременные и сверткиОсобенности математического языка

У чертога логики

Понятия и их объёмы, рождение семантики, связь логики с наивной теорией множеств, правильные рассуждения и первый строгий взгляд на отношения и функции.

Понятие«Истина» и «ложь»Логика и множестваСвязь логики и семантики через объем понятияЛогические рассужденияПостроение выводовПро отношения и функции

Формальная логика

Строгая формализация логики высказываний и предикатов, теория моделей, интерпретация, непротиворечивость и полнота, аппарат равенства и конгруэнтности.

Логика высказыванийЛогика предикатов

Фундамент математики

Первопорядковая арифметика Пеано аксиома за аксиомой, первые шаги теории множеств и наследственно конечные множества как самодостаточная финитная вселенная.

Арифметика ПеаноПролегомены к теории множествНаследственно-конечные множества

Рай для математиков

Теория множеств Цермело-Френкеля целиком, аксиома выбора и её эквиваленты, кумулятивный универсум фон Неймана и способы конструирования математических структур.

Теория множеств Цермело-ФренкеляАксиома выбораУниверсум фон НейманаКонструкции

Часть II, «Доказательная база» (Proof-Theoretical Basis) — справочные главы (без отдельных конспектов)

Язык

Элементарные частицы языкаЛексемыСинтаксический разборУпрощенияГрафикаПро метаязыкОпределение переменных

Логика

Логика высказыванийЛогика предикатов

Арифметика

Основные свойстваИндукцияЭлементарная теория делимостиКодирование последовательностейК теоремам Гёделя и Тарского

Теория множеств

Основные свойстваКонечные и бесконечные множестваОрдиналы и кардиналыАксиома выбораО взаимосвязи формальных теорий

Приложение — решения всех ~190 упражнений

§3

Ключевые результаты книги

Уровень A1 · центральная идея книги

Принцип матрешки

Лексема языка $\Math$ — это, во-первых, любая независимая графема; во-вторых, результат подстановки лексем в места-заполнители зависимой графемы.

\[(a+b)+(c\cdot d)\]

Любое корректное выражение, сколь угодно вложенное, собирается именно так — и однозначно разбирается обратно.

Уровень A1 · рефлексия

Язык, способный описывать сам себя

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

Уровень A2 · логика и множества

Логика и множества — одна и та же монета

Каждая логическая связка, используемая для определения понятия, в точности соответствует теоретико-множественной операции над его объёмом: $\land$ и $\cap$, $\lor$ и $\cup$, $\neg$ и дополнение — а импликации $\to$, чуть тоньше, соответствует $(\mathcal U\setminus V_1)\cup V_2$.

Уровень B1 · полнота логики предикатов

Непротиворечива ровно тогда, когда совместна

Теорема Гёделя о полноте как единый критерий: теория непротиворечива тогда и только тогда, когда у неё есть модель. Гёделю принадлежит доказательство содержательного направления, непротиворечива $\Rightarrow$ совместна, — модель строится из термов самого языка; обратное тривиально следует из корректности.

Уровень B2 · арифметика Пеано

Аксиома индукции

Последняя и самая сильная из аксиом $\PA$:

\[\varphi[a/0]\land\forall x\,(\varphi[a/x]\to\varphi[a/Sx])\to\forall y\,\varphi[a/y]\]

Всё остальное в теории — коммутативность, порядок, делимость — выводится из этой схемы и шести коротких строк про $0$, $S$, $+$, $\cdot$ и $<$.

Уровень B2 · наследственно конечные множества

Целая вселенная из трёх аксиом

Сверх аксиомы объёмности $\HF$ нужны лишь пара, объединение и булеан:

\[\exists X\,(X=\{a,b\}),\quad \exists U\,(U={\textstyle\bigcup} a),\quad \exists P\,(P=\Pcal(a))\]

— и из этого любая конечная математическая структура кодируется множеством, построенным из одного лишь $\emptyset$.

Уровень C1 · аксиома выбора

Три облика одной аксиомы

В $\ZF$ доказуемо равносильны: (1) аксиома выбора; (2) теорема Цермело — любое множество можно вполне упорядочить; (3) лемма Цорна — если в частично упорядоченном множестве у любой цепи есть верхняя граница, то в множестве есть максимальный элемент. Одно и то же содержание, три совершенно разные интуиции.

Уровень C1 · ординалы

Принадлежность — это и есть порядок

Для ординалов $\in$ и $\subsetneq$ совпадают:

\[\forall\alpha,\beta\,\bigl(\alpha\in\beta\leftrightarrow\alpha\varsubsetneq\beta\bigr)\]

именно поэтому класс $\Ord$ вполне упорядочен отношением $\in$ — а трансфинитная индукция и рекурсия вдоль $\Ord$ следуют из этого бесплатно.

§4

Список обозначений

Выборка из ~103 зарегистрированных символов книги; полный список — в печатном издании.

Логика и кванторы

$\neg\ph$Отрицание

$\ph\land\psi$Конъюнкция (И)

$\ph\lor\psi$Дизъюнкция (ИЛИ)

$\ph\to\psi$Импликация

$\forall x\;\ph(x)$Квантор всеобщности

$\exists x\;\ph(x)$Квантор существования

$\vdash$Синтаксическая выводимость

$\Vdash$Логическое (семантическое) следование

$\models$Истинность в модели

Теории

$\mathsf{PA}$Арифметика Пеано

$\mathsf{ZF},\ \mathsf{ZFC}$Теория множеств Цермело-Френкеля, с выбором

$\mathsf{HF}$Наследственно конечные множества

$\mathsf{AC}$Аксиома выбора

$\mathsf{CH}$Континуум-гипотеза

Множества, ординалы и кардиналы

$\{x\mid\ph(x)\}$Свёртка (выделение множества)

$\Pcal(A)$Булеан множества $A$

$\langle a,b\rangle$Упорядоченная пара

$\om,\ \aleph_0$Первый бесконечный ординал

$\Ord$Класс всех ординалов

$\vert A\vert$Мощность множества $A$

Отношения и функции

$f:A\to B$Функция из $A$ в $B$

$\dom(f),\ \ran(f)$Область определения, область значений $f$

$[a]_R$Класс эквивалентности $a$ по $R$

$\Agot\isom\Bgot$Структуры $\Agot,\Bgot$ изоморфны

§5

Двуязычный глоссарий терминов

Раз книга обращается с математической лексикой как с лексикой, вот её выборка на обоих языках сайта.

Графемаgrapheme

Лексемаlexeme

Принцип матрешкиMatryoshka principle

Дерево разбораparse tree

Синтаксис / семантикаsyntax / semantics

Рефлексияreflection

Метаязыкmetalanguage

Объём понятияconcept, extension of

Логика высказыванийpropositional logic

Правило Modus PonensModus Ponens rule

Теорема о дедукцииDeduction Theorem

Теорема Гёделя о полнотеGödel's completeness theorem

Модель теорииmodel of a theory

Конгруэнтностьcongruence

Арифметика ПеаноPeano Arithmetic

Наследственно конечные множестваhereditarily finite sets

Аксиома выбораAxiom of Choice

Лемма ЦорнаZorn's Lemma

Вполне упорядочениеwell-ordering

Натуральные числа фон Нейманаvon Neumann natural numbers

Ординалordinal

Кардинальностьcardinality

§6

Лестница от A1 до C1

Выживание

Алфавит, лексемы, деревья разбора, синтаксис vs. семантика

У чертога логики

Понятия, наивные множества, правильные выводы, отношения и функции

Формальная логика

Логика высказываний и предикатов, теория моделей

Фундамент

Арифметика Пеано, наследственно конечные множества

Рай математиков

ZFC, аксиома выбора, универсум фон Неймана

Цифровой спутник книги

MathLogic Nexus — интерактивная 3D-визуализация логических связей между определениями, теоремами и теориями, упомянутыми в книге: живая карта «архитектуры» математической мысли, связывающая её с теорией моделей, топологией и теорией вычислимости. Инструмент доступен на nexus.mathem.at.

§7

Об авторе

Николай И. Казимиров, к.ф.-м.н.

Кандидат физико-математических наук. Окончил матфак ПетрГУ и аспирантуру КарНЦ РАН. Опыт изучения немецкого языка в TU Graz (Austria) вдохновил на написание этой книги. Специализируется на основаниях математики, теории моделей и популяризации науки.