Cadre logique pour les degrés ludiques. Formalisation d'une question réputée informalisable

Christophe Chalons (1)

1 ELM - Equipe de Logique Mathématique

Cet article est un complément à l'article "paradigme téléphonique". Il place les degrés ludiques dans le cadre de la logique (ils forment un modèle de la logique affine). Pour rappel: les degrés ludiques permettent essentiellement de mesurer la magie des "prodiges" non explicables de toute nature, en particulier, ils ont été définis pour mesurer la "magie quantique" qui n'est pas de la magie "romancée". Mais ils offrent un outil de mesure de toute magie formellement énoncée dans une histoire, une prédiction physique ou un .. roman

Mots clés: degrés ludique; logique linéaire; logique; physique quantique; catégories; topos; fondement; théorie des ensembles

Domaines: Logique [math.LO]

Christophe Chalons. Cadre logique pour les degrés ludiques. Formalisation d'une question réputée informalisable. 2014. ⟨hal-01056193⟩