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