Similar context phrases
Translation examples
—Curso computado, y cerrado —dijo Lambert, un momento después—.
— Route calculée et intégrée, dit Lambert, un moment plus tard.
La trayectoria computada indicaba que equipararíamos velocidades a una distancia de tres kilómetros.
Les trajectoires calculées par l’ordinateur indiquaient que nos vitesses concorderaient à une distance de trois kilomètres.
Habían temido por su destino desde que fueron arrancados de sus hogares, pero este parecía ser peor de lo que cualquiera de sus circuitos para predecir el futuro podría haber computado.
Ils avaient vu leur destin bouleversé depuis qu’ils avaient été arrachés à leur foyer, et la réalité se révélait pire que tout ce que leurs programmes de prédiction avaient pu calculer.
El Consejo de la Sabiduría ha computado los siguientes términos de rendición: Todas las fuerzas humanas deben cesar inmediatamente las hostilidades contra las fuerzas del Imperio Duglaari.
Il en a calculé les termes comme suit : toutes les forces humaines doivent immédiatement suspendre les hostilités à l’encontre des forces doglaaris.
- Bueno, suponiendo que asumiéramos el control a tiempo y dispusiéramos de múltiples órbitas alternativas computadas... hum, tal vez podríamos arreglarnos.
— Eh bien, en supposant que nous puissions reprendre le contrôle à temps, que nous ayons quelques bonnes orbites de rechange calculées d’avance – mmmm, nous pourrions peut-être nous en sortir.
Ninguna órbita se había computado jamás con mayor cuidado que ésa, pero algo de incertidumbre persistía aún: todavía existía una leve posibilidad de que el martillo de Dios pudiera errarle al yunque.
Jamais les ordinateurs n’avaient calculé une orbite avec autant de soin, mais il restait une marge d’erreur, une chance infime que Le Marteau de Dieu manque l’enclume !
Ripley frunció el ceño al leer aquello en el tablero por encima de su cabeza. —Sí, ya lo sé. Navegante, ¿estamos listos? Lambert estudió su pantalla. —Reingreso orbital computado y registrado.
Ripley fronça les sourcils devant le lecteur de puissance situé sur sa console suspendue. — Oui, je sais. Navigateur, sommes-nous en position ? — Calculs de mise en orbite intégrés, dit Lambert en consultant sa console.
el horizonte de tantas miradas que su número puede ser computado mejor por aquellos que han vivido toda su vida en el mismo pueblo, dejándolo solamente una vez para luchar en Crimea, como el viejo George Garfit, apoyado sobre la puerta del jardín fumando su pipa.
l’horizon de regards dont personne n’aurait pu calculer le nombre, si ce n’est ceux qui avaient vécu toute leur vie dans le même village, ne l’avaient quitté qu’une seule fois, pour aller se battre en Crimée, comme le vieux Georges Garfit, accoté pour fumer sa pipe à la barrière de son jardin.
Así que volvemos a empezar con la prueba de Gódel... Si cualquier posible combinación de máquina y datos pueden representarse como una serie de símbolos, entonces puedes colocar todas las series posibles de números en una gran tabla, y entonces se convierte en un argumento del estilo de la diagonal de Cantor, y la respuesta es que deben existir algunos números que no pueden ser computados.
Ce qui nous ramène encore une fois à la démonstration de Gödel : si une combinaison quelconque de machine et de données peut être représentée par une suite de nombres, alors on peut disposer toutes les suites possibles dans un vaste tableau, ce qui nous ramène à une démonstration de type cantorien, dont la réponse est qu’il doit exister certains nombres impossibles à calculer.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test