Изоморфизм Карри-Ховарда и связь логики с теорией типов
Хотите увидеть связь между логикой и кодом? Изоморфизм Карри-Ховарда открывает дв…
Месяц: Июнь 2026
Лямбда-исчисление
Разбираем лямбда-исчисление простыми словами: от абстракций до редукции. Станьте …
Классическое и интуиционистское отрицание суждений
Почему истина бывает разной? Погрузитесь в разбор того, как классическое и интуиц…
Нормальные алгоритмы Маркова
Разберитесь, как устроены нормальные алгоритмы и почему простые правила преобраз…
Понятие и суть гёделевой нумерации
Погрузитесь в мир математической магии! Рассказываем, как работает гёделева нуме…
Конструктивизм в математике и логике
Забудьте всё, что вы знали о правилах! Узнайте, как конструктивизм в математике бр…
Интуиционизм Л. Э. Я. Брауэра
Забудьте о скучных формулах! Погрузитесь в интуиционизм Брауэра и поймите, как че…
Десятая проблема Гильберта и теорема Матиясевича
Погрузитесь в мир математики! Рассказываем, что такое диофантовы уравнения и поче…
Теорема Гёделя и предложение Россера
Хотите понять, почему логика бессильна? Узнайте, как омега-непротиворечивость вли…
Теоремы Гёделя о неполноте
Разбираем, как теоремы Гёделя разрушили мечты о совершенной математике. Узнайте, …
