Examples of using Computabilidad in Spanish and their translations into English
{-}
-
Colloquial
-
Official
Teoría de la computabilidad.
Löb hizo investigaciones en teoría de la demostración,lógica modal y teoría de la computabilidad.
Teoría de la computabilidad- Wikipedia, la enciclopedia libre.
Editar La Universidad y sus estudios sobre computabilidad.
Edit University and work on computability.En teoría de la complejidad y en la teoría de la computabilidad, una máquina oráculo es una máquina abstracta usada para estudiar problemas de decisión.
In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems.
Esta solo es una de tantas maneras de definir computabilidad;
This is one of the many ways to define computability;En su declaración,el menciona"los problemas científicos básicos de computabilidad que no pueden ser resueltos sólo por la capacidad de los computadores.
In his Declaration,he mentions"basic scientific problems of computability which cannot be solved by more computing power alone.Aprendizaje del tema"Decidibilidad,semi-decidibilidad, computabilidad.
Learning the subject"Decidability(recursivity),semi-decidability(recursive enumerability), computability.Con Claude Elwood Shannon hizo un trabajo seminal sobre la teoría de la computabilidad y construyó circuitos confiables utilizando relés menos confiables.
With Claude Shannon he did seminal work on computability theory and built reliable circuits using less reliable relays.La teoría de autómatas, los lenguajes formales yla Dinámica de sistemas se relacionan de manera cercana con la computabilidad.
Automata theory andformal language theory are closely related to computability.Por un lado,tenemos la mayor diversidad posible y, por el otro, computabilidad e interoperabilidad semántica.
On one hand you have thegreatest possibility of diversity, and on the other you have computability and semantic interoperability.En teoría de la computabilidad, uno de los problemas básicos no decidibles es el de decidir si una máquina de Turing determinista(DTM) se detieneproblema de la parada.
In computability theory, one of the basic undecidable problems is the halting problem: deciding whether a deterministic Turing machine(DTM) halts.Estos desarrollos han llevado a los estudios modernos de la lógica y computabilidad, y de hecho al campo de las ciencias de la computación teórica como un todo.
These developments have led to the modern study of logic and computability, and indeed the field of theoretical computer science as a whole.
Teoría de la computabilidad- rama de la lógica matemática y ciencias de la computación que se originó en la década de 1930 con el estudio de las funciones computables y grados de Turing.
Computability theory- branch of mathematical logic and computer science that originated in the 1930s with the study of computable functions and Turing degrees.El teorema de Matiyasevich/MRDP relaciona dos conceptos, uno procedente de la teoría de la computabilidad, y el otro de la teoría de números, y tiene algunas consecuencias inesperadas.
The Matiyasevich/MRDP Theorem relates two notions- one from computability theory, the other from number theory- and has some surprising consequences.La computabilidad estudia lo que puede ser computado y tiene lazos fuertes con la lógica, mientras que la complejidad estudia el tiempo que se necesita para hacer los cálculos.
Computability studies what can be computed in principle, and has close ties to logic, while complexity studies the time, space, and other resources taken by computations.En un esfuerzo por resolver esta pregunta, la teoría de la computabilidad examina qué problemas computacionales se pueden resolver en varios modelos teóricos de cómputo.
In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation.El lenguaje K, K es semi-decidible pero no decidible, reducciones para demostrar no decidibilitdad y no semi-decidibilidad,equivalencia entre no semi-decidibilidad y no computabilidad.
The language K, K is semi-decidable but non-decidable, reductions for proving non-decidability andnon-semi-decidability, equivalence between non-semi-decidability and non-computability.Esta sólo es una de tantas maneras de definir computabilidad; véase tesis de Church-Turing para una discusión, otras aproximaciones y sus equivalencias.
This is one of the many ways to define computability; see the Church-Turing thesis for a discussion of other approaches and their equivalence.Lenguajes decidibles, lenguajes semi-decidibles, funciones computables, operaciones de cierre, teorema del complementario, teorema de proyección,conexiones entre semi-decidibilidad y computabilidad.
Decidable(recursive) languages, semi-decidable(recursively enumerable) languages, computable functions, closure operations, complementation theorem, projection theorem,connexions between semi-decidability and computability.En teoría de la computabilidad se demuestra que las funciones recursivas son precisamente las funciones que pueden ser calculadas con el formalismo de cómputo más general conocido como lo son las máquinas de Turing.
In computability theory, it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines.En el transcurso de ese año, Gödel también desarrolló ideas sobre la computabilidad y la función recursiva, e impartió una conferencia sobre dichas funciones y sobre el concepto de verdad.
During this year, Gödel also developed the ideas of computability and recursive functions to the point where he was able to present a lecture on general recursive functions and the concept En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.
In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer.Aunque en un principio era algo un tanto escéptico, alrededor del año 1946, Gödel defendió esta tesis:"Tarksi ha subrayado en su lectura(y creo justamente)la gran importancia del concepto de recursividad general o computabilidad de Turing.
Although initially skeptical, by 1946 Gödel argued in favor of this thesis:"Tarski has stressed in his lecture(and I think justly)the great importance of the concept of general recursiveness or Turing's computability.Hoy en día, la teoría de la computabilidad se ocupa principalmente del problema más refinado de las clases de complejidad(¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.
Today recursion theory is mostly concerned with the more refined problem of complexity classes-when is a problem efficiently solvable?-and the classification of degrees of unsolvability.El trabajo de Hilbert había empezado lógico en su camino a la clarificación;la necesidad de entender el trabajo de Gödel llevó entonces al desarrollo de la teoría de la computabilidad y después de la lógica matemática como disciplina autónoma en la década de 1930-1940.
Hilbert's work had started logic onthis course of clarification; the need to understand Gödel's work then led to the development of recursion theory and then mathematical logic as an autonomous discipline in the 1930s.El concepto de enumerabilidad recursiva pertenece al ámbito de la teoría de la computabilidad, también llamada teoría de la recursión, cuyo desarrollo aportó una explicación precisa de la noción intuitiva de computabilidad algorítmica, dando pleno rigor al concepto de enumerabilidad recursiva.
It was the development of computability theory(also known as recursion theory) that provided a precise explication of the intuitive notion of algorithmic computability, thus making the notion of recursive enumerability perfectly rigorous.Shavit es co-autor dellibro The Art of Multiprocessor Programming, y ganador en 2004 del Premio Gödel en informática teórica por su trabajo en herramientas de topología algebraica como aplicación para la computabilidad de modelos de memoria compartida.
Shavit is a co-author of the book The Art of Multiprocessor Programming,is a winner of the 2004 Gödel Prize in theoretical computer science for his work on applying tools from algebraic topology to model shared memory computability, and a winner of the 2012 Dijkstra Prize for the introduction and first implementation of software transactional memory.Conviene recordar que ciertas estipulaciones sobre la computabilidad de un contrato de suministro basadas en el origen geográfico de las mercancías podrían entrar en conflicto con alguna disposición legal o reglamentaria imperativa sobre libertad comercial promulgada en aplicación del Acuerdo General sobre Aranceles Aduaneros y Comercio GATT.
It should be noted that stipulations on eligibility of supply contracts based on the geographical origin of goods might conflict with mandatory rules of competition law and rules adopted pursuant to the General Agreement on Tariffs and Trade GATT.A pesar de que cada técnica usa, en cierto grado, el distanciamiento de el público con relación a sus centros de cálculo para aislar las áreas de controversia sobre las mediciones yasí mantienen un grado de fe pública en la idea abstracta de la computabilidad, en ambos casos, mientras la gente más se familiariza con las prácticas de contabilidad relevantes, éstas se tornan menos atendibles y más refutadas.
Although each technique to a certain extent uses the public's distance from its centres of calculation to‘black-box' areas of measurement controversy, andthus maintain some public faith in the abstract idea of computability, in both cases, the more intimately acquainted people become with the relevant accounting practices, the less plausible and more contested they become.
