TURING in English translation

• turing

Examples of using Turing in French and their translations into English

enfin à la réalisation alarmante que nous nous lançons sur la voie ouverte du préjudice systémique, ironiquement initié par sa victime, Turing.
finally to the alarming realization that we are set on a path towards wide systemic prejudice ironically initiated by its victim, Turing.

Il a souligné que l'explication la plus simple pour l'univers serait une machine de Turing très simple conçu pour exécuter systématiquement tous les programmes possibles de calcul de toutes les histoires possibles pour tous les types de lois de la physique.
He pointed out that a simple explanation of the universe would be a Turing machine programmed to execute all possible programs computing all possible histories for all types of computable physical laws.

Un des premiers utilisateurs suggéra que le choix de Turing de la barre oblique était un choix subconscient de sa part,
One early user suggested that Turing's choice of a forward slash was a subconscious choice on his part,

De la même manière que Turing a utilisé une machine abstraite pour définir formellement la notion d'algorithme,
Like Turing used an abstract machine to describe formally the notion of algorithm, Krivine used an

Thompson reçoivent le prix Turing pour leurs travaux sur la théorie d'un système d'exploitation générique
Thompson received the Turing Award for their development of generic operating systems theory

Il reçoit le prix Turing en 1967, avec la citation:« Le professeur Wilkes est connu comme l'architecte
Wilkes received the Turing Award in 1967, with the following citation:"Professor Wilkes is best known as the builder

Il reçoit de nombreuses autres distinctions honorifiques, entre autres le prix Turing, la National Medal of Science(États-Unis),
He has received various other awards including the Turing Award, the National Medal of Science,

Amir Pnueli a reçu le prix Turing en 1996 pour un« travail fondateur introduisant la logique temporelle en informatique
In 1996, Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program

Il a reçu le prix Turing en 1994, avec Edward Feigenbaum,« pour leurs travaux de pionniers dans les domaines de l'étude et la construction de
In 1994 he and Edward Feigenbaum received the ACM Turing Award"For pioneering the design and construction of large scale artificial intelligence systems,

Graduate Fellow de la National Science Foundation 1986: Prix Turing, avec Robert Tarjan,« pour ses contributions fondamentales à la conception
In 1986 he received the Turing Award(jointly with Robert Tarjan)"for fundamental achievements in the design

Avec W. Hugh Woodin, il a formulé la conjecture de bi-interprétabilité pour les degrés de Turing, conjecture qui affirme que l'ordre partiel des degrés de Turing est logiquement équivalent à l'arithmétique du second ordre.
Slaman and W. Hugh Woodin formulated the Bi-interpretability Conjecture for the Turing degrees, which conjectures that the partial order of the Turing degrees is logically equivalent to second order arithmetic.

puis en 1925 le Turing- Club de Roumanie.
followed in 1925 by the Romanian Touring Club.

un doctorat Ph.D. à l'université Cornell en 1980 sous la supervision de Juris Hartmanis, lui-même un lauréat du prix Turing.
his Ph.D. from Cornell University in 1980 under the supervision of Juris Hartmanis, a Turing award winner at Cornell.

les innovations révolutionnaires ou encore le prix Turing pour le domaine informatique.
Millenium Technology Prize for ground-breaking innovations, and the Turing Award for the computing sector.

Turing ne changea que quelques-uns des codes standard;
Turing changed only a few of the standard encodings;

Alan Turing, qui avait été nommé reader au département de mathématiques de l'université de Manchester en septembre 1948, écrivit le troisième programme,
in mid-July Alan Turing- who had been appointed as a reader in the mathematics department at Manchester University in September 1948- submitted the third program,

Nommé en hommage au mathématicien britannique Alan Turing, lequel est considéré comme le fondateur de la science informatique,
It was named in honour of the British mathematician Alan Turing, who is considered the founder of computer science,

c'est dans les années 30 que les travaux d'Alan Turing, Alonzo Church,
it was only in the 1930s that the work of Alan Turing, Alonzo Church,

le célèbre mathématicien et héros de guerre Alan Turing, la figure centrale de"The Imitation Game.
war hero Alan Turing, the central figure in"The Imitation Game," was born.

est un mathématicien et informaticien, lauréat du prix Turing en 1989 pour ses travaux en analyse numérique.
computer scientist who received the Turing Award in 1989 for"his fundamental contributions to numerical analysis", was named an ACM Fellow in 1994, and inducted into the National Academy of Engineering in 2005.