Update

content/docs/data-structures/exercises.md

@@ -27,4 +27,14 @@ pour un entier `i` en unaire et une liste `l` telle que `R` contiendra le `i`èm
 
 ### Décimal vers unaire
 
+Proposer une constellation permettant de convertir un entier décimal
+(représenté par une liste de chiffres) en sa représentation unaire.
+
+Note : je n'ai pour l'instant aucune idée de la faisabilité et de la difficulté
+
 ### Unaire vers décimal
+
+Proposer une constellation permettant de convertir un entier unaire en sa
+représentation décimale (liste de chiffres).
+
+Note : je n'ai pour l'instant aucune idée de la faisabilité et de la difficulté

content/docs/introduction/transcendental-syntax.md

@@ -11,7 +11,40 @@ compatibles entre eux. On peut parler de pluralisme logique.
 Les logiques fonctionnent habituellement avec une base calculatoire appelée
 *syntaxe* qui suit les règles dictées par une autre syntaxe de plus haut niveau
 qu'on appelle *sémantique*. En particulier, sont imposés : les objets
-utilisable, leur forme, leurs interactions possibles et les formules ou 
+utilisables, leur forme, leurs interactions possibles et les formules ou 
 spécifications que l'on peut exprimer.
 
-TODO
+Cette action à distance entre deux espaces hermétiques, bien que le fruit de
+notre perception d'une certaine structuration de la réalité, est un frein à la
+manipulation et à la compréhension des mécanismes logiques. La réalité logique
+en tant que telle n'est cependant pas directement accessible
+(comment le serait-elle ?).
+
+Nous ne pouvons reposer notre compréhension de la logique sur des considérations
+arbitraires en apparence bien qu'effectives. Il faut savoir justifier leur
+pertinence et les recontextualiser voire de les *naturaliser* (et peut-être
+ainsi obtenir une *science* de la logique ?).
+La syntaxe transcendantale propose :
+- une réorganisation des concepts du calcul et de la logique pour mettre en
+évidence leurs distinctions et leurs interactions;
+- une rétro-ingénierie de la logique à partir du calcul syntaxique permettant
+de replacer nos connaissances dans un nouvel environnement logique;
+- une justification calculatoire des principes logique.
+
+## Exemple en théorie des automates 
+
+Un automate fini est une machine qui peut lire un mot (lettre par lettre et
+sans mémoire) puis l'accepter ou non.
+On automate peut être caractérisé par l'ensemble de ses mots acceptés formant
+son *langage reconnu*.
+
+Si nous faisons face à un automate quelconque, comment déterminer quel est son
+langage reconnu ? Il y a plusieurs possibilités :
+- analyser l'automate en l'évaluant et en le jugeant (option sémantique que l'on
+souhaite éviter);
+- regarder sa réaction face à tous les mots (option rationnelle mais irréaliste).
+Il s'agit en fait du sens d'usage de Girard;
+- plonger la représentation d'automate et de mot dans un autre espace
+interactionnel plus large dans lequel on pourrait tester (de façon effective)
+la réaction de l'automate face à un nombre fini d'objets permettant de
+déterminer son langage reconnu. Il s'agit en fait du sens d'usine de Girard.

content/docs/techniques/exercises.md

@@ -68,43 +68,43 @@ Prendre la base de connaissance suivante :
 1. Quelle étoile ajouter pour demander si le père d'ana est francisco de telle
 sorte à ce que l'exécution renvoie ok quand c'est bien le cas ?
 
-{{< hint info >}}
+{{< details title="Solution" open=false >}}
 @-father(ana francisco) ok;
-{{< /hint >}}
+{{< /details >}}
 
 2. Même exercice pour demander qui est la mère de joao de telle sorte à ce que
 l'exécution renvoie le nom de la mère de joao.
 
-{{< hint info >}}
+{{< details title="Solution" open=false >}}
 @-mother(joao X) X;
-{{< /hint >}}
+{{< /details >}}
 
 3. Même exercice pour demander qui sont les enfants de roberta et paulo.
 
-{{< hint info >}}
+{{< details title="Solution" open=false >}}
 +children(X M F) -mother(X M) -father(X F);
 @-children(X roberta paulo) X;
-{{< /hint >}}
+{{< /details >}}
 
 4. Définir une constellation qui permet de donner le grand-père d'une personne.
 
-{{< hint info >}}
+{{< details title="Solution" open=false >}}
 +grand-father(X GF) -father(X F) -father(F GF);
-{{< /hint >}}
+{{< /details >}}
 
 5. Définir une requête qui permet de lister toutes les relations de
 petit-fils/grand-père.
 
-{{< hint info >}}
+{{< details title="Solution" open=false >}}
 +grand-father(X GF) -father(X F) -father(F GF);
 @-grand-father(X Y) grand-father(X Y);
-{{< /hint >}}
+{{< /details >}}
 
 6. Donner une nouvelle représentation de la base de connaissance qui permet de
 lister toutes les relations père et mère à l'aide d'une étoile
 `@-parent(R X Y) parent(R X Y)` où `R` correspond à la relation entre `X` et `Y`.
 
-{{< hint info >}}
+{{< details title="Solution" open=false >}}
 ```
 +parent(father francisco paulo);
 +parent(father joao paulo);
@@ -114,4 +114,4 @@ lister toutes les relations père et mère à l'aide d'une étoile
 +parent(mother francisco roberta);
 +parent(mother roberta maria);
 ```
-{{< /hint >}}
+{{< /details >}}