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 d’avancer quant au programme de Hilbert, et les questions qui en découlent : consistance, complétude et surtout la question de la décidabilité qui va se trouver liée à celle de calculabilité. Encore un fois, je m’excuse d’emblée de mes propres lacunes en mathématiques.
Paris, le 22/08/2011.