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

Dificultad de aprendizaje
687 palabras 141 pal./min

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:06

Considera la siguiente frase: "Esta afirmación es falsa".

Discurso

“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

Cultura

“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?

  1. La oración no tiene sujeto.
  2. “This statement” se refiere a la propia oración.
  3. La palabra “false” solo puede usarse en matemáticas.
Ver respuesta

“This statement” se refiere a la propia oración.

Is that true?

0:11

¿Es eso cierto?

If so, that would make this statement false. Notas

0:12

Si es así, eso haría que esta afirmación sea falsa.

Discurso

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

Gramática

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:14

Pero si es falsa, entonces la afirmación es cierta.

Gramática

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:17

Al referirse a sí misma directamente, esta afirmación crea una paradoja irresoluble.

Gramática

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

Vocabulario

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?

  1. Una regla hace que la misma afirmación sea verdadera y falsa, y no ofrece ninguna salida.
  2. Un problema de matemáticas es difícil, pero tiene una respuesta conocida.
  3. 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.

So if it's not true and it's not false, Discurso

0:22

Entonces, si no es cierta y no es falsa,

what is it?

0:25

¿qué es?

Discurso

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?

  1. Muestra que la clasificación habitual entre verdadero y falso ha fallado e introduce la siguiente idea.
  2. Pregunta dónde se encuentra físicamente la afirmación.
  3. 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:26

Esta pregunta podría parecer un experimento mental tonto.

Intención

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

Vocabulario

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?

  1. Imagine that nobody needed sleep and reason through how schools and jobs would change.
  2. Plant two seeds and record which one grows faster.
  3. 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:29

Pero a principios del siglo XX, llevó al lógico austriaco Kurt Gödel a un descubrimiento que cambiaría las matemáticas para siempre.

Frases

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

Discurso

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?

  1. Una petición cortés para que la idea le cambie la vida.
  2. Una predicción desde el presente sobre un cambio que todavía no ha ocurrido.
  3. 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:37

El descubrimiento de Gödel tenía que ver con las limitaciones de las demostraciones matemáticas.

Frases

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

Vocabulario

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?

  1. mistakes in mathematical proofs
  2. steps in mathematical proofs
  3. 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:42

Una demostración es un argumento lógico que demuestra por qué una afirmación sobre números es cierta.

Discurso

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?

  1. An algorithm can solve a specific problem very quickly.
  2. An algorithm is a set of steps that solves a specific problem.
  3. Can an algorithm solve this specific problem?
Ver respuesta

An algorithm is a set of steps that solves a specific problem.

Gramática

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?

  1. The teacher explained why was the answer correct.
  2. Why was the answer correct?
  3. The teacher explained why the answer was correct.
Ver respuesta

The teacher explained why the answer was correct.

The building blocks of these arguments are called axioms, Notas

0:48

Los componentes básicos de estos argumentos se llaman axiomas,

undeniable statements about the numbers involved. Vocabulario

0:52

afirmaciones innegables sobre los números involucrados.

Modismos

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

Gramática

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

Vocabulario

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?

  1. los números que son difíciles de calcular
  2. los números pertinentes para el asunto
  3. los números que ya han sido demostrados
Ver respuesta

los números pertinentes para el asunto

Every system built on mathematics, Frases

0:55

Todo sistema construido sobre las matemáticas,

from the most complex proof to basic arithmetic, Discurso

0:57

desde la demostración más compleja hasta la aritmética básica,

Discurso

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

is constructed from axioms.

1:00

está construido a partir de axiomas.

Frases

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

And if a statement about numbers is true, Gramática

1:03

Y si una afirmación sobre números es cierta,

mathematicians should be able to confirm it with an axiomatic proof.

1:05

los matemáticos deberían poder confirmarla con una demostración axiomática.

Gramá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?

  1. If the code is correct, the user must sign in.
  2. If the code is correct, the user should be able to sign in.
  3. 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.

Since ancient Greece,

1:10

Desde la antigua Grecia,

mathematicians used this system to prove or disprove mathematical claims with total certainty. Frases

1:11

los matemáticos usaron este sistema para probar o refutar afirmaciones matemáticas con total certeza.

Frases

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

Frases

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

But when Gödel entered the field, Vocabulario

1:18

Pero cuando Gödel entró en este campo,

Vocabulario

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:20

algunas paradojas lógicas recién descubiertas estaban amenazando esa certeza.

Modismos

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?

  1. The child whispered a warning to her friend.
  2. Several errors threatened confidence in the report.
  3. 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:26

Matemáticos prominentes estaban ansiosos por demostrar que las matemáticas no tenían contradicciones.

Frases

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

Vocabulario

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?

  1. Los problemas matemáticos nunca eran difíciles.
  2. El sistema no podía establecer conclusiones incompatibles entre sí.
  3. Los matemáticos estaban de acuerdo en todas las cuestiones.
