The lecture covered the principle of computability in relation to Turing machines.
Le cours a couvert le principe de calculabilité en relation avec les machines de Turing.
The Turing degrees have been an area of intense research since then.
Les degrés de Turing ont dès lors été un domaine de recherche intense.
But here in Turing you helped us do a very good job.
Mais ici à Turin, vous nous avez fait faire du bon travail.
She could not verify that all of them were Turing machines.
Elle ne pouvait vérifier que tous étaient des machines de Turing.
But Turing will not have time to get to know the computer age.
Mais Turing n'aura pas le temps de connaître l'ère des ordinateurs.
These investigations for Turing have taken up too much of my time.
Ces recherches pour Turing ont pris beaucoup trop de mon temps.
It would send Turing's name if you put her in danger.
Le nom de Turing serait sorti si vous la menaciez.
Every countable partially ordered set can be embedded in the Turing degrees.
Chaque ensemble partiellement ordonné dénombrable peut être affecté des degrés de Turing.
What you're doing is not right, Turing.
Ce que tu fais, ce n'est pas bien, Turing.
But I'm sure, they will help, Turing.
Mais je suis sûre qu'il nous aidera, Turing.
Turing asked me to investigate life after death.
Turing m'a demandée d'enquêter sur la vie après la mort.
However, Turing understood the source of the apparent paradox.
Toutefois, Turing compris la source du paradoxe apparent.
An introduction to Turing's computability theory is presented.
Une introduction à la théorie de la calculabilité de Turing est présentée.