Математические принципы
- PM — это аксиоматическая система, разработанная Бертраном Расселом и Альфредом Уайтхедом.
- PM представляет собой попытку создать единую систему логики, основанную на аксиомах и правилах вывода.
- PM включает аксиомы, такие как аксиома сводимости и аксиома бесконечности.
- В PM объекты являются элементами различных непересекающихся типов.
- Разветвленные типы создаются неявно, и существует аксиома сводимости, утверждающая, что для каждой непредикативной функции существует предикативная функция с одинаковыми значениями.
- В теории множеств Цермело можно смоделировать теорию разветвленных типов PM.
- Нотация в PM была заменена последующим развитием логики в течение 20-го века.
- PM требует определения того, что означает строка символов в терминах других символов.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: