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