Le cours a couvert le principe de calculabilité en relation avec les machines de Turing.
The lecture covered the principle of computability in relation to Turing machines.
Les degrés de Turing ont dès lors été un domaine de recherche intense.
The Turing degrees have been an area of intense research since then.
Elle ne pouvait vérifier que tous étaient des machines de Turing.
She could not verify that all of them were Turing machines.
Turing est généralement reconnu comme le père de l'informatique moderne.
Turing is generally accepted as the father of modern computing.
Mais Turing n'aura pas le temps de connaître l'ère des ordinateurs.
But Turing will not have time to get to know the computer age.
Ces recherches pour Turing ont pris beaucoup trop de mon temps.
These investigations for Turing have taken up too much of my time.
Le nom de Turing serait sorti si vous la menaciez.
It would send Turing's name if you put her in danger.
Chaque ensemble partiellement ordonné dénombrable peut être affecté des degrés de Turing.
Every countable partially ordered set can be embedded in the Turing degrees.
Je ne suis pas d'humeur pour un test Turing.
I'm not in the mood for a Turing test.
C'est Turing, l'ami d'enfance dont je t'ai parlé.
Boy, this is Turing, the guy I'm telling you about.
Ce que tu fais, ce n'est pas bien, Turing.
What you're doing is not right, Turing.
Mais je suis sûre qu'il nous aidera, Turing.
But I'm sure, they will help, Turing.
Turing m'a demandée d'enquêter sur la vie après la mort.
Turing asked me to investigate life after death.
