Парадокс мафиози в деонтической логике
Хотите понять, в чем прикол парадокса мафиози? Рассказываем простыми словами о сл…
Рубрика: Математика
Анализ неопределенности: Теория Демпстера-Шафера и байесовский метод
Разбираемся, как анализ неопределенности помогает видеть истину сквозь шум. Теор…
Трехзначная логика Стивена Клини
Забудьте о простых ответах! Узнайте, как трехзначная логика Клини работает с неоп…
Предтопосы как логическая база без аксиомы степенного множества
Понятие предтопоса и его структурные особенности Предтопос, категория с конечными пределами, дизъюнктивными суммами и эффективными эквивалентностями. Она структурирует определенные элементы и морфизмы. Роль аксиомы степенного…
Кумулятивная иерархия фон Неймана и основы теории множеств
Погрузитесь в тайны аксиоматики ZFC! Разберем, как устроена вселенная множеств и по…
Теория ультрастепеней и нестандартный анализ
Забудьте всё, что вы знали о числах! Теория ультрастепеней открывает дверь в мир б…
Теория топосов Гротендика: новый фундамент математики и науки
Забудьте про скучные множества! Теория топосов Гротендика открывает мир динамиче…
Роль аксиомы пустого множества в системе ZFC
Разбираемся, почему аксиома пустого множества — это главный «кирпич» ZFC. Узнайте, …
Арифметика Пресбургера
Забудьте про умножение! Откройте для себя, что такое арифметика Пресбургера и как …
Синтаксис и семантика в логических системах
Хватит путать форму и смысл! Разбираем, как устроены логические системы: от сухих …
