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.

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.

Alan Turing entre au King’s College. Cela lui permet une certaine émancipation. Turing s’intéresse de plus en plus aux mathématiques pures…
Paris, le 3 mai 2011.

Les travaux d’Alan Turing en logique mathématique se situent aux origines du mouvement de la cybernétique, qui elle-même alimentera les recherches aboutissant à la création des sciences cognitives. Lacan s’inscrit dans ce même siècle, mais s’intéressera à ces travaux, y compris la cybernétique, d’une toute autre manière. Cet épisode nous y introduit…
Paris, le 18 avril 2011.