TURING IN SPANISH TRANSLATION

• turing

Examples of using Turing in English and their translations into Spanish

Perhaps the most important difference between the two projects is that Ethereum's internal code is Turing complete, which means that literally everything can be calculated as long as there is enough computing power
Quizás la diferencia más importante entre los dos proyectos es que el código interno de Ethereum es Turing completo, lo que significa que literalmente todo puede ser calculado siempre y cuando haya

Both Turing and Claude Shannon had discussed idealized versions of this concept,
Tanto Turing como Claude Shannon habían discutido versiones idealizadas de este concepto,

The data compression test has some advantages over most versions and variations of a Turing test, including: It gives a single number that can be directly used to compare which of two machines is"more intelligent.
La prueba de compresión de información tiene ciertas ventajas sobre la mayoría de las versiones de la prueba de Turing incluyendo: Da un único número que puede ser usado directamente para comparar cuál de las dos máquinas en más inteligente.

which we have decided to baptize with the name of SIE Ladon Alan Turing, in honor of the famous mathematician,
que hemos decidido bautizar con el nombre de SIE Ladon Alan Turing, en honor al célebre matemático,

it was Alan Turing who put forward the definitive formalisation of the algorithm with his Universal Machine in 1937.
fue Alan Turing quien, en 1937, propuso la formalización definitiva del algoritmo con su máquina universal.

the mathematical model of Turing and the contributions of the eminent mathematical von Neumann and Wiener.
el modelo matemático de Turing y las aportaciones de los eminentes matemáticos von Neumann y Wiener.

Alan Turing, Andrés Vesalio
Alan Turing, Andrés Vesalio

The outward analysis of the emergence of intelligence(a la Turing Test) brings about a whole host of interesting questions,
El análisis externo de la aparición de la inteligencia(una prueba de Turing la) trae consigo toda una serie de preguntas interesantes,

Backus, at the 1977 ACM Turing Award lecture, assailed the current state of industrial languages
Backus, en la conferencia del Premio Turing de 1977, asedió el estado actual de los lenguajes industriales

Lambda calculus is known to be computationally equivalent in power to many other plausible models for computation(including Turing machines); that is,
El cálculo lambda es computacionalmente equivalente en poder a muchos otros modelos plausibles para el cómputo(máquinas de Turing incluidas); es decir, cualquier cálculo que

This result was established independently by Alonzo Church and Alan Turing in 1936 and 1937, respectively, giving a negative answer to the Entscheidungsproblem posed by David Hilbert in 1928.
Este resultado fue alcanzado de manera independiente por Alonzo Church en 1936 y por Alan Turing en 1937, dando así una respuesta negativa al Entscheidungsproblem planteado por David Hilbert en 1928.

In his 1977 Turing award lecture, Backus set forth
En su discurso de aceptación del Premio Turing en 1977, Backus describió lo que considera

If one defines the analogue to NP-complete with Turing reductions instead of many-one reductions,
Si se definen el análogo a NP-completo con reducciones de Turing en lugar de reducciones many-one,

showed that a universal Turing machine could be made both logically
se podía hacer una máquina de Turing universal que fuese reversible tanto lógica

During the Long Now Turing Test, each of three Turing test judges will conduct online interviews of each of the four Turing test candidates(i.e.,
Durante la prueba de Turing de Long Now, cada uno de los tres jueces realizara entrevistas a cada uno de los cuatro participantes(p.e. la computadora y tres humanos)

In his 1948 essay,"Intelligent Machinery", Turing wrote that his machine consisted of:… an unlimited memory capacity obtained in the form of an infinite tape marked out into squares,
Refiriéndose a su publicación de 1936, Turing escribió que la máquina de Turing, aquí llamada una máquina de computación lógica, consistía en:… una ilimitada capacidad de memoria obtenida en la forma de

only conscious entities can pass the Turing test, before we can conclude that a robot is an artificial intelligence the robot must pass the Turing test.
solo las entidades conscientes pueden pasar la prueba de Turing, antes de que podamos concluir que un robot es una inteligencia artificial, el robot debe pasar la prueba de Turing.

experts dismiss the possibility that any could pass the Turing Test.
los expertos descartarán la posibilidad de que alguna pueda pasar el test de Turing.

whose work on lambda calculus intertwined with Turing's in a formal theory of computation known as the Church-Turing thesis.
cuyo trabajo sobre el cálculo lambda se entrelaza con el de Turing en una teoría formal de la computación conocida como la tesis de Church-Turing.

The famous test proposed by Alan Turing in 1959 is one of these poisoned chalices,
El famoso test propuesto por Alan Turing en 1950 es uno de estos regalos envenenados,