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