Pablo Donato
e9e2585db1
|
3 years ago | |
|---|---|---|
| README.md | 3 years ago | |
README.md
Bibliographie commentée du Cercle Transcendantaliste
Introduction à la logique
- “Aristote et l’électricien : le branchement des idées” (French video) – Paolo Pistone
- “D’une logique à l’autre” (French video) – Laurent Regnier
Flots
Une série de deux présentation sur les flots en GoI.
La partie II explique la construction des flots et la représentation des exponentielles.
Introduction à la syntaxe transcendantale
- nLab page on Transcendental Syntax – Boris Eng
- “A gentle introduction to Girard’s Transcendental Syntax for the linear logician” – Boris Eng
- “Towards a resource based approximation theory of programs” (PhD thesis, section 5.3) – Davide Barbarossa
- “Towards a resource based approximation theory of programs” (PhD thesis, section 5.3) – Davide Barbarossa
Interaction
- “Information, Processes and Games” (section 1 & 5) – Samson Abramsky
- “Symmetry and interactivity in Programming” – Pierre-Louis Curien
Ludique
On peut voir la ludique comme une version alpha de la syntaxe transcendentale, qui met complètement de côté l'usine pour se concentrer sur l'usage. On arrive déjà à expliquer les additifs, le second ordre, et avec un peu de travail les exponentielles. Mais bien sûr sans parler de critères de correction.
On pourra s'y intéresser:
- comme première tentative de conceptualisation technique de l'usage, riche en terminologie et théorèmes;
- comme point de référence/comparaison en tant que substrat calculatoire fécond pour la logique.
Introductions techniques:
- "Locus Solum" -- Jean-Yves Girard ~ L'article fondateur. Un must-read pour les amateurs d'excentrisme.
- "La ludique" -- Thomas Seiller ~ Une version compréhensive et synthétique de Locus Solum.
- "Introduction to linear logic and ludics, Part II" -- Pierre-Louis Curien ~ Très orienté sur la syntaxe, pour les informaticiens.
Introductions non-techniques:
Applications à l'informatique:
- "Computational ludics" -- Kazushige Terui ~ Première version moniste de la théorie des langages/automates, avec en vue la théorie de la complexité.
- "Towards Ludics Programming: Interactive Proof Search" -- Alexis Saurin ~ Comprendre le statut logique des opérateurs de recherche de preuve en programmation logique, style
cut(pourrait s'étendre aux langages de tactiques dans les assistants de preuve). - "On the infinitary proof theory of logics with fixed points" -- Amina Doumane ~ Induction, co-induction, model-checking
- "Ludics and Web: Another Reading of Standard Operations" -- Christophe Fouqueré ~ Systèmes de types pour l'interaction sur le web
Applications à la linguistique:
- "Une introduction à la Ludique et à ses applications à la Pragmatique" -- Alain Lecomte, Myriam Quatrini, Marie-Renée Fleury-Donnadieu
- "Dialogues in Ludics -- Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon"
Anti realisme
- “Radical anti-realism and substructural logics” – Jacques Dubucs & Mathieu Marion
- “Which Logic for the Radical Anti-Realist?” – Denis Bonnay & Mikaël Cozic
Intuitions sur l'usine et l'usage de Girard
Graphes de Partage
Des objets proches des réseaux d'interaction, qui représentent des lambda-termes.
Systèmes et jeux ouverts
Domaines de la théorie des catégories et de la théorie des jeux qui visent à décrire des "systèmes ouverts", que l'on voit comme des ensembles d'éléments interconnectés et connectables à d'autres éléments extérieurs, et où l'on s'intéresse à la composabilité des propriétés des systèmes.
Potentiellement rattachables à la résolution stellaire: peut-on présenter une constellation comme un système ouvert ? Ou comme une « bibliothèque » de composants de systèmes ouverts ?
Les systèmes ouverts sont peut-être une piste vers une extension catégorique de la réolution stellaire.