Turing

Machines de Turing et théorie de la calculabilité
La principale forme de calculabilité étudiée dans la théorie de la calculabilité a été introduite par Turing (1936). Une fonction f des nombres nature...