Traducción
■■■■■■■■■■■■■■■■■■■■■■■■■
Palabra por palabra
Ejemplos
Si el sistema axiomático es consistente, la prueba de Gödel muestra que p {\displaystyle p} (y su negación) no se pueden demostrar en el sistema. | Let p stand for the undecidable sentence constructed above, and assume that the consistency of the system can be proved from within the system itself. The demonstration above shows that if the system is consistent, then p is not provable. |
Observe que p no es una matriz de valores enteros. | Notice that p is not a matrix of integer values. |
Observe que ~p es falsa, ya que p es verdadera. | Notice that ~p is false, because p is true. |
Cree un array de ceros que tenga el mismo tamaño y tipo de datos que p. | Create an array of zeros that is the same size and data type as p. |
Ya que empezamos sabiendo que p es verdadera, no importa el valor de verdad de q. | Since we start out knowing that p is true, the truth value of q doesn't matter. |
La longitud debe ser un par de veces mayor que p o q (lo que sea más grande). | The length should be a few times larger than p or q (whichever is larger). |
Cree una matriz de números aleatorios que tenga el mismo tamaño y tipo de datos que p. | Create an array of random numbers that is the same size and data type as p. |
La longitud del filtro debe ser varias veces mayor que p o q (lo que sea más grande). | The filter length should be a few times larger than p or q (whichever is larger). |
Puesto que ┌p┐ puede inferirse de la pareja de premisas {┌p┐, ┌q┐}, el resultado es inmediato. | Since p can be inferred from the couple of premises {p,q}, the result is immediate. |
Encontrar todos los pares de números enteros positivos tales que p es una prima, y es un divisor de. | Find all the pairs of positive integers such that p is a prime, and is a divisor of. |
Palabra al azar
¡Tirar los dados y aprender una palabra nueva ahora!
¿Quieres aprender inglés?
¡Aprende inglés gratis!
