Ensemble des enseignements mathématiques de la modélisation de problèmes concernant la cybernétique, la synthèse des automatismes et l’intelligence artificielle. Hubert Dreyfus cite Carl Sagan, en observant que « même les personnes qui ont un esprit scientiste ont le sentiment que, bien qu’elles soient faites de matière, elles ne sont pas des machines ; cependant, récemment, il leur est de plus en plus répété, comme si cela était évident, que “chaque être humain est un ordinateur superbement construit” et que les ordinateurs se comporteront éventuellement aussi intelligemment que les humains ».