Людики
-
Основы ludics
- Логическая логика анализирует принципы вывода математической логики.
- Ludics использует сложные связки, фокусировку и локусы вместо предложений.
-
Связь с игровой семантикой
- Ludics следует парадигме интерактивных вычислений, подобно игровой семантике.
-
Абстрактный синтаксис информатики
- Локусы рассматриваются как указатели на память, обеспечивая абстрактный синтаксис.
-
Достижения ludics
- Открытие взаимосвязи между типами и пропозициями.
- Теоретико-доказательная интерпретация Генцена и вычислительная интерпретация Брауэра-Хейтинга-Колмогорова.
-
Система Ludics
- Предложена логиком Жан-Ивом Жираром.
- Статья «Locus solum» содержит эксцентричные иллюстрации.
-
Цель и доступность
- Закрепление точки зрения Жирара и понимание ludics независимо от происхождения.
- Внешние ссылки на статью и читательскую группу Жирарда.