News & Material Updates

A short changelog: when new materials on the foundations of mathematics, logic, probability theory, and algebra appeared on the site.

2026

Jul 29
Added the English version of "Конструкция Хенкина — интерактивная демонстрация": The Henkin Construction — An Interactive Demonstration.
Jul 29
Added English versions of four materials: The Galton–Watson Process, On Mathematical Induction, Levels of Formalization of Mathematical Analysis, How Mathematical Structures Are Constructed.
Jul 28
Published "One Object, Many Languages" — a periodic table of translations between mathematical theories (RU).
Jul 21
Published the book "Mathematics as a Foreign Language" — chapters A1–C1, in Russian and English (RU).
Jul 2
Added "28x + 37y = N — a New Year's gift problemRU".
Jul 1
Added "On Mathematical InductionRU" (English version followed on Jul 29).
Jun 16
Added "The Henkin Construction — An Interactive DemonstrationRU" (English version followed on Jul 29).
Jun 14
Added "The Galton–Watson ProcessRU" — a new "Probability Theory & Statistics" category (English version followed on Jul 29).
Jun 5
Added "How Mathematical Structures Are ConstructedRU" (English version followed on Jul 29).
May 27
Added the English version of "Алгебраические структуры · Теория решёток": Algebraic Structures · Lattice Theory.
May 26
Added the English version of "Иерархия теорий арифметики второго порядка": Hierarchy of Second-Order Arithmetic Theories.
May 22
Added "Hierarchy of Second-Order Arithmetic TheoriesRU" (English version followed on May 26).
May 15
Launched the "Materials" section: "Algebraic Structures · Lattice TheoryRU", "Computing the Fixed Point of an Arithmetical FormulaRU", "Levels of Formalization of Mathematical AnalysisRU", "Set Theory: A QuizRU".