Lord Foxhole a écrit :
En tous cas, avant d'être embarqué dans l'aventure de Bletchley Park, la vie de Turing a certainement été passée au crible par les autorités militaires. Donc, elles devaient forcément déjà être au courant pour son homosexualité...
Avant-guerre, Alan Turing était un mathématicien de renommée mondiale. Il a certainement fait l'objet de l'enquête habituelle, mais sans doute davantage pour vérifier que son entourage et ses fréquentations habituelles n'avaient pas de liens avec l'Allemagne. Mais vous avez raison, son homosexualité était connue des militaires, c'est certain. (C'est même pour cette raison qu'avec la Guerre Froide ils ont décrété qu'il représentait un "security risk" : l'époque était à la paranoïa, qui fit sans doute plus de dégâts que l'espionnage lui-même.)
Avant guerre, Alan Turing avait démontré un complément du fameux théorème d'incomplétude de Gödel.
Kurt Gödel, mathématicien autrichien (il terminera sa vie naturalisé américain, à Princeton) avait consterné la communauté des mathématiciens en prouvant que "dans tout système cohérent d'axiomes, il existe des "propositions indécidables."
Propositions indécidables : il s'agit d'affirmations (ils disent "des conjectures") dont on ne pourra jamais démontrer si elles sont vraies ou fausses. Une illustration peut être donnée - mais je ne suis pas mathématicien - par le fameux paradoxe :"un menteur affirme qu'il vient de mentir. Dit-il la vérité, ou pas ?" On voit l'idée.
Grosse inquiétude chez les mathématiciens ! Autant leur annoncer qu'ils travaillent dans un champ de mines, là où ils pensaient être dans le temple scientifique de l'exactitude. (ils en viendront, par exemple, à se demander si le dernier théorème de Fermat, qu'on n'avait pas réussi à démontrer en 3 siècles, faisait partie de ces embuches.)
Alan Turing, lui aussi logicien, avait ajouté un clou au cercueil en démontrant qu'on ne pourrait jamais prévoir si une conjecture était indécidable ou pas. (Autrement dit, on pouvait parfaitement commencer un travail de thèse sur la démonstration - par nature impossible - d'une proposition indécidable, sans avoir la possibilité de savoir qu'on avait posé le pied sur une mine.) On imagine que tout cela ne réjouissait pas les mathématiciens. En revanche ces deux logiciens devinrent rapidement des célébrités mondiales.
En pratique, il semble heureusement que les propositions indécidables soient plutôt rares.