Перейти к основному содержимому

v0.2.0

Diakrisis Noesis AFN-T Maximality Теоремы

Введение в Diakrisis
0. Основания проекта
1. Феномен различения
2. Канонический примитив
3. Формальная архитектура
4. Извлечения оснований
5. Сборки
6. Пределы формализации
7. Методология
- Рекурсивные аудиты
- Негативные уроки NL-1..NL-15
8. Исторический контекст
9. Применения и Путь Б
10. Справочник
12. Актика (ДЦ-дуал)

7. Методология

Методология

📄️Рекурсивные аудиты

Статус

📄️Негативные уроки NL-1..NL-15

Статус

Предыдущая страница

Meta-classification уровень 5+

Следующая страница

Рекурсивные аудиты

Документация

Введение
Что такое Diakrisis
Канонический примитив
Формальная архитектура

Ключевые результаты

AFN-T (граничная лемма)
Maximality proofs (103.T–106.T)
Meta-classification (100.T–102.T)
Classifying Space (43.T1)
УГМ-сборка (UFH / 85.T)

Справочник

Глоссарий
Каталог аксиом
Каталог теорем
Статус gap

Связанные проекты

УГМ Theory (website)
Verum language

Diakrisis v0.2.0 · формальный корпус теории артикуляции оснований.