Mathématique et Informatique - Gallium - Inria
... universelle s'est évanoui avec la destruction par Gödel du programme de
Hilbert. ..... Il s'agit de la question: Quelle est la borne inférieure au coût de tout ...
circuits combinant les automates finis synchrones avec des opérateurs booléens.
... de théorie de la démonstration telles que la logique linéaire non commutative.