Alan Turing, sur les traces de l’IA : Episode 10 : la machine de Turing – seconde partie

Paris, le 12 janvier 2012.
Nous reprenons et terminons ici la lecture de l’article de Turing « Théorie des nombres calculables, suivie d’une application au problème de la décision ». On tente de présenter la démonstration de Turing, et son utilisation de son concept de machine, pour finir par quelques réflexions sur quelques conséquences que l’on pourrait envisager sur le concept de symbolique.