Ver respuesta

El sistema no podía establecer conclusiones incompatibles entre sí.

Gödel himself wasn't so sure, Intención

1:31

El propio Gödel no estaba tan seguro,

Intención

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?

  1. Gödel desconocía por completo el problema.
  2. Gödel rechazaba tajantemente todos los enfoques matemáticos.
  3. 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:33

y estaba aún menos convencido de que las matemáticas fueran la herramienta adecuada para investigar este problema.

Frases

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

Vocabulario

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:40

Aunque es relativamente fácil crear una paradoja autorreferencial con palabras,

Gramática

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?

  1. While the instructions look simple, the machine is difficult to operate.
  2. While I was washing the dishes, the doorbell rang.
  3. Please wait here while I check the schedule.
Ver respuesta

While the instructions look simple, the machine is difficult to operate.

Vocabulario

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?

  1. Una afirmación crea una contradicción al referirse a sí misma.
  2. Una persona se niega a compartir con los demás.
  3. 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:45

los números normalmente no hablan de sí mismos.

Modismos

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”?

  1. Los números prefieren hablar de otros números.
  2. Los números generalmente no se refieren ni se describen a sí mismos.
  3. 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, Discurso

1:48

Una afirmación matemática es simplemente cierta o falsa,

but Gödel had an idea. Discurso

1:52

pero Gödel tuvo una idea.

Discurso

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?

  1. Establece un marco conocido de verdadero o falso antes de que la oración cambie de rumbo.
  2. Dice que todas las partes de las matemáticas son fáciles.
  3. 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.

Discurso

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?

  1. Pasa de la regla de contexto a una idea nueva que se explicará a continuación.
  2. Demuestra que la idea de Gödel ya era correcta.
  3. 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:54

Primero, tradujo afirmaciones y ecuaciones matemáticas en números de código,

Frases

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:59

de modo que una idea matemática compleja pudiera expresarse en un solo número.

Gramática

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

This meant that mathematical statements written with those numbers Discurso

2:03

Esto significaba que las afirmaciones matemáticas escritas con esos números

were also expressing something about the encoded statements of mathematics. Vocabulario

2:07

también expresaban algo sobre las afirmaciones codificadas de las matemáticas.

Discurso

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?

  1. Introduce un hecho sin relación con el paso anterior.
  2. Da una definición de diccionario de la palabra mathematics.
  3. 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.

Vocabulario

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?

  1. Los enunciados se han convertido en una forma codificada.
  2. Los enunciados se han ocultado sin duda para mantenerlos en secreto.
  3. 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.

In this way,

2:12

De esta manera,

the coding allowed mathematics to talk about itself. Modismos

2:13

la codificación permitió que las matemáticas hablaran de sí mismas.

Modismos

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?

  1. Hizo que las matemáticas hablaran en voz alta.
  2. Hizo posible que las matemáticas expresaran enunciados sobre sí mismas.
  3. Dio permiso a los matemáticos para hablar sobre codificación.
Ver respuesta

Hizo posible que las matemáticas expresaran enunciados sobre sí mismas.

Through this method,

2:16

A través de este método,

he was able to write: "This statement cannot be proved" as an equation, Notas

2:17

pudo escribir: "Esta afirmación no puede ser probada" como una ecuación,

Cultura

“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?

  1. Dice que ese mismo enunciado no puede demostrarse dentro del sistema.
  2. Dice que este enunciado no puede demostrar otra ecuación.
  3. 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:22

creando la primera afirmación matemática autorreferencial.

Gramática

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:27

Sin embargo, a diferencia de la oración ambigua que lo inspiró,

Discurso

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:31

las afirmaciones matemáticas deben ser ciertas o falsas.

Gramática

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?

  1. El marco lógico exige que cada enunciado tenga uno de los dos valores.
  2. Los enunciados prometen decir la verdad.
  3. 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? Discurso

2:34

Entonces, ¿cuál es?

Discurso

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?

  1. Vuelve a centrar la conversación en elegir entre esas posibilidades.
  2. Introduce un tema nuevo sin relación con el razonamiento anterior.
  3. Afirma que las dos posibilidades son definitivamente correctas.
Ver respuesta

Vuelve a centrar la conversación en elegir entre esas posibilidades.

If it's false, Discurso

2:36

Si es falsa,

that means the statement does have a proof. Gramática

2:37

eso significa que la afirmación sí tiene una demostración.

Discurso

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”?

  1. Introduce la conclusión que se deduce de la condición.
  2. Traduce la palabra “blank”.
  3. Inicia un tema sin relación.
Ver respuesta

Introduce la conclusión que se deduce de la condición.

Gramática

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

