Machine de Turing
03 Mars 2021
Pour résoudre le problème fondamental de la décidabilité en arithmétique, le mathématicien Alan Turing a présenté en 1936 une expérience de pensée que l'on nommera ensuite machine de Turing, ainsi...
