Si nous envisageons l'ensemble du système des mathématiques comme une excellente machine à prouver les théorèmes, alors nous devons dire, par l'intermédiaire du Modus, qu'un tel moteur est vivant, et qu'il pourrait tout à fait prouver sa propre vie, s'il pouvait développer la capacité de se regarder lui-même.
Auteur:
Info: The Difference Engine 1991. Ecrit avec Bruce Sterling
Commentaires: 0