La cohérence de l'oeuvre de Turing
(
Jean LASSÈGUE, ELSAP)
Séminaire CHM du LIMSI
17-11-98
On insistera sur la cohérence des recherches menées à bien
par Turing.
Elle
peut se résumer en une question : quelle signification attribuer à la
différence calculable / incalculable ?
Signification logique : c'est la
solution négative au problème de l'Entscheidung ;
signification
cryptologique : c'est le décryptage au jour le jour
des messages
codés de
la Kriegsmarine ;
signification cognitive : c'est la modélisation de
l'activité de pensée ;
signification biologique : c'est la modélisation de
la forme biologique ;
signification psychologique : c'est sa réflexion sur
la différence des sexes.
Les rapports entre ces différentes significations
posent le problème des motivations propres
à la création scientifique.