Оглавление
Диалектическое пространство
-
Основы диалектических пространств
- Диалектические пространства – это способ моделирования линейной логики.
- Представлены Валерией де Пайва как способ интерпретации Геделя.
-
Структура диалектических пространств
- Категория C и объект K из C порождают категорию диалектических пространств.
- Объекты в этой категории – пары объектов из C, связанные C-морфизмом в K.
-
Морфизмы диалектических пространств
- Морфизмы в диалектических пространствах отличаются от морфизмов в пространствах Chu.
- Вместо условия равенства используется условие неравенства, соответствующее логической импликации.
-
Историческая справка
- Статья “Конечная точка зрения – диалектика” Геделя была опубликована в 1958 году.
- Работы де Пайвы о диалектических категориях и диалектической модели линейной логики были представлены в различных научных изданиях.
-
Призыв к расширению статьи
- Статья о диалектических пространствах является заглушкой и нуждается в расширении.
- Читателей призывают помочь Википедии, расширив статью о диалектических пространствах.