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.

Je voudrais tenter ici de donner quelques points de repères quant au contexte mathématique (le programme de Hilbert principalement) dans lequel Turing va se former, puis produire ses premiers travaux. Je m’excuse d’emblée du fait que ce qui suit me semble après-coup un peu flou. Cela est dû à mes propres lacunes en mathématiques.
Paris, le 03/06/2011.