Machine de Turing et théorie de la calculabilité : l'expérience de pensée d'Alan Turing et le « problème de l'arrêt »
