N’importe quel système de règles? C’est possible mathématiquement ? Peut-on prouver qu’une machine de Turing est capable de représenter et d’appliquer n’importe quelle règle formulée dans un système formel ?
Bon, je te laisse réfléchir à ce sujet passionnant, moi je vais me coucher. :p