But if a mathematical statement has a proof, Gramática

2:40

Pero si una afirmación matemática tiene una demostración,

then it must be true.

2:42

entonces debe ser cierta.

Gramática

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:44

Esta contradicción significa que la afirmación de Gödel no puede ser falsa,

Discurso

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 ...?

  1. Resume una incoherencia e introduce la conclusión que se extrae de ella.
  2. Cambia el tema a un ejemplo no relacionado.
  3. 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.

Gramática

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”?

  1. No está permitido que la respuesta sea falsa.
  2. El hablante no tiene la capacidad de hacer que la respuesta sea falsa.
  3. Es lógicamente imposible que la respuesta sea falsa.
Ver respuesta

Es lógicamente imposible que la respuesta sea falsa.

and therefore, Discurso

2:48

y por lo tanto,

it must be true that this statement cannot be proved.

2:49

debe ser cierto que esta afirmación no puede ser probada.

Discurso

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 this result is even more surprising because it means we now have a true equation of mathematics Notas

2:54

Sin embargo, este resultado es aún más sorprendente porque significa que ahora tenemos una ecuación matemática verdadera

that asserts it cannot be proved. Vocabulario

3:01

que afirma que no puede ser probada.

Discurso

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?

  1. Dice que el resultado todavía no ha ocurrido.
  2. Introduce una razón, pero no establece ningún contraste con un punto anterior.
  3. 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.

Vocabulario

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?

  1. Una ecuación que existe realmente, sea o no verdadera su afirmación matemática.
  2. Una ecuación cuya afirmación matemática es verdadera.
  3. Una ecuación que utiliza únicamente números reales.
Ver respuesta

Una ecuación cuya afirmación matemática es verdadera.

Vocabulario

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?

  1. Demuestra la afirmación con razones que la respaldan.
  2. Habla con una voz muy alta.
  3. 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:04

Esta revelación es el núcleo del teorema de incompletitud de Gödel,

Modismos

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

Cultura

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?

  1. La afirmación de que las matemáticas no tienen demostraciones válidas.
  2. Una demostración sin terminar que necesita más páginas.
  3. 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:08

el cual introduce una clase de afirmación matemática completamente nueva.

Gramática

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

In Gödel's paradigm, Vocabulario

3:13

En el paradigma de Gödel,

statements still are either true or false, Gramática

3:14

las afirmaciones siguen siendo ciertas o falsas,

but true statements can either be provable or unprovable within a given set of axioms. Vocabulario

3:17

pero las afirmaciones verdaderas pueden ser demostrables o indemostrables dentro de un conjunto dado de axiomas.

Vocabulario

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?

  1. una sola fórmula matemática
  2. un marco amplio para comprender y organizar ideas
  3. un caso ilustrativo
Ver respuesta

un marco amplio para comprender y organizar ideas

Gramática

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

Vocabulario

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?

  1. La demostrabilidad se evalúa usando un conjunto específico de axiomas.
  2. Todos los conjuntos de axiomas demuestran el enunciado.
  3. El enunciado está rodeado físicamente por axiomas.
Ver respuesta

La demostrabilidad se evalúa usando un conjunto específico de axiomas.

Furthermore,

3:24

Además,

Gödel argues these unprovable true statements exist in every axiomatic system. Vocabulario

3:25

Gödel sostiene que estas afirmaciones verdaderas indemostrables existen en todo sistema axiomático.

Vocabulario

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?

  1. Son enunciados verdaderos cuyas demostraciones aún no se han encontrado, pero sin duda se encontrarán.
  2. Son falsos porque no existe una demostración.
  3. 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:32

Esto hace que sea imposible crear un sistema perfectamente completo usando las matemáticas

Gramática

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:38

porque siempre habrá afirmaciones verdaderas que no podamos probar.

Gramática

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:42

Incluso si tomas en cuenta estas afirmaciones indemostrables añadiéndolas como nuevos axiomas a un sistema matemático ampliado,

Gramática

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

Phrasal verbs

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?

  1. Depender de las afirmaciones
  2. Explicar por qué las afirmaciones son verdaderas
  3. 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:49

ese mismo proceso introduce nuevas afirmaciones verdaderas indemostrables.

Discurso

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?

  1. The exact decision already mentioned caused the delay.
  2. The decision was extremely difficult.
  3. A different decision prevented the delay.
Ver respuesta

The exact decision already mentioned caused the delay.

No matter how many axioms you add, Gramática

3:55

No importa cuántos axiomas añadas,

Gramática

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:57

siempre habrá afirmaciones verdaderas indemostrables en tu sistema.

Gramática

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?

  1. El sistema quizá contenga enunciados que probablemente sean verdaderos.
  2. El sistema contendrá inevitablemente algunos enunciados verdaderos que no pueden demostrarse dentro de él.
  3. 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. Modismos

