Система Мицар
Система Mizar Система Mizar Mizar — это формальный язык для математических определений и доказательств с автоматическим помощником проверки. Проект Mizar […]
Вики
Крупномасштабные проекты математической формализации
Вики
Реализация математики в теории множеств
Применение математики в теории множеств Основы теории множеств Теория множеств — это раздел математики, изучающий свойства множеств. Множество — это
Вики
Принципы математики
Математические принципы PM — это аксиоматическая система, разработанная Бертраном Расселом и Альфредом Уайтхедом. PM представляет собой попытку создать единую систему
Вики
Николя Бурбаки
Николя Бурбаки Группа Бурбаки — математическое сообщество, основанное в 1930-х годах. Группа стремилась создать единую математическую теорию, основанную на теории