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.
Paris, le 15 septembre 2011.
On explorera ici l’imaginaire et son lien avec la science dans l’analyse qu’en produit Cassou-Noguès à partir de ses livres « Les démons de Gödel » et « Une histoire de machines, de vampires et de fous ».
Paris, le 1 septembre 2011. Le livre : « Une histoire de machines, de vampires et de fous » L’auteur : Pierre Cassou-Noguès est né en 1971, il est philosophe et chercheur au CNRS. Il enseigne à l’université Lille III. Il a travaillé en philosophie des sciences et s’intéresse actuellement aux rapports entre science et [...]
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.
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.