4:01

Es un bucle de Gödel sin fin.

Modismos

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?

  1. Un solo teorema resuelve todas las posibles ampliaciones del sistema.
  2. Varias personas llamadas Gödel están bajando.
  3. 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:04

Esta revelación sacudió los cimientos del campo,

Modismos

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?

  1. Cuestionó profundamente las creencias básicas del campo.
  2. Produjo un cambio pequeño y rutinario en el campo.
  3. 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:07

aplastando a quienes soñaban con que toda afirmación matemática algún día sería probada o refutada.

Discurso

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?

  1. Because the storm closed the airport, hundreds of travelers were stranded.
  2. The storm closed the airport and hundreds of travelers waited nearby.
  3. The storm closed the airport, leaving hundreds of travelers stranded.
Ver respuesta

The storm closed the airport, leaving hundreds of travelers stranded.

Gramática

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 mathematicians accepted this new reality, Discurso

4:13

Si bien la mayoría de los matemáticos aceptaron esta nueva realidad,

some fervently debated it. Vocabulario

4:16

algunos la debatieron fervientemente.

Discurso

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.”

  1. Contrasta las reacciones de dos grupos.
  2. Explica la razón por la que algunas personas se opusieron al plan.
  3. Indica que dos acciones duraron exactamente lo mismo.
Ver respuesta

Contrasta las reacciones de dos grupos.

Vocabulario

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?

  1. Debatieron con un fuerte sentimiento y convicción.
  2. Debatieron muchas veces.
  3. 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:19

Otros aún intentaron ignorar el agujero recién descubierto en el corazón de su campo.

Discurso

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?

  1. Most families went home, and every family left at the same time.
  2. Most families went home, but others still waited for the final announcement.
  3. 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.

Modismos

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?

  1. Una limitación grave recién descubierta en el centro de su campo académico
  2. Un agujero físico excavado recientemente en medio de una granja
  3. 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:24

Pero a medida que se demostraba que más problemas clásicos eran afirmaciones verdaderas indemostrables,

Gramática

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?

  1. As more evidence emerged, the team grew more confident.
  2. The box is as heavy as the chair.
  3. 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:28

algunos comenzaron a preocuparse de que el trabajo de su vida sería imposible de completar.

Frases

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?

  1. After an hour with no reply, Leo began to worry that something was wrong.
  2. After an hour with no reply, Leo never worried that something was wrong.
  3. 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.

Frases

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?

  1. Al trabajo principal al que habían dedicado muchos años
  2. A los trabajos que pensaban hacer durante una tarde
  3. 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:33

Aun así, el teorema de Gödel abrió tantas puertas como cerró.

Modismos

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?

  1. The new rule opened as many doors as it closed.
  2. The new rule opened a door after the office closed.
  3. 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:37

El conocimiento de afirmaciones verdaderas indemostrables inspiró innovaciones clave en las primeras computadoras.

Frases

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

And today,

4:43

Y hoy en día,

some mathematicians dedicate their careers to identifying provably unprovable statements. Notas

4:43

algunos matemáticos dedican sus carreras a identificar afirmaciones demostrablemente indemostrables.

Frases

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

Vocabulario

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?

  1. Probablemente sea difícil demostrar los enunciados.
  2. Se puede demostrar que los enunciados son indemostrables.
  3. 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:50

Así que, aunque los matemáticos pueden haber perdido algo de certeza,

Discurso

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, ...”?

  1. the tickets had blue numbers printed on them.
  2. we still made memories we will always value.
  3. it also took two hours longer than planned.
Ver respuesta

we still made memories we will always value.

thanks to Gödel, Frases

4:53

gracias a Gödel,

they can embrace the unknown at the heart of any quest for truth. Modismos

4:54

pueden abrazar lo desconocido en el corazón de cualquier búsqueda de la verdad.

Frases

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

Modismos

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?

  1. Pueden evitar las preguntas sin respuesta hasta que se demuestren todos los hechos.
  2. Pueden aceptar la incertidumbre como una parte central de la búsqueda de la verdad.
  3. 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:59

El teorema de Pitágoras tiene más de 350 demostraciones.

Cultura

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?

  1. Es una conjetura sin comprobar sobre todos los triángulos.
  2. Es una afirmación matemática establecida mediante una demostración.
  3. 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:03

Entonces, ¿de qué trata exactamente esta regla matemática?

And how was it proven in the first place? Frases

5:07

Y ¿cómo se probó en primer lugar?

Frases

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?

  1. Pregunta dónde se encontraba físicamente la primera demostración.
  2. Pregunta cómo se estableció originalmente la demostración.
  3. 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:10

Explora una de las piedras angulares de la geometría con este video.

Modismos

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