Добавлена английская версия материала «Конструкция Хенкина — интерактивная демонстрация»: The Henkin ConstructionEN.
Короткая хроника: когда на сайте появлялись новые материалы по основаниям математики, логике, теории вероятностей и алгебре.
Добавлена английская версия материала «Конструкция Хенкина — интерактивная демонстрация»: The Henkin ConstructionEN.
Добавлены английские версии материалов: The Galton–Watson ProcessEN, On Mathematical InductionEN, Levels of Formalization of Mathematical AnalysisEN, How Mathematical Structures Are ConstructedEN.
Опубликован материал «Один объект — разные языки» — периодическая таблица переводов между математическими теориями (EN).
Опубликована книга «Математика как иностранный» — главы уровней A1–C1, на русском и английском (EN).
Добавлен материал «28x + 37y = N — задача о новогодних подарках».
Добавлен материал «О математической индукции».
Добавлен материал «Конструкция Хенкина — интерактивная демонстрация».
Добавлен материал «Процесс Гальтона–Ватсона» — новая категория «Теория вероятностей и статистика».
Добавлен материал «Как конструируются математические структуры».
Добавлена английская версия материала «Алгебраические структуры · Теория решёток»: Algebraic Structures · Lattice TheoryEN.
Добавлена английская версия материала «Иерархия теорий арифметики второго порядка»: Hierarchy of Second-Order Arithmetic TheoriesEN.
Добавлен материал «Иерархия теорий арифметики второго порядка».
Открыт раздел «Материалы»: «Алгебраические структуры · Теория решёток», «Вычисление неподвижной точки арифметической формулы», «Уровни формализации математического анализа», «Теория множеств: Тест».