Le but ultime de l’arithmétique est d’éliminer la pensée de l’arithmétique afin qu’elle puisse être exécutée par une machine fabuleusement rapide et précise, mais complètement stupide. Grâce aux travaux de Leibniz, le calcul binaire est apparu en Europe vers 1697. ...