Ce numéro spécial, édité à l’occasion du centenaire de la naissance d’Alan Turing, est le fruit d’une double collaboration : d’une part une collaboration internationale qui exprime via internet l’importance de l’année Turing, d’autre part une collaboration locale régulière entre des chercheurs de l’équipe TYPES du Laboratoire Lorrain de Recherche en Informatique (LORIA) qui s’intéressent à la logique, la théorie de la preuve et la programmation, et des philosophes et logiciens du Laboratoire d’Histoire des Sciences et de Philosophie, Archives Henri Poincaré. Dans ce contexte il paraissait important de marquer le centenaire de la naissance d’Alan Turing par un numéro spécial de Philosophia Scientiœ avec des articles portant sur un des thèmes suivants : les travaux de Turing dans l’histoire de la logique mathématique, les travaux de Turing du point de vue philosophique et l’influence de Turing sur la logique.
Si l’on reprend les différents articles, notamment de vulgarisation, écrits à...
