Bin, je pense qu'il est possible de démontrer qu'un système électronique aussi, n'a pas d'autres sorties possibles que celles désirées. Je dirais même que si ce n'était pas le cas, il serait difficile de le faire pour un programme qui tourne au dessus d'électronique.
[^] # Re: Les mathématiques Formels
Posté par Vador Dark (site web personnel) . En réponse au journal L'expressivité des langages. Évalué à 3.