Ordinateur
Un ordinateur est un système de traitement de l'information programmable tel que défini par Alan Turing et qui fonctionne par la lecture séquentielle d'un ensemble d'instructions, organisées en programmes, qui lui font exécuter des opérations logiques et arithmétiques. Sa structure physique actuelle fait que toutes les opérations reposent sur la logique binaire et sur des nombres formés à partir de chiffres binaires. Dès sa mise sous tension, un ordinateur exécute, l'une après l'autre, des instructions qui lui font lire, manipuler, puis réécrire un ensemble de données déterminées par une mémoire morte d'amorçage. Des tests et des sauts conditionnels permettent de passer à l'instruction suivante et donc d'agir différemment en fonction des données ou des nécessités du moment ou de l'environnement.
Philosophie de la technique
Une machine classique reproduit indéfiniment une opération matérielle correspondant à une intention donnée, par exemple tisser un vêtement. La machine informatique, elle, simule des opérations de pensée. Le langage joue là un rôle essentiel, puisqu'un symbole a une face matérielle, manipulable, et une face idéelle. Le propre d'un raisonnement est de s'enchaîner rigoureusement, à la manière d'un automate spirituel. Les mathématiques permettent de formaliser à l'aide d'un langage unique la logique, le fonctionnement des machines et… les mathématiques elles-mêmes. Un programme applique une séquence d'opérations définies aux données entrées dans la machine. La machine explore sans se fatiguer et à une vitesse déconcertante toutes les voies possibles. Plus généralement, elle peut enchaîner un nombre immense d'opérations élémentaires. Enfin, la machine met en rapport beaucoup plus de données que nous ne pouvons le faire, et découvre ainsi des connexions imprévues (Jean-Gabriel Ganascia).