La paradoja en el corazón de las matemáticas: el teorema de incompletitud de Gödel - Marcus du Sautoy: apuntes para aprender inglés
TED-Ed
Resumen del video: Una paradoja autorreferencial conduce al análisis de Kurt Gödel sobre los límites de la demostración matemática. Al codificar enunciados como números, mostró que todo sistema axiomático contiene verdades que no pueden demostrarse dentro de él, frustrando el ideal de un sistema perfectamente completo y abriendo nuevas vías en matemáticas e informática. Principales puntos de inglés: 1. Consider the following sentence: — Discurso, narración y retórica. Aprende a emplear este marcador académico para dirigir claramente la atención hacia una oración, un ejemplo o un problema que se analizará a continuación, y así iniciar una explicación de forma intencionada. 2. Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, — Gramática y patrones oracionales. Reconoce cómo Even if introduce una concesión, mientras by adding y as detallan la solución propuesta: la conclusión sigue siendo válida aunque se amplíe el sistema. Usa el patrón para comprobar si una medida correctiva realmente altera un resultado inevitable. 3. Still, Gödel's theorem opened as many doors as it closed. — Modismos y expresiones figuradas. Interpreta la metáfora equilibrada de abrir y cerrar puertas como la creación de oportunidades junto con limitaciones comparables. Usa as many ... as ... para resumir efectos mixtos sin calificarlos simplemente de buenos o malos.
En esta lección
Consider the following sentence: "This statement is false." Notas
0:06Considera la siguiente frase: "Esta afirmación es falsa".
“Consider the following sentence:” como fórmula introductoria
“Consider the following sentence:” es una instrucción que dirige la atención hacia la oración situada después de los dos puntos. Aquí, consider significa «examinar con atención y pensar», no «decidir si se acepta algo». La frase organiza la información al anunciar qué tipo de elemento viene a continuación. El sustantivo puede cambiar por example, question o case, mientras que la estructura “Consider the following ...” se mantiene.
Práctica
Completa la fórmula introductoria exacta que presenta una oración para analizar: ____: "Water freezes at zero degrees Celsius."
Ver respuesta
Consider the following sentence
“This statement is false.”: autorreferencia y paradoja del mentiroso
En este acertijo, “this statement” se entiende como una referencia a la misma oración que lo contiene. Por eso, la oración es autorreferencial: hace una afirmación sobre su propio valor de verdad. Si la oración es verdadera, lo que dice la vuelve falsa. Si es falsa, su afirmación de que es falsa parece verdadera. Este cambio entre verdadero y falso es la forma básica de la paradoja del mentiroso.
Práctica
¿Por qué “This statement is false.” crea una paradoja en este acertijo?
- La oración no tiene sujeto.
- “This statement” se refiere a la propia oración.
- La palabra “false” solo puede usarse en matemáticas.
Ver respuesta
“This statement” se refiere a la propia oración.
If so, that would make this statement false. Notas
0:12Si es así, eso haría que esta afirmación sea falsa.
If so: referencia a una condición anterior
If so significa «si eso es cierto» o «si ese es el caso». Aquí, so sustituye toda la idea mencionada justo antes. La expresión convierte esa idea anterior en una condición para lo que sigue. Así mantiene claro el razonamiento sin repetir la idea completa.
Práctica
Completa la oración con la expresión de dos palabras de esta lección que significa «si eso es cierto»: The library may still be open. ____, we can return the books tonight.
Ver respuesta
If so
would make + objeto + adjetivo para un resultado hipotético
El patrón would make + objeto + adjetivo describe el resultado que produciría una condición hipotética. En la oración, this statement es el objeto y false es el adjetivo que describe el estado que tendría. Aquí, make es causativo: significa «hacer que algo pase a ser o esté de cierta manera», no «crear». Would indica que el resultado depende de la suposición anterior y no es un hecho seguro.
Práctica
Usa would make + objeto + adjetivo para completar el resultado hipotético: Removing the warning label ____ the box unsafe.
Ver respuesta
would make
But if it's false, then the statement is true. Gramática
0:14Pero si es falsa, entonces la afirmación es cierta.
if ... then ...: marcar una condición y su conclusión
La cláusula con if presenta la condición: “es falsa”. La cláusula con then presenta la conclusión que se sigue bajo esa condición: “la afirmación es verdadera”. En este patrón, then significa “en ese caso”, no “después” en el tiempo. La estructura permite seguir fácilmente un paso del razonamiento: primero se plantea la suposición y después se indica lo que se deduce de ella. Aquí, la relación clara entre condición y conclusión ayuda a mostrar la paradoja.
Práctica
Completa el enunciado lógico con if ... then ...: ____ a number ends in zero, ____ it is divisible by ten.
Ver respuesta
If · then
By referring to itself directly, this statement creates an unresolvable paradox. Notas
0:17Al referirse a sí misma directamente, esta afirmación crea una paradoja irresoluble.
By referring to itself directly: by + gerundio para indicar el método
La frase inicial usa by + gerundio: by + referring. Nombra el proceso que produce el resultado principal. Referring to itself significa que la afirmación habla directamente de esa misma afirmación. Colocar la frase al principio presenta el método o mecanismo antes del resultado. El sujeto de la oración principal, this statement, también es quien realiza la acción de referring, por lo que las dos partes quedan conectadas con claridad.
Práctica
Usa by + la forma en -ing de read para completar la oración: ____ the instructions carefully, Mia finished the project correctly.
Ver respuesta
By reading
unresolvable paradox: una contradicción sin solución estable
La expresión unresolvable paradox describe una contradicción a la que no se le puede dar una solución estable dentro de las reglas o el marco que se están usando. Aquí, clasificar la afirmación como true o false vuelve a producir una contradicción. Unresolvable significa «que no puede resolverse», no simplemente «todavía no resuelto». Paradox nombra la situación de conflicto lógico, por lo que esta expresión es más precisa que problem.
Práctica
¿Qué situación se describe mejor como an unresolvable paradox?
- Una regla hace que la misma afirmación sea verdadera y falsa, y no ofrece ninguna salida.
- Un problema de matemáticas es difícil, pero tiene una respuesta conocida.
- Una pregunta sigue sin respuesta porque nadie la ha comprobado todavía.
Ver respuesta
Una regla hace que la misma afirmación sea verdadera y falsa, y no ofrece ninguna salida.
Si no es verdadero ni falso, ¿qué es?: una pregunta retórica
La proposición con if reúne en una sola condición las dos clasificaciones que han fallado, true y false. La pregunta final coloca en primer plano la categoría que falta. En este contexto, what is it? no pregunta principalmente por el nombre de un objeto. Es una pregunta retórica que muestra que la división habitual entre true y false ha dejado de funcionar y conduce al oyente a la siguiente parte de la explicación. It se refiere a la afirmación autorreferencial.
Práctica
¿Cuál es la principal función discursiva de la pregunta destacada en este contexto?
- Muestra que la clasificación habitual entre verdadero y falso ha fallado e introduce la siguiente idea.
- Pregunta dónde se encuentra físicamente la afirmación.
- Anuncia que la afirmación es definitivamente falsa.
Ver respuesta
Muestra que la clasificación habitual entre verdadero y falso ha fallado e introduce la siguiente idea.
This question might seem like a silly thought experiment. Notas
0:26Esta pregunta podría parecer un experimento mental tonto.
might seem like: suavizar una primera impresión
En esta oración, might seem like indica que algo puede dar una determinada primera impresión. seem like presenta una apariencia o impresión, mientras que might hace que la afirmación sea todavía menos directa. El hablante reconoce brevemente cómo podría parecerle la pregunta al público sin afirmar que realmente sea tonta. Esta fórmula suele preparar un contraste: algo puede parecer de una manera, pero lo que sigue muestra que esa primera impresión es incompleta.
Práctica
Completa la oración con la expresión objetivo de tres palabras que presenta una primera impresión de forma atenuada: This shortcut ____ a good idea, but it creates more work.
Ver respuesta
might seem like
silly thought experiment: una prueba imaginaria de una idea
Un thought experiment es una situación imaginaria que se usa para poner a prueba una idea, un principio o una consecuencia lógica. Puede no incluir equipos, mediciones ni procedimientos reales; el razonamiento consiste en preguntar qué ocurriría si las condiciones imaginadas fueran ciertas. Aquí, silly describe la primera impresión creada por toda la expresión might seem like a silly thought experiment. El hablante no descarta finalmente la pregunta como algo inútil; la formulación deja espacio para mostrar que la pregunta aparentemente tonta sí importa.
Práctica
¿Qué opción es un experimento mental y no un experimento realizado en el mundo real?
- Imagine that nobody needed sleep and reason through how schools and jobs would change.
- Plant two seeds and record which one grows faster.
- Measure how long three batteries power the same flashlight.
Ver respuesta
Imagine that nobody needed sleep and reason through how schools and jobs would change.
But in the early 20th century, it led Austrian logician Kurt Gödel to a discovery that would change mathematics forever. Notas
0:29Pero a principios del siglo XX, llevó al lógico austriaco Kurt Gödel a un descubrimiento que cambiaría las matemáticas para siempre.
led Austrian logician Kurt Gödel to a discovery: llevar a alguien a un resultado
La estructura es lead + persona + to + resultado. Aquí, led es el pasado de lead. La persona afectada es todo el grupo nominal Austrian logician Kurt Gödel, y to a discovery nombra el resultado. En esta oración, it se refiere al problema de la paradoja mencionado antes. La expresión presenta ese problema como la causa o el camino que llevó a Gödel al descubrimiento, no como un viaje literal. Este patrón permite explicar cómo las pruebas, las preguntas o las experiencias producen un resultado.
Práctica
Completa la oración con el pasado de lead y la preposición necesaria: A strange clue ____ the detective ____ an important discovery.
Ver respuesta
led · to
that would change mathematics forever: el futuro visto desde el pasado
La oración de relativo that would change mathematics forever modifica a discovery y explica por qué ese descubrimiento es importante. Coloca la información nueva después del sustantivo, de modo que la oración primero presenta el descubrimiento y después revela su impacto posterior. Como el punto de vista narrativo se sitúa a comienzos del siglo XX, would change significa que el cambio todavía estaba por ocurrir desde aquel momento pasado. El narrador ya conoce el resultado posterior, pero lo presenta como futuro desde ese momento anterior. Es un futuro visto desde el pasado, no una petición cortés. Forever aporta énfasis dramático a la importancia duradera.
Práctica
En la oración She found an idea that would change her life, ¿qué expresa would change?
- Una petición cortés para que la idea le cambie la vida.
- Una predicción desde el presente sobre un cambio que todavía no ha ocurrido.
- Un cambio posterior visto desde un momento anterior del relato.
Ver respuesta
Un cambio posterior visto desde un momento anterior del relato.
Gödel's discovery had to do with the limitations of mathematical proofs. Notas
0:37El descubrimiento de Gödel tenía que ver con las limitaciones de las demostraciones matemáticas.
had to do with: estaba relacionado con
Had to do with es la forma en pasado de have to do with. En conjunto, significa «estaba relacionado con» o «tenía que ver con». Aquí relaciona el descubrimiento de Gödel con las limitaciones de las demostraciones matemáticas. No separes had to para interpretarlo como «tenía que hacer». En esta estructura, had marca el pasado de toda la expresión de relación y with introduce el tema relacionado.
Práctica
Completa la oración con la forma en pasado de have to do with: The delay ____ a damaged cable.
Ver respuesta
had to do with
limitations of mathematical proofs: límites, no errores
En esta oración, limitations of mathematical proofs se refiere a los límites de lo que los sistemas de demostración matemática pueden establecer. Una limitación es un punto que el método o sistema no puede superar, no necesariamente un error en una demostración concreta. El complemento con of nombra aquello cuya capacidad tiene límites: mathematical proofs. El patrón formal the limitations of X sirve para hablar de lo que un método, una herramienta o un sistema puede y no puede hacer.
Práctica
¿Qué expresión significa límites de lo que los sistemas de demostración pueden establecer, y no errores en demostraciones individuales?
- mistakes in mathematical proofs
- steps in mathematical proofs
- limitations of mathematical proofs
Ver respuesta
limitations of mathematical proofs
A proof is a logical argument that demonstrates why a statement about numbers is true. Notas
0:42Una demostración es un argumento lógico que demuestra por qué una afirmación sobre números es cierta.
A proof is a logical argument that demonstrates ...: una definición en dos partes
El patrón A proof is a logical argument that demonstrates ... define proof en dos pasos. A proof is a logical argument sitúa proof en la categoría general logical argument, y that demonstrates ... añade la función que define este tipo de argumento. Aquí, argument significa un conjunto conectado de razones, no una pelea. Puedes reutilizar X is a Y that ... para definir algo: primero nombras su categoría y después su propósito o característica clave.
Práctica
¿Qué oración sigue el mismo patrón de información: término + is + categoría + una cláusula con that que describe su función?
- An algorithm can solve a specific problem very quickly.
- An algorithm is a set of steps that solves a specific problem.
- Can an algorithm solve this specific problem?
Ver respuesta
An algorithm is a set of steps that solves a specific problem.
why a statement about numbers is true: orden de una cláusula incrustada con why
En demonstrates why a statement about numbers is true, la cláusula con why expresa el contenido de lo que demuestra la prueba. Es una interrogativa incrustada, no una pregunta directa al oyente. Una interrogativa incrustada con why usa el orden de una afirmación: why + sujeto + verbo. Por eso la oración dice why a statement ... is true y no why is a statement ... true.
Práctica
¿Qué oración usa el orden correcto en una cláusula incrustada con why?
- The teacher explained why was the answer correct.
- Why was the answer correct?
- The teacher explained why the answer was correct.
Ver respuesta
The teacher explained why the answer was correct.
undeniable statements about the numbers involved. Vocabulario
0:52afirmaciones innegables sobre los números involucrados.
building blocks: partes básicas de un sistema mayor
Building blocks significa literalmente piezas usadas para construir algo. Aquí la expresión es una metáfora de las partes básicas a partir de las cuales se forma un sistema o una idea más grande. En esta oración, los axiomas se presentan como las partes básicas de los argumentos matemáticos. El patrón the building blocks of + sustantivo sirve para señalar los componentes esenciales de muchas cosas abstractas.
Práctica
Completa la oración con la expresión de dos palabras de la lección que significa «partes básicas»: Trust and communication are the ____ of a strong team.
Ver respuesta
building blocks
are called axioms: el patrón be called + nombre
En are called axioms, are called es una estructura pasiva: el sujeto recibe el nombre axioms. El sujeto es la frase plural The building blocks of these arguments, por lo que la forma correcta de be es are. El patrón reutilizable es subject + be called + name. Esta estructura introduce un término sin centrarse en quién eligió el nombre. La coma después de axioms da paso a una breve explicación de qué son los axiomas.
Práctica
Completa la oración con el patrón pasivo de denominación be called: Closed shapes with three sides ____ triangles.
Ver respuesta
are called
undeniable statements ... the numbers involved: afirmaciones innegables y los números en cuestión
Aquí, undeniable statements significa afirmaciones presentadas como algo que no se puede cuestionar razonablemente. La frase describe los axiomas como enunciados básicos capaces de sustentar razonamientos matemáticos posteriores. En the numbers involved, involved aparece después de numbers y significa que esos números son pertinentes o están incluidos en el sistema del que se habla. No significa que sean complicados.
Práctica
En la frase the numbers involved, ¿qué significa involved?
- los números que son difíciles de calcular
- los números pertinentes para el asunto
- los números que ya han sido demostrados
Ver respuesta
los números pertinentes para el asunto
from the most complex proof to basic arithmetic, Discurso
0:57desde la demostración más compleja hasta la aritmética básica,
from the most complex proof to basic arithmetic: marcar un rango
En esta frase, from A to B nombra los dos extremos de un rango. Aquí, los extremos son la demostración más compleja y la aritmética básica, por lo que la frase indica que se incluye el contenido de todo el rango; no describe movimiento. Al colocarse junto a un sintagma nominal más amplio como every system, el rango añade información sobre el alcance. Muestra que una afirmación se aplica a niveles muy diferentes, de un extremo al otro.
Práctica
Completa la oración con from ... to ... para mostrar todo el rango: The workshop welcomes participants ____ complete beginners ____ experienced designers.
Ver respuesta
from · to
built on ... constructed from axioms: fundamento y elementos constitutivos
Ambas expresiones usan la construcción como metáfora de un sistema abstracto. Built on mathematics indica de qué fundamento depende el sistema; constructed from axioms indica qué elementos básicos se utilizan para formarlo. En la oración, built on mathematics es una forma abreviada de that is built on mathematics y modifica every system. El predicado principal es is constructed from axioms.
Práctica
Usa built y constructed para completar la oración: The platform is ____ open-source technology and ____ reusable modules.
Ver respuesta
built on · constructed from
mathematicians should be able to confirm it with an axiomatic proof.
1:05los matemáticos deberían poder confirmarla con una demostración axiomática.
if ... should be able to ...: expresar una capacidad esperada
La oración con if establece una condición: una afirmación sobre los números es verdadera. La oración principal dice después que los matemáticos deberían poder confirmarla mediante una demostración axiomática. Aquí, should no les da una orden a los matemáticos. Indica lo que la teoría nos lleva a esperar: si se cumple la condición, la confirmación debería ser posible. Be able to centra esa expectativa en la capacidad.
Práctica
¿Qué oración expresa una expectativa razonable de capacidad basada en una condición, en vez de afirmar directamente una capacidad o imponer un requisito?
- If the code is correct, the user must sign in.
- If the code is correct, the user should be able to sign in.
- If the code is correct, the user can sign in.
Ver respuesta
If the code is correct, the user should be able to sign in.
mathematicians used this system to prove or disprove mathematical claims with total certainty. Frases
1:11los matemáticos usaron este sistema para probar o refutar afirmaciones matemáticas con total certeza.
prove or disprove: demostrar que una afirmación es verdadera o falsa
To prove or disprove a claim significa resolver una afirmación en una de dos direcciones: prove es demostrar que es verdadera y disprove es demostrar que es falsa. Disprove expresa más que simplemente estar en desacuerdo. Implica usar pruebas o razonamiento para derribar la afirmación. El objeto que sigue a este par es la afirmación que se examina; en la oración original es mathematical claims.
Práctica
Completa la oración con la expresión doble de esta lección que significa «demostrar que algo es verdadero o demostrar que es falso»: A second measurement could ____ the scientist's claim.
Ver respuesta
prove or disprove
with total certainty: sin ninguna duda
With total certainty es una frase preposicional que indica con cuánta seguridad se sabe o se establece algo. En esta oración modifica prove or disprove e indica que el resultado no deja ninguna duda. Aquí, certainty es la idea incontable y abstracta de estar seguro, no una «cosa determinada». Total eleva el grado de seguridad al nivel más fuerte.
Práctica
Completa la oración con la frase de esta lección que significa «sin ninguna duda»: After checking the original file, Maya could identify the author ____.
Ver respuesta
with total certainty
entered the field: empezar a trabajar en un ámbito profesional
Aquí, field significa un área de estudio o de trabajo profesional, concretamente las matemáticas y la lógica, no un terreno. Gödel entered the field quiere decir que Gödel empezó a participar en el trabajo y la investigación de esa área. Este uso es común cuando una persona inicia una carrera o empieza a trabajar activamente en una disciplina. Si el área no se ha mencionado antes, se añade of + disciplina, como en the field of robotics.
Práctica
Completa la oración con la expresión de tres palabras de esta lección que significa «empezó a trabajar en esa área profesional»: After finishing her cybersecurity training, Ava ____.
Ver respuesta
entered the field
some newly uncovered logical paradoxes were threatening that certainty. Modismos
1:20algunas paradojas lógicas recién descubiertas estaban amenazando esa certeza.
were threatening that certainty: poner en riesgo una idea abstracta
Las paradojas recién descubiertas se presentan como un peligro activo para esa certeza. Threaten no quiere decir que hablaran o hicieran una advertencia, sino que su existencia podía debilitar o destruir la sensación anterior de certeza total. El pasado progresivo were threatening presenta el peligro como algo que se estaba desarrollando en ese momento del relato. En general, una causa abstracta puede threaten un resultado abstracto, como la confianza, la estabilidad o la certeza, cuando lo pone en grave riesgo.
Práctica
¿Qué oración usa threaten de la misma manera abstracta que el ejemplo?
- The child whispered a warning to her friend.
- Several errors threatened confidence in the report.
- The speaker threatened the audience with punishment.
Ver respuesta
Several errors threatened confidence in the report.
Prominent mathematicians were eager to prove that mathematics had no contradictions. Notas
1:26Matemáticos prominentes estaban ansiosos por demostrar que las matemáticas no tenían contradicciones.
were eager to prove: la estructura be eager to + verbo
En were eager to prove, were sitúa la idea en el pasado y eager expresa un deseo fuerte y activo. La estructura es be eager to + verbo en forma base, por eso prove permanece en forma base después de to. Aquí presenta a estos matemáticos destacados como muy motivados para demostrar un resultado; es más intenso que decir simplemente they wanted to prove it.
Práctica
Completa la oración con la forma pasada de be eager to: The researchers ____ confirm the result.
Ver respuesta
were eager to
mathematics had no contradictions: consistencia lógica
En mathematics had no contradictions, contradiction se usa en su sentido de lógica formal. Un sistema contiene una contradicción si sus reglas permiten establecer tanto una proposición como su negación; decir que had no contradictions describe su consistencia. Had presenta esa consistencia desde una perspectiva pasada, como la afirmación que los matemáticos querían establecer en aquel momento. La frase evalúa el sistema, no afirma que todos los problemas matemáticos fueran fáciles.
Práctica
En la oración mathematics had no contradictions, ¿qué interpretación es correcta?
- Los problemas matemáticos nunca eran difíciles.
- El sistema no podía establecer conclusiones incompatibles entre sí.
- Los matemáticos estaban de acuerdo en todas las cuestiones.
Ver respuesta
El sistema no podía establecer conclusiones incompatibles entre sí.
himself wasn't so sure: énfasis personal y duda moderada
Aquí, himself es un pronombre reflexivo con función enfática. Centra la atención en Gödel en persona y contrapone su postura a la de los matemáticos destacados mencionados antes. Wasn't so sure indica que tenía dudas o reservas. Es una forma moderada de expresar incertidumbre; no significa que no supiera nada ni implica necesariamente un rechazo rotundo.
Práctica
¿Qué interpretación encaja mejor con Gödel himself wasn't so sure?
- Gödel desconocía por completo el problema.
- Gödel rechazaba tajantemente todos los enfoques matemáticos.
- Gödel, personalmente, tenía algunas dudas, a diferencia del grupo más seguro.
Ver respuesta
Gödel, personalmente, tenía algunas dudas, a diferencia del grupo más seguro.
and he was even less confident that mathematics was the right tool to investigate this problem. Notas
1:33y estaba aún menos convencido de que las matemáticas fueran la herramienta adecuada para investigar este problema.
even less confident: even intensifica un menor grado de confianza
Less confident es una construcción comparativa que sitúa su nivel de confianza más abajo. Even intensifica esa comparación, por lo que even less confident significa que su duda va un paso más allá de la duda ya mencionada. La cláusula posterior con that indica aquello sobre lo que tiene menos confianza: que las matemáticas fueran la herramienta adecuada para la investigación. El patrón reutilizable es even + comparativo, como en even less certain o even harder.
Práctica
Usa even + la forma comparativa de confident para mostrar una nueva caída de la confianza: After two more errors, the reviewers were ____ that the figures were accurate.
Ver respuesta
even less confident
the right tool to investigate this problem: elegir un método adecuado
Aquí, tool es una metáfora de un método, campo o técnica que se usa para resolver o estudiar algo. Se está evaluando si las matemáticas sirven como forma de investigar el problema; no se describen como un objeto físico. El patrón the right tool to + verbo significa el método adecuado para una tarea concreta. Right evalúa si algo es apropiado para el objetivo; no significa simplemente que la herramienta sea correcta.
Práctica
Completa la oración con la expresión objetivo que significa el método adecuado para esta tarea: A survey may be ____ understand why customers leave.
Ver respuesta
the right tool to
While it's relatively easy to create a self-referential paradox with words, Notas
1:40Aunque es relativamente fácil crear una paradoja autorreferencial con palabras,
While it's relatively easy to ...: presentar una concesión
Aquí, While significa aunque, no durante el tiempo en que. La cláusula admite que crear una paradoja autorreferencial con palabras es comparativamente fácil y prepara al oyente para una idea principal opuesta sobre otro caso. El patrón reutilizable es While + cláusula, cláusula principal. Organiza la información colocando primero un punto de contexto que se acepta y después el contraste más importante en la cláusula principal. Relatively easy significa más fácil en comparación, no que no requiera esfuerzo.
Práctica
¿Qué oración usa while con el mismo sentido concesivo que el ejemplo?
- While the instructions look simple, the machine is difficult to operate.
- While I was washing the dishes, the doorbell rang.
- Please wait here while I check the schedule.
Ver respuesta
While the instructions look simple, the machine is difficult to operate.
a self-referential paradox: una paradoja que se refiere a sí misma
Self-referential significa «que se refiere a sí mismo»: self- significa «sí mismo» y referential se relaciona con señalar o hacer referencia. A self-referential paradox es una paradoja que surge cuando una afirmación, una regla o un sistema se refiere a sí mismo de una forma que crea una contradicción o un bucle imposible. Aquí, la frase indica que las palabras pueden organizarse fácilmente para producir esta clase de autorreferencia. No toda afirmación autorreferencial es una paradoja; la autorreferencia también debe causar un problema lógico.
Práctica
¿Qué descripción corresponde mejor a a self-referential paradox?
- Una afirmación crea una contradicción al referirse a sí misma.
- Una persona se niega a compartir con los demás.
- Una oración remite a un dato de otro libro.
Ver respuesta
Una afirmación crea una contradicción al referirse a sí misma.
numbers don't typically talk about themselves. Modismos
1:45los números normalmente no hablan de sí mismos.
numbers don't typically talk about themselves: personificación de la autorreferencia
La oración personifica los números al atribuirles la acción humana talk about. Aquí, talk about themselves no significa hablar en voz alta, sino referirse a sí mismos o contener una descripción de sí mismos. Typically significa «en la mayoría de los casos normales», no «siempre». El hablante presenta un contraste general: las palabras pueden describirse a sí mismas fácilmente, mientras que los números normalmente no lo hacen por sí solos.
Práctica
¿Qué significa aquí “numbers don't typically talk about themselves”?
- Los números prefieren hablar de otros números.
- Los números generalmente no se refieren ni se describen a sí mismos.
- Los números suelen guardar silencio cuando las personas los leen en voz alta.
Ver respuesta
Los números generalmente no se refieren ni se describen a sí mismos.
A mathematical statement is simply true or false: establecer un marco binario
La parte resaltada presenta una afirmación matemática como perteneciente a una de dos categorías: verdadera o falsa. Aquí, simply significa «solamente» o «dentro de una clasificación básica»; no significa que las matemáticas sean fáciles. Al aparecer antes de but, este marco binario da al lector una regla inicial conocida. Después, la oración puede cambiar de rumbo e introducir la idea de Gödel como algo que complicará esa imagen simple.
Práctica
¿Qué función cumple la parte resaltada en esta oración?
- Establece un marco conocido de verdadero o falso antes de que la oración cambie de rumbo.
- Dice que todas las partes de las matemáticas son fáciles.
- Explica los detalles de la idea de Gödel.
Ver respuesta
Establece un marco conocido de verdadero o falso antes de que la oración cambie de rumbo.
but Gödel had an idea: un giro narrativo
But indica que la explicación está cambiando de rumbo. La proposición anterior ofrece una imagen sencilla de verdadero o falso; but Gödel had an idea desplaza la atención desde ese contexto hacia la persona y el siguiente avance importante. Had an idea introduce un posible camino sin explicarlo todavía. Crea impulso y expectativa, pero no significa que la idea ya haya sido demostrada ni que haya tenido éxito.
Práctica
¿Qué función cumple but Gödel had an idea en la narración?
- Pasa de la regla de contexto a una idea nueva que se explicará a continuación.
- Demuestra que la idea de Gödel ya era correcta.
- Repite la regla de verdadero o falso sin cambiar de rumbo.
Ver respuesta
Pasa de la regla de contexto a una idea nueva que se explicará a continuación.
First, he translated mathematical statements and equations into code numbers, Frases
1:54Primero, tradujo afirmaciones y ecuaciones matemáticas en números de código,
translate A into B: cambiar de una forma a otra
Translate A into B significa cambiar A de una forma o sistema a B. Aquí, los enunciados y las ecuaciones matemáticas se convierten en códigos numéricos; no se traducen entre lenguas naturales. El resultado que aparece después de into indica qué tipo de cambio ocurre. Este patrón puede describir una traducción, una codificación, una conversión de formato o la presentación de una idea de otra manera.
Práctica
Completa el patrón translate A into B: The scanner translates printed pages ____ searchable text.
Ver respuesta
into
so that a complex mathematical idea could be expressed in a single number. Gramática
1:59de modo que una idea matemática compleja pudiera expresarse en un solo número.
so that ... could be expressed: propósito y posibilidad creada
So that conecta la acción anterior con el propósito o el resultado que esta hizo posible: la codificación permitió representar una idea matemática compleja con un número. Aquí se acerca a in order that, no a un simple therefore. Could be expressed combina could con la forma pasiva be + participio pasado. Could muestra una posibilidad creada, mientras que la pasiva centra la atención en la idea y en cómo puede representarse, no en la persona que la expresa.
Práctica
Completa la oración con so that y la forma pasiva correcta de understand: The safety message was rewritten ____ it could ____ by children.
Ver respuesta
so that · be understood
were also expressing something about the encoded statements of mathematics. Vocabulario
2:07también expresaban algo sobre las afirmaciones codificadas de las matemáticas.
This meant that: vincular un hecho con su consecuencia
En esta oración, This remite al paso anterior de codificar enunciados matemáticos como números. meant that introduce lo que se derivó de ese paso: los enunciados escritos con esos números también podían decir algo sobre los enunciados matemáticos que representaban. La estructura This meant that + oración organiza una cadena de razonamiento. Convierte un hecho anterior en el punto de partida de una consecuencia o implicación; aquí meant significa “tuvo como consecuencia que”, no “dio la definición de una palabra”.
Práctica
¿Qué función cumple This meant that en el ejemplo?
- Introduce un hecho sin relación con el paso anterior.
- Da una definición de diccionario de la palabra mathematics.
- Vincula el paso anterior de codificación con una consecuencia que se derivó de él.
Ver respuesta
Vincula el paso anterior de codificación con una consecuencia que se derivó de él.
encoded statements of mathematics: encoded como adjetivo
La expresión encoded statements of mathematics se refiere a enunciados matemáticos que ya se han convertido en un código, en este caso una representación numérica. encoded es el participio pasado de encode usado como adjetivo delante de statements; of mathematics indica el campo al que pertenecen esos enunciados. La codificación cambia la forma de representar la información para que un sistema pueda almacenarla o procesarla. Por sí sola, no indica que la información se haya ocultado por motivos de confidencialidad.
Práctica
En encoded statements of mathematics, ¿qué nos indica encoded?
- Los enunciados se han convertido en una forma codificada.
- Los enunciados se han ocultado sin duda para mantenerlos en secreto.
- Los enunciados se han extraído de un código y restaurado a su forma original.
Ver respuesta
Los enunciados se han convertido en una forma codificada.
the coding allowed mathematics to talk about itself. Modismos
2:13la codificación permitió que las matemáticas hablaran de sí mismas.
allowed mathematics to talk about itself: personificación y estructura allow A to do B
La estructura allow A to do B significa «hacer posible que A haga B». Aquí, la codificación da a las matemáticas una capacidad nueva: pueden representar enunciados sobre las propias matemáticas. talk about itself es una personificación. Las matemáticas no hablan literalmente; la frase hace más fácil imaginar la idea abstracta de la autorreferencia.
Práctica
¿Qué significa allowed mathematics to talk about itself en esta oración?
- Hizo que las matemáticas hablaran en voz alta.
- Hizo posible que las matemáticas expresaran enunciados sobre sí mismas.
- Dio permiso a los matemáticos para hablar sobre codificación.
Ver respuesta
Hizo posible que las matemáticas expresaran enunciados sobre sí mismas.
he was able to write: "This statement cannot be proved" as an equation, Notas
2:17pudo escribir: "Esta afirmación no puede ser probada" como una ecuación,
“This statement cannot be proved”: autorreferencia y voz pasiva
La cita es una versión en inglés corriente de un enunciado matemático autorreferente que la codificación de Gödel permite escribir como ecuación. This statement remite al enunciado completo dentro de las comillas, así que este hace una afirmación sobre sí mismo. cannot be proved está en voz pasiva: significa que ninguna demostración puede establecer ese mismo enunciado dentro del sistema matemático del que se habla. No significa que el enunciado sea incapaz de demostrar otra cosa.
Práctica
¿Qué afirma el enunciado entre comillas?
- Dice que ese mismo enunciado no puede demostrarse dentro del sistema.
- Dice que este enunciado no puede demostrar otra ecuación.
- Dice que nadie tiene permiso para escribir una demostración.
Ver respuesta
Dice que ese mismo enunciado no puede demostrarse dentro del sistema.
creating the first self-referential mathematical statement.
2:22creando la primera afirmación matemática autorreferencial.
write ... as an equation, creating ...: forma y resultado
En write X as Y, as introduce la forma que adopta X. Aquí, la afirmación se expresa en forma de ecuación. La frase en -ing creating ... después de la coma añade el resultado de la acción anterior: escribir la afirmación como ecuación creó el primer enunciado matemático autorreferencial. Creating no es otro verbo principal independiente.
Práctica
Completa la estructura objetivo con as y la forma en -ing de make: She rewrote the results ____ a chart, ____ the pattern easier to see.
Ver respuesta
as · making
However, unlike the ambiguous sentence that inspired him, Discurso
2:27Sin embargo, a diferencia de la oración ambigua que lo inspiró,
However, unlike ...: cómo organizar un contraste
However señala un giro desde lo que se acaba de decir hacia una diferencia importante. Luego, unlike nombra el elemento de comparación: the ambiguous sentence that inspired him. El patrón However, unlike + sintagma nominal, ... guía al oyente desde un ejemplo conocido hasta un caso que contrasta con él. Aquí, unlike va seguido de un sintagma nominal, no de una oración completa con sujeto y verbo; la afirmación principal aparece después de este grupo inicial.
Práctica
Completa el patrón objetivo However, unlike + sintagma nominal: ____, ____ the old model, this one uses less energy.
Ver respuesta
However · unlike
mathematical statements must be true or false. Gramática
2:31las afirmaciones matemáticas deben ser ciertas o falsas.
must be true or false: necesidad lógica
Aquí, must expresa una necesidad establecida por un marco lógico, no una orden dada por una persona. La idea es que un enunciado matemático tiene que pertenecer a una de dos categorías de valor de verdad: verdadero o falso. Interpreta must así cuando las reglas, las definiciones o las pruebas hacen que una conclusión sea necesaria. Fíjate en si la oración explica lo que se sigue lógicamente o le exige a alguien que haga algo.
Práctica
En mathematical statements must be true or false, ¿qué expresa must?
- El marco lógico exige que cada enunciado tenga uno de los dos valores.
- Los enunciados prometen decir la verdad.
- Alguien les ordena a los enunciados que elijan cómo comportarse.
Ver respuesta
El marco lógico exige que cada enunciado tenga uno de los dos valores.
So, which is it?: una pregunta para volver a centrar la elección
So conecta esta pregunta con el razonamiento que acaba de presentarse. which is it? pide elegir entre las alternativas ya planteadas; aquí, it se refiere al enunciado matemático y las alternativas son true y false. Como recurso discursivo, esta pregunta breve reduce el razonamiento anterior a una sola decisión. Hace una pausa en la explicación, vuelve a centrar la atención en la elección principal y abre el siguiente paso del argumento.
Práctica
¿Qué función cumple So, which is it? después de plantear dos posibilidades?
- Vuelve a centrar la conversación en elegir entre esas posibilidades.
- Introduce un tema nuevo sin relación con el razonamiento anterior.
- Afirma que las dos posibilidades son definitivamente correctas.
Ver respuesta
Vuelve a centrar la conversación en elegir entre esas posibilidades.
that means the statement does have a proof. Gramática
2:37eso significa que la afirmación sí tiene una demostración.
If it's false, that means ...: de una suposición a una conclusión
“If it's false” plantea una condición o una suposición provisional. “that means” introduce la conclusión que se obtiene al aceptar esa condición: the statement does have a proof. Este patrón organiza el razonamiento como “si A, entonces A lleva a B”. Aquí, “that means” no traduce ni se limita a repetir “false”; hace avanzar la explicación hacia la consecuencia lógica.
Práctica
Lee esta oración: “If the screen is blank, that means the computer is not receiving a signal.” ¿Qué función cumple “that means”?
- Introduce la conclusión que se deduce de la condición.
- Traduce la palabra “blank”.
- Inicia un tema sin relación.
Ver respuesta
Introduce la conclusión que se deduce de la condición.
does have a proof: el does enfático en una oración afirmativa
En la oración afirmativa “the statement does have a proof”, does es un do enfático. Añade el sentido de “realmente” o “en efecto”: el hablante recalca que la demostración existe. Does expresa el presente y concuerda con el sujeto singular “the statement”, por lo que have permanece en la forma base. Sin does, “the statement has a proof” comunica el mismo hecho básico, pero con menos fuerza de corrección o contraste.
Práctica
Usa el does enfático + el verbo base have para completar la corrección: “You said the plan has no benefit, but it ____ one important advantage.”
Ver respuesta
does have
if ..., then it must ...: condición y conclusión necesaria
La oración subordinada con if presenta la condición: a mathematical statement has a proof. La oración principal presenta la conclusión, y then hace más clara la relación entre la condición y el resultado. En el inglés cotidiano, then a veces puede omitirse, pero aquí organiza claramente el razonamiento. En must be true, must significa que algo es necesariamente así por la lógica. No expresa una obligación ni una orden.
Práctica
Completa la oración con el patrón exacto if ..., then it must ...: ____ an integer ends in 0, ____ it ____ divisible by 10.
Ver respuesta
If · then · must be
This contradiction means that Gödel's statement can't be false, Notas
2:44Esta contradicción significa que la afirmación de Gödel no puede ser falsa,
This contradiction means ...: avanzar en un argumento
This contradiction remite al conflicto ya establecido en el argumento: tratar la afirmación como falsa lleva a la conclusión de que es verdadera. Means introduce lo que se sigue lógicamente de ese conflicto; no ofrece una definición de diccionario. La expresión funciona como una señal que resume el problema y lleva el argumento a la siguiente conclusión.
Práctica
En este argumento, ¿qué función cumple This contradiction means ...?
- Resume una incoherencia e introduce la conclusión que se extrae de ella.
- Cambia el tema a un ejemplo no relacionado.
- Da una definición de diccionario de la palabra contradiction.
Ver respuesta
Resume una incoherencia e introduce la conclusión que se extrae de ella.
Gödel's statement can't be false: imposibilidad lógica
En Gödel's statement can't be false, can't significa “es lógicamente imposible”, no “no tiene la capacidad”. La contradicción descarta la posibilidad de que el enunciado sea falso. Este uso de can't expresa una conclusión firme basada en el razonamiento o las pruebas: si una suposición conduce a algo imposible, esa suposición no puede ser correcta.
Práctica
¿Qué significa can't en “The answer can't be false because it follows from the rule”?
- No está permitido que la respuesta sea falsa.
- El hablante no tiene la capacidad de hacer que la respuesta sea falsa.
- Es lógicamente imposible que la respuesta sea falsa.
Ver respuesta
Es lógicamente imposible que la respuesta sea falsa.
it must be true that this statement cannot be proved.
2:49debe ser cierto que esta afirmación no puede ser probada.
and therefore, it must be true that ...: marcar una conclusión
and therefore indica al oyente que lo que sigue es una conclusión extraída del razonamiento anterior. Conecta la contradicción previa con la nueva afirmación, en vez de limitarse a añadir otro dato. it must be true that presenta toda la oración subordinada introducida por that como una conclusión necesaria. La proposición que se concluye aquí es this statement cannot be proved.
Práctica
Completa la estructura formal de conclusión: The machine accepts only valid tickets. This ticket was accepted, ____ this ticket is valid.
Ver respuesta
and therefore it must be true that
Yet ... even more surprising because ...: contraste, énfasis y razón
Al comienzo de la oración, Yet significa «sin embargo», no el sentido temporal de not yet. Marca un contraste con lo que acaba de establecerse e indica que el argumento avanza hacia una implicación adicional e inesperada. La estructura this result is even more surprising because ... refuerza la valoración y después introduce su razón. En conjunto, el fragmento destacado organiza la información como una conclusión anterior, un contraste más marcado y la razón por la que el nuevo punto resulta más sorprendente.
Práctica
¿Qué función cumple el comienzo destacado en la oración?
- Dice que el resultado todavía no ha ocurrido.
- Introduce una razón, pero no establece ningún contraste con un punto anterior.
- Contrasta con el punto anterior, intensifica la valoración e introduce una razón.
Ver respuesta
Contrasta con el punto anterior, intensifica la valoración e introduce una razón.
a true equation: una ecuación cuya afirmación se cumple
En a true equation, true evalúa el contenido matemático: la igualdad o afirmación expresada por la ecuación se cumple. En inglés, un statement o claim matemático también puede describirse como true o false. Aquí, true no significa simplemente «real», «genuino» o «que existe de verdad». Lo sorprendente depende de que la ecuación sea matemáticamente verdadera aunque, según lo que afirma, no pueda demostrarse.
Práctica
En una conversación sobre matemáticas, ¿qué significa aquí a true equation?
- Una ecuación que existe realmente, sea o no verdadera su afirmación matemática.
- Una ecuación cuya afirmación matemática es verdadera.
- Una ecuación que utiliza únicamente números reales.
Ver respuesta
Una ecuación cuya afirmación matemática es verdadera.
asserts it cannot be proved: formular una afirmación formal
En esta oración, asserts significa “declara o afirma formalmente”. La ecuación presenta una afirmación que puede considerarse verdadera o falsa; el verbo no indica que se hable en voz alta. Las palabras it cannot be proved expresan el contenido de la afirmación. Aquí, it se refiere a la propia ecuación. Después de assert suele usarse la conjunción that, pero puede omitirse: asserts (that) it cannot be proved.
Práctica
En esta oración, ¿qué indica asserts sobre la ecuación?
- Demuestra la afirmación con razones que la respaldan.
- Habla con una voz muy alta.
- Presenta formalmente una afirmación que puede considerarse verdadera o falsa.
Ver respuesta
Presenta formalmente una afirmación que puede considerarse verdadera o falsa.
This revelation is at the heart of Gödel's incompleteness theorem, Notas
3:04Esta revelación es el núcleo del teorema de incompletitud de Gödel,
is at the heart of ...: identificar la idea central
Be at the heart of es una expresión idiomática que significa “ser una parte central o sumamente importante de algo”. Heart se usa aquí en sentido figurado; la expresión habla de importancia, no de un corazón físico ni de una ubicación. En esta oración, la revelación se presenta como la idea clave del teorema de incompletitud de Gödel. La estructura es be + at the heart of + un tema, problema, teoría u otro conjunto mayor.
Práctica
Usa la expresión idiomática de la lección para completar la oración: Trust is ____ a healthy friendship.
Ver respuesta
at the heart of
Gödel's incompleteness theorem: el teorema de incompletitud de Gödel
Aquí, Gödel's incompleteness theorem es el nombre de un resultado de la lógica matemática. Un theorem es un enunciado establecido mediante una demostración, mientras que incompleteness nombra un límite de un sistema formal, no una demostración que alguien dejó sin terminar. Para entender esta oración, basta con saber que un sistema formal suficientemente potente puede contener enunciados matemáticos verdaderos que no pueden demostrarse dentro de ese mismo sistema. La revelación mencionada antes es fundamental para ese teorema.
Práctica
En el nombre Gödel's incompleteness theorem, ¿a qué se refiere incompleteness?
- La afirmación de que las matemáticas no tienen demostraciones válidas.
- Una demostración sin terminar que necesita más páginas.
- Un límite de algunos sistemas formales: ciertos enunciados verdaderos no pueden demostrarse dentro del sistema.
Ver respuesta
Un límite de algunos sistemas formales: ciertos enunciados verdaderos no pueden demostrarse dentro del sistema.
which introduces an entirely new class of mathematical statement. Gramática
3:08el cual introduce una clase de afirmación matemática completamente nueva.
which introduces ...: añadir un comentario no restrictivo
La cláusula which introduces an entirely new class of mathematical statement añade información sobre Gödel's incompleteness theorem, mencionado en la cláusula anterior. Which remite al theorem, e introduces describe lo que hace ese teorema. La coma señala una oración de relativo no restrictiva: la cláusula añade un comentario sobre un elemento ya identificado, en vez de seleccionar un teorema entre varios. Continúa la misma oración y no inicia una idea independiente.
Práctica
Completa la oración con la palabra relativa que añade un comentario no restrictivo: The update adds a search tool, ____ makes old files easier to find.
Ver respuesta
which
but true statements can either be provable or unprovable within a given set of axioms. Vocabulario
3:17pero las afirmaciones verdaderas pueden ser demostrables o indemostrables dentro de un conjunto dado de axiomas.
In Gödel's paradigm: paradigm como marco organizador
Aquí, paradigm se refiere a un marco amplio para comprender y organizar ideas, no a un solo ejemplo ni a una fórmula. In Gödel's paradigm significa dentro del marco introducido por Gödel. Ese marco separa dos preguntas: si un enunciado es verdadero y si puede demostrarse a partir de un conjunto dado de axiomas. El uso de paradigm indica cómo se organiza la información que sigue.
Práctica
En la oración, ¿qué significa paradigm?
- una sola fórmula matemática
- un marco amplio para comprender y organizar ideas
- un caso ilustrativo
Ver respuesta
un marco amplio para comprender y organizar ideas
either true or ... / can either be provable or unprovable: alternativas emparejadas
Either ... or ... enlaza dos alternativas. La oración usa la estructura dos veces: primero true frente a false y después provable frente a unprovable. En este contexto, cada pareja forma una clasificación de dos posibilidades. Las alternativas mantienen una estructura paralela. True y false son adjetivos en la primera pareja; provable y unprovable son descripciones paralelas en la segunda. Las palabras compartidas, como can y be, no necesitan repetirse. Aquí, either forma parte de la pareja y no significa también.
Práctica
Completa la estructura emparejada con either ... or: A binary answer is ____ yes ____ no.
Ver respuesta
either · or
within a given set of axioms: el límite del marco lógico
Aquí, within marca un límite abstracto, no un lugar físico. A given set of axioms se refiere a las reglas de partida concretas elegidas para el sistema lógico. La frase limita el alcance de provable or unprovable: la demostrabilidad de un enunciado se evalúa usando ese conjunto de axiomas. No afirma que el resultado sea el mismo con todos los conjuntos de axiomas posibles.
Práctica
¿Qué indica la frase resaltada en esta oración?
- La demostrabilidad se evalúa usando un conjunto específico de axiomas.
- Todos los conjuntos de axiomas demuestran el enunciado.
- El enunciado está rodeado físicamente por axiomas.
Ver respuesta
La demostrabilidad se evalúa usando un conjunto específico de axiomas.
Gödel argues these unprovable true statements exist in every axiomatic system. Vocabulario
3:25Gödel sostiene que estas afirmaciones verdaderas indemostrables existen en todo sistema axiomático.
unprovable true statements en todo sistema axiomático
Unprovable true statements reúne dos evaluaciones distintas. True dice que los enunciados son verdaderos; unprovable dice que no se puede obtener una demostración a partir de los axiomas y las reglas del sistema del que se habla. Por tanto, unprovable no significa false. In every axiomatic system da a la afirmación un alcance universal dentro de esta oración: dice que cada sistema contiene tales enunciados, no solo algunos sistemas.
Práctica
¿Qué opción conserva correctamente el sentido de unprovable true statements?
- Son enunciados verdaderos cuyas demostraciones aún no se han encontrado, pero sin duda se encontrarán.
- Son falsos porque no existe una demostración.
- Son verdaderos, aunque el sistema no puede demostrarlos.
Ver respuesta
Son verdaderos, aunque el sistema no puede demostrarlos.
This makes it impossible to create a perfectly complete system using mathematics Gramática
3:32Esto hace que sea imposible crear un sistema perfectamente completo usando las matemáticas
make it impossible to create: estructura make it + adjetivo + to do
La estructura make it + adjetivo + to do indica que algo hace que una acción resulte fácil, difícil, posible o imposible. Aquí, This remite a la limitación matemática explicada antes, impossible expresa el resultado y to create a perfectly complete system nombra la acción que se considera imposible. it es un objeto anticipatorio o formal. No se refiere a ninguna cosa; ocupa la posición de objeto hasta que el contenido real aparece en el infinitivo con to.
Práctica
Completa la oración con la estructura objetivo para indicar que no es posible abrir la ventana: The broken handle ____ open the window.
Ver respuesta
makes it impossible to
because there will always be true statements we cannot prove. Gramática
3:38porque siempre habrá afirmaciones verdaderas que no podamos probar.
there will always be: expresar una existencia continua
Because introduce la razón de la conclusión anterior. La construcción existencial there will be indica que algo existirá, y colocar always después de will refuerza la afirmación: algunos enunciados verdaderos seguirán existiendo sin importar cómo se desarrolle el sistema. En true statements we cannot prove, we cannot prove especifica de qué enunciados se habla. Se omite el relativo that: true statements that we cannot prove. Aquí, always expresa persistencia lógica, no la frecuencia de un hecho cotidiano.
Práctica
Completa con la forma futura de there be y always para mostrar que la limitación continuará: ____ cases the rule does not cover.
Ver respuesta
There will always be
Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, Notas
3:42Incluso si tomas en cuenta estas afirmaciones indemostrables añadiéndolas como nuevos axiomas a un sistema matemático ampliado,
Even if ... by adding ... as new axioms: concesión, método y función
Even if introduce una concesión hipotética. El hablante acepta por un momento la posibilidad de que se tome esa medida, pero señala que la conclusión posterior seguirá siendo válida. No dice que la medida ya se haya tomado. Aquí, by adding them indica el método usado para abordar las afirmaciones, mientras que as new axioms indica la función que pasan a tener. El patrón reutilizable es Even if + condición, by + forma en -ing para el método y as + función o identidad.
Práctica
Completa el patrón de concesión, método y función. Usa Even if, by y as una vez cada uno: ____ you improve the plan ____ adding a checklist ____ a safety tool, some risks may remain.
Ver respuesta
Even if · by · as
you account for: abordar o tener en cuenta un factor
Account for funciona aquí como un verbo de varias palabras. You account for these unprovable statements significa que les haces un lugar en el sistema matemático y las abordas; by adding them as new axioms explica cómo. Interpreta account for como una sola unidad seguida de su objeto. Su significado exacto depende del contexto: aquí se acerca más a abordar o tener en cuenta que a explicar por qué ocurrió algo.
Práctica
En la oración original, ¿qué significa account for?
- Depender de las afirmaciones
- Explicar por qué las afirmaciones son verdaderas
- Abordar o tener en cuenta las afirmaciones dentro del sistema
Ver respuesta
Abordar o tener en cuenta las afirmaciones dentro del sistema
that very process introduces new unprovably true statements. Discurso
3:49ese mismo proceso introduce nuevas afirmaciones verdaderas indemostrables.
that very process introduces: énfasis en ese proceso exacto
En that very process, that remite al proceso ya mencionado de añadir axiomas. Very enfatiza directamente el sustantivo process: significa “ese proceso exacto” o “el proceso mismo”, no un proceso en grado extremo. Al convertir la frase enfatizada en el sujeto de introduces, se destaca la consecuencia: el mismo proceso del que se habla hace que aparezcan nuevos enunciados. El patrón this/that/the very + sustantivo permite retomar algo y recalcar que eso es precisamente lo responsable.
Práctica
En la oración “That very decision caused the delay,” ¿qué indica very?
- The exact decision already mentioned caused the delay.
- The decision was extremely difficult.
- A different decision prevented the delay.
Ver respuesta
The exact decision already mentioned caused the delay.
No matter how many axioms you add: una concesión sobre la cantidad
No matter how many + sustantivo contable en plural + sujeto + verbo introduce una oración concesiva. Permite que la cantidad varíe sin límite: aquí, el número de axiomas añadidos puede ser pequeño o grande. Esta oración no formula una pregunta. Prepara una oración principal cuyo resultado sigue siendo verdadero con cualquier cantidad; por eso, la coma indica que la frase continúa.
Práctica
Completa la oración con la expresión de cuatro palabras que empieza por No y significa “sin importar el número”: ____ books you read, there will always be more to discover.
Ver respuesta
No matter how many
there will always be unprovably true statements in your system. Gramática
3:57siempre habrá afirmaciones verdaderas indemostrables en tu sistema.
there will always be unprovably true statements: siempre habrá enunciados verdaderos indemostrables
there will ... be es una estructura existencial: indica que algo existirá o sucederá. always vuelve inevitable el resultado, en vez de presentarlo como una mera posibilidad. Aquí cierra el razonamiento al repetir que añadir más axiomas no elimina esta situación. unprovably true statements son enunciados verdaderos que no pueden demostrarse a partir de los axiomas del propio sistema. your system se refiere al sistema matemático que se construye o amplía; unprovably no significa probablemente.
Práctica
¿Qué interpretación coincide mejor con la oración?
- El sistema quizá contenga enunciados que probablemente sean verdaderos.
- El sistema contendrá inevitablemente algunos enunciados verdaderos que no pueden demostrarse dentro de él.
- Todos los enunciados verdaderos ya se han demostrado en el sistema.
Ver respuesta
El sistema contendrá inevitablemente algunos enunciados verdaderos que no pueden demostrarse dentro de él.
It's Gödels all the way down: límites de Gödel que reaparecen sin fin
It's X all the way down es una fórmula humorística para una regresión infinita: el mismo tipo de explicación, problema o patrón reaparece en cada nivel más profundo. Alude a la conocida frase turtles all the way down, así que down es figurado y no una dirección de movimiento. Gödels es un plural juguetón formado a partir del apellido Gödel. Representa resultados tipo Gödel que se repiten, no a varias personas llamadas Gödel. En este contexto, al ampliar el sistema matemático, en el nuevo sistema vuelve a quedar un enunciado verdadero que no se puede demostrar. El hablante convierte esa limitación recurrente en un chiste breve.
Práctica
¿Qué significa aquí It's Gödels all the way down?
- Un solo teorema resuelve todas las posibles ampliaciones del sistema.
- Varias personas llamadas Gödel están bajando.
- Los límites tipo Gödel siguen reapareciendo a medida que se amplía el sistema.
Ver respuesta
Los límites tipo Gödel siguen reapareciendo a medida que se amplía el sistema.
This revelation rocked the foundations of the field, Modismos
4:04Esta revelación sacudió los cimientos del campo,
rocked the foundations of the field: metáfora de un impacto fundamental
En esta oración, rocked the foundations of the field es una metáfora: la revelación cuestionó profundamente las creencias o los supuestos básicos del campo. Aquí the field se refiere a las matemáticas; ningún edificio se mueve de forma literal. El patrón rock the foundations of + una institución, disciplina o sistema describe un acontecimiento que amenaza o transforma algo en su nivel más básico.
Práctica
En esta oración, ¿qué significa rocked the foundations of the field?
- Cuestionó profundamente las creencias básicas del campo.
- Produjo un cambio pequeño y rutinario en el campo.
- Dañó físicamente los cimientos de un edificio.
Ver respuesta
Cuestionó profundamente las creencias básicas del campo.
crushing those who dreamed that every mathematical claim would one day be proven or disproven. Notas
4:07aplastando a quienes soñaban con que toda afirmación matemática algún día sería probada o refutada.
crushing those who dreamed that ...: una frase en -ing que expresa un resultado
Crushing those who dreamed that ... es una frase de participio presente (-ing) unida a la cláusula anterior. Añade el resultado del impacto de la revelación: esta asestó un duro golpe emocional a esas personas. La frase no expresa un sujeto independiente. La causa implícita de crushing es la revelación de la cláusula anterior, mientras que those funciona como objeto; those who ... significa "las personas que...". Aquí crushing es figurado, no físico.
Práctica
¿Qué oración usa una frase final en -ing para añadir el resultado del acontecimiento anterior?
- Because the storm closed the airport, hundreds of travelers were stranded.
- The storm closed the airport and hundreds of travelers waited nearby.
- The storm closed the airport, leaving hundreds of travelers stranded.
Ver respuesta
The storm closed the airport, leaving hundreds of travelers stranded.
would one day be proven or disproven: pasiva de futuro vista desde el pasado
La cláusula se contempla desde el momento pasado de dreamed. En aquel momento, esas personas imaginaban un resultado posterior, por lo que would expresa “futuro visto desde el pasado”, no voluntad. One day indica un momento futuro no especificado. Be proven or disproven está en voz pasiva: cada afirmación matemática recibe uno de los dos resultados. El patrón reutilizable es creencia o esperanza en el pasado + would + expresión temporal + be + participio pasado.
Práctica
Completa la oración con would one day y la forma pasiva de solve: In 1995, researchers believed the puzzle ____.
Ver respuesta
would one day be solved
While most ..., some ...: organizar un contraste entre grupos
Aquí, while introduce un contraste, no una relación temporal. La primera cláusula informa de la reacción de la mayoría; la segunda presenta una reacción distinta de un grupo más pequeño. El esquema While most ..., some ... sirve para organizar una distribución de opiniones o resultados. No afirma que las dos reacciones ocurrieran exactamente al mismo tiempo.
Práctica
¿Qué función cumple while en esta oración? “While most neighbors supported the plan, some opposed it.”
- Contrasta las reacciones de dos grupos.
- Explica la razón por la que algunas personas se opusieron al plan.
- Indica que dos acciones duraron exactamente lo mismo.
Ver respuesta
Contrasta las reacciones de dos grupos.
fervently debated: debatir con gran convicción
Fervently significa «con un sentimiento, una pasión o una convicción intensos». Aquí describe la intensidad y la actitud del debate, no la frecuencia con que ocurrió. El pronombre it remite a la nueva realidad revelada por el teorema de Gödel. La oración presenta la reacción enérgica de un grupo ante esa idea.
Práctica
En “Some fervently debated it,”, ¿qué nos indica fervently?
- Debatieron con un fuerte sentimiento y convicción.
- Debatieron muchas veces.
- Debatieron en voz baja para no llamar la atención.
Ver respuesta
Debatieron con un fuerte sentimiento y convicción.
Others still tried to ignore the newly uncovered hole in the heart of their field. Notas
4:19Otros aún intentaron ignorar el agujero recién descubierto en el corazón de su campo.
Others still tried to ignore: organizar la reacción persistente de otro grupo
Others hace que la narración pase a un grupo distinto de las personas ya mencionadas. En una secuencia como most, some y others, ayuda a dividir las reacciones en grupos claros. Still significa que algo continúa incluso después de que la situación ha cambiado. En conjunto, Others still tried to ignore presenta la reacción de otro grupo y muestra que su intento de evitar el asunto continuó pese a las nuevas pruebas.
Práctica
¿Qué oración usa others still para presentar la reacción persistente de un grupo distinto?
- Most families went home, and every family left at the same time.
- Most families went home, but others still waited for the final announcement.
- The families stood still while they waited for the final announcement.
Ver respuesta
Most families went home, but others still waited for the final announcement.
newly uncovered hole in the heart of their field: una falla recién descubierta en el núcleo de su campo
La frase es una metáfora de una carencia o limitación grave en el centro mismo de una disciplina académica. A hole sugiere que falta algo importante, y the heart of their field significa la parte más central de su campo. Newly uncovered indica que la debilidad acaba de descubrirse, no que acabe de crearse. La oración dice que algunas personas intentaron ignorar este problema fundamental recién reconocido, no un agujero físico real.
Práctica
¿Qué significa newly uncovered hole in the heart of their field en esta oración?
- Una limitación grave recién descubierta en el centro de su campo académico
- Un agujero físico excavado recientemente en medio de una granja
- Un problema médico que afecta el corazón de los investigadores
Ver respuesta
Una limitación grave recién descubierta en el centro de su campo académico
But as more classical problems were proven to be unprovably true, Gramática
4:24Pero a medida que se demostraba que más problemas clásicos eran afirmaciones verdaderas indemostrables,
as more classical problems were proven...: un cambio que avanza con el tiempo
Aquí, as significa mientras o a medida que se desarrolla algo, no como en una comparación. El patrón as + una situación que cambia presenta un desarrollo como contexto de otro: seguía aumentando el número de problemas clásicos de esta categoría. More aporta la idea de aumento gradual. La forma pasiva were proven to be indica qué se iba estableciendo sobre esos problemas; la cláusula después de la coma expresa la reacción o el resultado que aumentó a la vez.
Práctica
¿Qué oración usa as con el mismo sentido de desarrollo temporal que la cláusula destacada?
- As more evidence emerged, the team grew more confident.
- The box is as heavy as the chair.
- She works as an engineer.
Ver respuesta
As more evidence emerged, the team grew more confident.
some began to worry their life's work would be impossible to complete. Frases
4:28algunos comenzaron a preocuparse de que el trabajo de su vida sería imposible de completar.
began to worry: indicar el inicio de la preocupación
began to worry marca el momento en que empezó la preocupación. En una narración, señala un cambio en el estado mental de las personas, no simplemente otra acción. Aquí, worry va seguido de una oración que expresa el contenido de la preocupación; that es opcional: began to worry (that) their life's work.... Este patrón nos dice qué les preocupaba.
Práctica
¿Qué oración centra la atención en el momento en que comienza la preocupación?
- After an hour with no reply, Leo began to worry that something was wrong.
- After an hour with no reply, Leo never worried that something was wrong.
- After an hour with no reply, Leo had stopped worrying that something was wrong.
Ver respuesta
After an hour with no reply, Leo began to worry that something was wrong.
life's work would be impossible to complete: una obra de toda la vida en riesgo
Life's work se refiere al proyecto, la misión o la contribución principal a la que alguien dedica muchos años, a veces toda la vida. Tiene una escala y una importancia personal mucho mayores que una tarea común. Would be impossible to complete presenta un resultado futuro visto desde un momento pasado: en aquel momento, temían que el trabajo nunca pudiera terminarse. La oración comunica su preocupación; no afirma que terminarlo fuera realmente imposible.
Práctica
En el ejemplo, ¿a qué se refiere their life's work?
- Al trabajo principal al que habían dedicado muchos años
- A los trabajos que pensaban hacer durante una tarde
- A las tareas rutinarias que hacían cada día
Ver respuesta
Al trabajo principal al que habían dedicado muchos años
Still, Gödel's theorem opened as many doors as it closed. Modismos
4:33Aun así, el teorema de Gödel abrió tantas puertas como cerró.
Still ... opened as many doors as it closed: equilibrio entre oportunidades y límites
Open doors y close doors son metáforas aquí. Doors se refiere a oportunidades, caminos posibles o líneas de investigación, no a puertas físicas. La estructura opened as many doors as it closed coloca en paralelo un efecto positivo y uno negativo: el teorema creó nuevas posibilidades al mismo tiempo que limitó otras. Still señala un giro desde las limitaciones anteriores hacia una conclusión más positiva y equilibrada.
Práctica
¿Qué oración utiliza mejor la metáfora de las puertas para decir que una norma creó y limitó oportunidades en una medida aproximadamente igual?
- The new rule opened as many doors as it closed.
- The new rule opened a door after the office closed.
- The new rule closed every door and created no new options.
Ver respuesta
The new rule opened as many doors as it closed.
Knowledge of unprovably true statements inspired key innovations in early computers. Frases
4:37El conocimiento de afirmaciones verdaderas indemostrables inspiró innovaciones clave en las primeras computadoras.
inspired key innovations in early computers: describir la influencia de las ideas
Inspired key innovations significa que algo ayudó a dar origen a avances nuevos e importantes. Aquí el sujeto es Knowledge of unprovably true statements, así que se presenta un tipo abstracto de conocimiento, no una persona, como influencia sobre la tecnología. In early computers identifica el ámbito en el que aparecieron las innovaciones. Inspired indica influencia intelectual; no afirma que ese conocimiento inventara por sí mismo las computadoras ni que fuera la única causa directa.
Práctica
Usa el patrón de cuatro palabras inspire + key innovations + in, con inspire en pasado: The discovery ____ battery design.
Ver respuesta
inspired key innovations in
some mathematicians dedicate their careers to identifying provably unprovable statements. Notas
4:43algunos matemáticos dedican sus carreras a identificar afirmaciones demostrablemente indemostrables.
dedicate their careers to identifying: dedicate ... to + gerundio
En dedicate their careers to identifying ..., dedicate A to B significa dedicar A a un propósito. Aquí A es their careers y B es identifying algo, por lo que la expresión presenta el trabajo como una misión profesional seria y duradera. La palabra to es una preposición en dedicate A to B. Cuando B es una acción, se usa una forma en -ing: to identifying, no to identify.
Práctica
Completa la oración con el pasado de dedicate her career to: Maria ____ improving rural health care.
Ver respuesta
dedicated her career to
provably unprovable statements: demostrar la indemostrabilidad
Provably es un adverbio que modifica unprovable. La expresión se refiere a enunciados cuya indemostrabilidad puede establecerse mediante una demostración: se puede demostrar que no pueden probarse dentro del sistema formal pertinente. No significa simplemente que nadie haya encontrado una prueba todavía, y provably tampoco significa probably. La formulación hace una afirmación precisa sobre lo que puede demostrarse.
Práctica
¿Qué significado corresponde mejor a provably unprovable statements?
- Probablemente sea difícil demostrar los enunciados.
- Se puede demostrar que los enunciados son indemostrables.
- Ya se ha demostrado que los enunciados son falsos.
Ver respuesta
Se puede demostrar que los enunciados son indemostrables.
So while mathematicians may have lost some certainty, Discurso
4:50Así que, aunque los matemáticos pueden haber perdido algo de certeza,
So while ... may have lost ...: conceder antes de la conclusión principal
El So inicial indica que se está extrayendo una conclusión de lo explicado antes. Aquí while es concesivo y significa “aunque”; no expresa simultaneidad. La primera cláusula reconoce una posible pérdida y la oración principal que sigue presenta la conclusión central y más positiva del hablante. May have lost indica que la pérdida posiblemente ocurrió o que puede considerarse razonablemente ocurrida. No significa que los matemáticos tuvieran permiso para perder certeza. Esta forma suaviza la concesión antes de equilibrarla con un beneficio.
Práctica
¿Qué continuación completa mejor este resumen concesivo con una conclusión principal positiva: “So while the trip may have cost more than expected, ...”?
- the tickets had blue numbers printed on them.
- we still made memories we will always value.
- it also took two hours longer than planned.
Ver respuesta
we still made memories we will always value.
they can embrace the unknown at the heart of any quest for truth. Modismos
4:54pueden abrazar lo desconocido en el corazón de cualquier búsqueda de la verdad.
thanks to Gödel: atribuirle a alguien un resultado positivo
Thanks to Gödel es una frase preposicional que significa “debido a la contribución de Gödel” o “gracias a Gödel”. Presenta el resultado positivo que sigue como algo que su trabajo ayudó a hacer posible; no es una expresión directa de agradecimiento. El patrón es thanks to + sintagma nominal. Aquí, el sintagma nominal es Gödel, y toda la frase explica por qué pueden aceptar lo desconocido.
Práctica
Completa con la expresión objetivo de dos palabras que significa “debido a, atribuyendo el resultado de forma positiva”: ____ Noah's quick repair, the robot worked again.
Ver respuesta
Thanks to
aceptar lo desconocido ... en el corazón de toda búsqueda de la verdad
En embrace the unknown, embrace se usa en sentido figurado: significa aceptar de buena gana y afrontar lo que aún no se conoce, no abrazar físicamente algo. Aquí, the unknown incluye la incertidumbre matemática, como afirmaciones que pueden ser verdaderas aunque un sistema determinado no pueda demostrarlas. At the heart of significa “en la parte central o esencial de algo”. Quest for truth presenta la búsqueda de la verdad como un viaje largo y exigente. Como frase de cierre, la oración presenta la incertidumbre como una parte central de la búsqueda de la verdad, no simplemente como un fracaso, y anima a aceptarla.
Práctica
¿Qué opción explica mejor la oración?
- Pueden evitar las preguntas sin respuesta hasta que se demuestren todos los hechos.
- Pueden aceptar la incertidumbre como una parte central de la búsqueda de la verdad.
- Pueden sostener físicamente algo desconocido durante un viaje.
Ver respuesta
Pueden aceptar la incertidumbre como una parte central de la búsqueda de la verdad.
The Pythagorean theorem has more than 350 proofs. Cultura
4:59El teorema de Pitágoras tiene más de 350 demostraciones.
Pythagorean theorem: un resultado demostrado de la geometría
Pythagorean theorem es el nombre establecido de un resultado de geometría sobre los triángulos rectángulos: el cuadrado de la hipotenusa, el lado opuesto al ángulo recto, equivale a la suma de los cuadrados de los otros dos lados. Suele escribirse a^2 + b^2 = c^2. En el nombre, Pythagorean relaciona el resultado con Pitágoras, y theorem significa una afirmación matemática establecida mediante una demostración, no una regla común ni una conjetura sin comprobar. Por eso la oración puede decir que tiene más de 350 demostraciones.
Práctica
¿Qué indica theorem en el nombre Pythagorean theorem?
- Es una conjetura sin comprobar sobre todos los triángulos.
- Es una afirmación matemática establecida mediante una demostración.
- Es una instrucción común del aula.
Ver respuesta
Es una afirmación matemática establecida mediante una demostración.
So what exactly is this mathematical rule about?
5:03Entonces, ¿de qué trata exactamente esta regla matemática?
in the first place: preguntar por el punto de partida original
Aquí, in the first place significa «originalmente» o «al principio». Al final de la pregunta, lleva la atención desde el teorema tal como se conoce ahora hasta la forma en que se demostró por primera vez. Es una expresión idiomática, por lo que place no se refiere a un lugar. En las preguntas, suele añadir énfasis cuando se pide la causa, la razón o la base original de algo.
Práctica
¿Qué función cumple in the first place en esta oración?
- Pregunta dónde se encontraba físicamente la primera demostración.
- Pregunta cómo se estableció originalmente la demostración.
- Pregunta si la demostración obtuvo el primer puesto.
Ver respuesta
Pregunta cómo se estableció originalmente la demostración.
Explore one of the cornerstones of geometry with this video. Modismos
5:10Explora una de las piedras angulares de la geometría con este video.
one of the cornerstones of geometry: una metáfora de fundamento
Cornerstone designa literalmente una piedra situada en la esquina de un edificio. Aquí es una metáfora de una idea básica que sostiene un campo más amplio. Llamar al teorema a cornerstone of geometry significa que es fundamental y muy importante para esta materia. La estructura one of the + sustantivo plural + of indica que es una base importante entre varias, no la única base.
Práctica
Completa la oración con la estructura one of the cornerstones of: Reliable evidence is one ____ good research.
Ver respuesta
of the cornerstones of