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.

Paris, le 20 novembre 2011.
Nous nous pencherons au cours de cet épisode de notre « saga » sur Turing sur un de ses articles, qui a connu une fortune importante dans le vingtième siècle , à savoir « Théorie des nombres calculables, suivie d’une application au problème de la décision ». C’est en effet à partir de cet article que le concept de « machine de Turing » sera posé par le mathématicien britannique. Nous le ferons en deux temps. Ceci est la première partie.