TURING in French translation

it was only in the 1930s that the work of Alan Turing, Alonzo Church,

c'est dans les années 30 que les travaux d'Alan Turing, Alonzo Church,

war hero Alan Turing, the central figure in"The Imitation Game," was born.

le célèbre mathématicien et héros de guerre Alan Turing, la figure centrale de"The Imitation Game.

Turing does not specify the precise skills and knowledge required by the interrogator

Les compétences précises et les connaissances requises par l'interrogateur ne sont pas précisées par Turing dans sa description de l'essai,

or a universal Turing machine, as suggested by Schmidhuber(1997),

ou une machine de Turing universelle, comme l'a suggéré Schmidhuber(1997),

The set X′ is called the Turing jump of X. The Turing jump of a degree is defined to be the degree;

L'ensemble X'est appelé le saut de Turing de X. Le saut de Turing d'un degré est défini comme étant le degré;

A function f is space-constructible if there exists a Turing machine M which, given a string 1n consisting of n ones, outputs the binary(or unary)

Une fonction f est constructible en espace s'il existe une machine de Turing M qui prend en entrée un mot 1n constitué de n uns,

For example, a Turing machine state is the complete sequence of symbols on its tape plus the head's position

Par exemple, l'état d'une machine de Turing est la séquence complète de symboles sur son ruban plus la position de la tête

In the first definition, a function f is called time-constructible if there exists a positive integer n0 and Turing machine M which, given a string 1n consisting of n ones, stops after exactly f(n) steps for all n≥ n0.

Il y a deux définitions de fonction constructible en temps: Une fonction f est constructible en temps s'il existe un entier positif n0 et une machine de Turing M qui prend en entrée un mot 1n constitué de n uns et s'arrête après exactement f(n) étapes pour tout n ≥ n0.

Similarly, a function f is space-constructible if there exists a positive integer n0 and a Turing machine M which, given a string 1n consisting of n ones, halts after using exactly f(n) cells for all n≥ n0.

Similairement, il y a deux définitions de fonction constructible en espace: Une fonction f est constructible en espace s'il existe un entier positif n0 et une machine de Turing M qui prend en entrée un mot 1n constitué de n uns, s'arrête en ayant utilisé exactement f(n) cases du ruban pour tout n ≥ n0.

the turn left and go ahead till the second street turing to left where the hotel is located.

le virage à gauche et aller de l'avant jusqu'à la deuxième rue à gauche de Turing où l'hôtel est situé.

Mathematician Alan Turing, who had been appointed to the nominal post of Deputy Director of the Computing Machine Laboratory at the University of Manchester in September 1948,

Le mathématicien Alan Turing, qui avait été nommé au poste symbolique de directeur adjoint au laboratoire des machines à calculer de l'université de Manchester en septembre 1948,

In 1976, the Turing Award was awarded jointly to Rabin

La citation pour le prix Turing, attribué en 1976 conjointement à Michael Rabin

As the database grows the Turing Normalizing Machine develops a more intricate model of normal-appearance, and moves us closer to our research goal:

Au fur et à mesure que la base de données augmente, la Turing Normalizing Machine développe un modèle de plus en plus précis de l'apparence« normale», et nous rapproche de

a life size statue of Alan Turing, the founder of computer science

une statue grandeur nature d'Alan Turing, le fondateur de l'informatique

he introduced alternating Turing machines in computational complexity(with Dexter Kozen

le concept de machine de Turing alternante en théorie de la complexité(avec Dexter Kozen

5 Foundations of cognitive science Symbol grounding, Turing test, consciousness.

5 fondements des sciences cognitives fondement des symboles, test de Turing, conscience.

Furthermore, the Turing degrees are partially ordered so that if the Turing degree of a set X is less than the Turing degree of a set Y then any(noncomputable) procedure that correctly decides whether numbers are in Y can be effectively converted to a procedure that correctly decides whether numbers are in X. It is in this sense that the Turing degree of a set corresponds to its level of algorithmic unsolvability.

En outre, les degrés de Turing sont partiellement ordonnés de telle sorte que si le degré de Turing d'un ensemble X est inférieur au degré de Turing d'un ensemble Y, alors toute procédure(récursive) qui décide correctement si les nombres sont dans Y peut être efficacement convertie en une procédure qui décide correctement si les nombres sont dans X. Ainsi, le degré de Turing d'un ensemble correspond à son niveau d'insolubilité algorithmique.

streets of Tel Aviv; Kriegspiel-a computer game version of the Situationist Game of War; the Turing Normalizing Machine-exploring algorithmic prejudice;

Kriegspiel- une version de jeu d'ordinateur du jeu situationniste Game of War; la Turing Normalizing Machine- qui explore le préjudice algorithmique;

If X≡T Y and Y≡T Z then X≡T Z. A Turing degree is an equivalence class of the relation≡T. The notation denotes the equivalence class containing a set X. The entire collection of Turing degrees is denoted D{\displaystyle{\mathcal{D.

Y ≡T Z alors X ≡T Z. Un degré de Turing est une classe d'équivalence de la relation ≡T. La notation désigne la classe d'équivalence contenant un ensemble X. La collection entière de degrés de Turing est notée D{\displaystyle{\mathcal{D.

Professor Turing?

Professeur Turing?