O paradoxo no coração da matemática: O Teorema da Incompletude de Gödel - Marcus du Sautoy: material de estudo de inglês
TED-Ed
Visão geral do vídeo: Um paradoxo autorreferente leva Kurt Gödel a investigar os limites da prova matemática. Ao codificar enunciados como números, ele mostrou que todo sistema axiomático contém verdades que não podem ser provadas dentro dele, derrubando a esperança de um sistema perfeitamente completo e, ao mesmo tempo, abrindo novos caminhos para a matemática e a computação. Principais pontos de inglês: 1. Consider the following sentence: — Discurso, narrativa e retórica. Aprenda a usar este marcador acadêmico conciso para direcionar claramente a atenção a uma frase, um exemplo ou um problema que será analisado em seguida, criando uma transição deliberada para a explicação. 2. Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, — Gramática e padrões de frase. Perceba como Even if introduz uma concessão, enquanto by adding e as detalham a solução proposta: a conclusão continua válida apesar da ampliação do sistema. Use o padrão para avaliar se uma medida corretiva realmente altera um resultado inevitável. 3. Still, Gödel's theorem opened as many doors as it closed. — Expressões idiomáticas e figuradas. Entenda a metáfora equilibrada das portas como a ideia de que um avanço cria oportunidades e, ao mesmo tempo, impõe limitações comparáveis. Use as many ... as ... para resumir consequências mistas sem reduzi-las a algo apenas positivo ou negativo.
Nesta lição
Consider the following sentence: "This statement is false." Notas
0:06Considere a seguinte frase: "Esta afirmação é falsa."
“Consider the following sentence:” como expressão introdutória
“Consider the following sentence:” é uma instrução que direciona a atenção para a frase depois dos dois-pontos. Aqui, consider significa “examinar com atenção e pensar”, não “decidir se aceita algo”. A expressão organiza a informação ao anunciar que tipo de elemento virá em seguida. O substantivo pode mudar para example, question ou case, enquanto a estrutura “Consider the following ...” permanece igual.
Prática
Complete a expressão introdutória exata usada para apresentar uma frase para análise: ____: "Water freezes at zero degrees Celsius."
Ver resposta
Consider the following sentence
“This statement is false.”: autorreferência e paradoxo do mentiroso
Neste enigma, “this statement” é entendido como uma referência à própria frase que o contém. Isso torna a frase autorreferente: ela faz uma afirmação sobre seu próprio valor de verdade. Se a frase for verdadeira, o que ela diz a torna falsa. Se for falsa, sua afirmação de que é falsa parece verdadeira. Essa alternância entre verdadeiro e falso é a forma básica do paradoxo do mentiroso.
Prática
Por que “This statement is false.” cria um paradoxo neste enigma?
- A frase não tem sujeito.
- A palavra “false” só pode ser usada em matemática.
- “This statement” se refere à própria frase.
Ver resposta
“This statement” se refere à própria frase.
If so, that would make this statement false. Notas
0:12Se sim, isso faria com que esta afirmação fosse falsa.
If so: retomando uma condição anterior
If so significa “se isso for verdade” ou “se esse for o caso”. Aqui, so retoma toda a ideia mencionada logo antes. A expressão transforma essa ideia anterior em uma condição para a afirmação seguinte. Assim, mantém o raciocínio claro sem repetir a ideia inteira.
Prática
Complete a frase com a expressão de duas palavras desta lição que significa “se isso for verdade”: The library may still be open. ____, we can return the books tonight.
Ver resposta
If so
would make + objeto + adjetivo para um resultado hipotético
O padrão would make + objeto + adjetivo descreve o resultado que uma condição hipotética causaria. Na frase, this statement é o objeto, e false é o adjetivo que descreve o estado que ele teria. Aqui, make é causativo: significa “fazer com que algo se torne ou fique de determinada maneira”, e não “criar”. Would mostra que o resultado depende da suposição anterior, em vez de ser um fato certo.
Prática
Use would make + objeto + adjetivo para completar o resultado hipotético: Removing the warning label ____ the box unsafe.
Ver resposta
would make
But if it's false, then the statement is true. Gramática
0:14Mas, se for falsa, então a afirmação é verdadeira.
if ... then ...: marcar uma condição e sua conclusão
A oração com if apresenta a condição: “ela é falsa”. A oração com then apresenta a conclusão que decorre dessa condição: “a afirmação é verdadeira”. Nesse padrão, then significa “nesse caso”, e não “depois” no tempo. A estrutura facilita o acompanhamento de uma etapa do raciocínio: primeiro se apresenta a suposição e depois se diz o que decorre dela. Aqui, a ligação clara entre condição e conclusão ajuda a mostrar o paradoxo.
Prática
Complete a afirmação lógica com if ... then ...: ____ a number ends in zero, ____ it is divisible by ten.
Ver resposta
If · then
By referring to itself directly, this statement creates an unresolvable paradox. Notas
0:17Ao referir-se a si mesma diretamente, esta afirmação cria um paradoxo irresolúvel.
By referring to itself directly: by + gerúndio para indicar o método
A expressão inicial usa by + gerúndio: by + referring. Ela indica o processo que produz o resultado principal. Referring to itself significa que a afirmação fala diretamente sobre ela mesma. Colocar a expressão no início apresenta o método ou mecanismo antes do resultado. O sujeito da oração principal, this statement, também realiza a ação de referring, por isso as duas partes ficam claramente conectadas.
Prática
Use by + a forma em -ing de read para completar a frase: ____ the instructions carefully, Mia finished the project correctly.
Ver resposta
By reading
unresolvable paradox: uma contradição sem solução estável
A expressão unresolvable paradox descreve uma contradição que não pode receber uma solução estável dentro das regras ou do modelo usado. Aqui, classificar a afirmação como true ou false leva novamente a uma contradição. Unresolvable significa “que não pode ser resolvido”, e não apenas “ainda não resolvido”. Paradox dá nome à situação de conflito lógico, por isso a expressão é mais precisa do que problem.
Prática
Qual situação é mais bem descrita como an unresolvable paradox?
- Uma regra torna a mesma afirmação verdadeira e falsa e não oferece nenhuma saída.
- Um problema de matemática é difícil, mas tem uma resposta conhecida.
- Uma pergunta ainda não foi respondida porque ninguém a verificou.
Ver resposta
Uma regra torna a mesma afirmação verdadeira e falsa e não oferece nenhuma saída.
Se não é verdadeiro nem falso, o que é?: uma pergunta retórica
A oração com if reúne em uma só condição as duas classificações que falharam, true e false. A pergunta final coloca a categoria ausente na posição de maior destaque. Neste contexto, what is it? não pergunta principalmente o nome de um objeto. É uma pergunta retórica que mostra que a divisão habitual entre true e false deixou de funcionar e conduz o ouvinte à próxima parte da explicação. It se refere à afirmação autorreferente.
Prática
Qual é a principal função discursiva da pergunta destacada neste contexto?
- Ela anuncia que a afirmação é definitivamente falsa.
- Ela pergunta onde a afirmação está fisicamente localizada.
- Ela mostra que a classificação habitual entre verdadeiro e falso falhou e introduz a próxima ideia.
Ver resposta
Ela mostra que a classificação habitual entre verdadeiro e falso falhou e introduz a próxima ideia.
This question might seem like a silly thought experiment. Notas
0:26Esta pergunta pode parecer uma experiência mental tola.
might seem like: suavizar uma primeira impressão
Nesta frase, might seem like indica que algo pode causar uma determinada primeira impressão. seem like apresenta uma aparência ou impressão, enquanto might deixa a afirmação ainda menos direta. O falante reconhece brevemente como a pergunta pode parecer ao público sem concordar que ela realmente seja boba. Essa formulação costuma preparar um contraste: algo pode parecer de uma forma, mas o ponto seguinte mostra que essa primeira impressão está incompleta.
Prática
Complete a frase com a expressão-alvo de três palavras que apresenta uma primeira impressão de forma atenuada: This shortcut ____ a good idea, but it creates more work.
Ver resposta
might seem like
silly thought experiment: um teste imaginário de uma ideia
Um thought experiment é uma situação imaginária usada para testar uma ideia, um princípio ou uma consequência lógica. Ele pode não envolver equipamentos, medições nem procedimentos no mundo real; o raciocínio vem da pergunta sobre o que aconteceria se as condições imaginadas fossem verdadeiras. Aqui, silly descreve a primeira impressão criada pela expressão completa might seem like a silly thought experiment. O falante não está descartando a pergunta como algo sem valor; a formulação deixa espaço para mostrar que a pergunta aparentemente boba é importante.
Prática
Qual opção é um experimento mental, e não um experimento realizado no 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 resposta
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:29Mas, no início do século XX, levou o lógico austríaco Kurt Gödel a uma descoberta que mudaria a matemática para sempre.
led Austrian logician Kurt Gödel to a discovery: levar alguém a um resultado
A estrutura é lead + pessoa + to + resultado. Aqui, led é o passado de lead. A pessoa afetada é todo o sintagma nominal Austrian logician Kurt Gödel, e to a discovery indica o resultado. Nesta frase, it se refere ao problema do paradoxo mencionado antes. A expressão apresenta esse problema como a causa ou o caminho que levou Gödel à descoberta, e não como um deslocamento literal. Esse padrão explica como evidências, perguntas ou experiências produzem um resultado.
Prática
Complete a frase com o passado de lead e a preposição necessária: A strange clue ____ the detective ____ an important discovery.
Ver resposta
led · to
that would change mathematics forever: o futuro visto do passado
A oração relativa that would change mathematics forever modifica a discovery e explica por que essa descoberta é importante. Ela coloca a informação nova depois do substantivo, de modo que a frase primeiro apresenta a descoberta e depois revela seu impacto posterior. Como o ponto de vista da narrativa está no início do século XX, would change indica que a mudança ainda estava no futuro a partir daquele momento passado. O narrador já conhece o resultado posterior, mas o apresenta como futuro visto daquele momento anterior. É o futuro no passado, não um pedido educado. Forever acrescenta ênfase dramática à importância duradoura.
Prática
Na frase She found an idea that would change her life, o que would change indica?
- Um pedido educado para que a ideia mudasse a vida dela.
- Uma mudança posterior vista de um ponto anterior da história.
- Uma previsão feita no presente sobre uma mudança que ainda não aconteceu.
Ver resposta
Uma mudança posterior vista de um ponto anterior da história.
Gödel's discovery had to do with the limitations of mathematical proofs. Notas
0:37A descoberta de Gödel tinha a ver com as limitações das provas matemáticas.
had to do with: estava relacionado a
Had to do with é a forma no passado de have to do with. Como expressão completa, significa “estava relacionado a” ou “tinha relação com”. Aqui, ela relaciona a descoberta de Gödel às limitações das demonstrações matemáticas. Não separe had to para interpretá-lo como “era obrigado a fazer”. Nessa estrutura, had coloca toda a expressão de relação no passado, e with introduz o assunto relacionado.
Prática
Complete a frase com a forma no passado de have to do with: The delay ____ a damaged cable.
Ver resposta
had to do with
limitations of mathematical proofs: limites, não erros
Nesta frase, limitations of mathematical proofs significa os limites do que os sistemas de demonstração matemática conseguem estabelecer. Uma limitação é algo que o método ou sistema não consegue ultrapassar, e não necessariamente um erro em uma demonstração específica. O sintagma com of indica aquilo cuja capacidade tem limites: mathematical proofs. O padrão formal the limitations of X é útil para falar sobre o que um método, uma ferramenta ou um sistema consegue ou não consegue fazer.
Prática
Qual expressão significa os limites do que os sistemas de demonstração conseguem estabelecer, e não erros em demonstrações individuais?
- steps in mathematical proofs
- limitations of mathematical proofs
- mistakes in mathematical proofs
Ver resposta
limitations of mathematical proofs
A proof is a logical argument that demonstrates why a statement about numbers is true. Notas
0:42Uma prova é um argumento lógico que demonstra por que uma afirmação sobre números é verdadeira.
A proof is a logical argument that demonstrates ...: uma definição em duas partes
O padrão A proof is a logical argument that demonstrates ... define proof em duas etapas. A proof is a logical argument coloca proof na categoria geral logical argument, e that demonstrates ... acrescenta a função que define esse tipo de argumento. Aqui, argument significa um conjunto encadeado de razões, não uma briga. Você pode reutilizar X is a Y that ... para definir algo: primeiro nomeie a categoria e depois a finalidade ou característica principal.
Prática
Qual frase segue o mesmo padrão de informação: termo + is + categoria + uma oração com that que descreve sua função?
- Can an algorithm solve this specific problem?
- An algorithm is a set of steps that solves a specific problem.
- An algorithm can solve a specific problem very quickly.
Ver resposta
An algorithm is a set of steps that solves a specific problem.
why a statement about numbers is true: ordem da oração encaixada com why
Em demonstrates why a statement about numbers is true, a oração com why apresenta o conteúdo daquilo que a demonstração mostra. É uma pergunta encaixada, não uma pergunta direta ao ouvinte. Uma pergunta encaixada com why usa a ordem declarativa: why + sujeito + verbo. Por isso, a frase diz why a statement ... is true, e não why is a statement ... true.
Prática
Qual frase usa a ordem correta em uma oração encaixada com why?
- Why was the answer correct?
- The teacher explained why was the answer correct.
- The teacher explained why the answer was correct.
Ver resposta
The teacher explained why the answer was correct.
undeniable statements about the numbers involved. Vocabulário
0:52afirmações inegáveis sobre os números envolvidos.
building blocks: partes básicas de um sistema maior
Building blocks significa literalmente peças usadas para construir algo. Aqui, a expressão é uma metáfora para as partes básicas a partir das quais um sistema ou uma ideia maior é construído. Nesta frase, os axiomas são apresentados como as partes básicas dos argumentos matemáticos. O padrão the building blocks of + substantivo ajuda a identificar os componentes essenciais de muitas coisas abstratas.
Prática
Complete a frase com a expressão de duas palavras da lição que significa “partes básicas”: Trust and communication are the ____ of a strong team.
Ver resposta
building blocks
are called axioms: o padrão be called + nome
Em are called axioms, are called é uma estrutura passiva: o sujeito recebe o nome axioms. O sujeito é a expressão plural The building blocks of these arguments, portanto a forma correta de be é are. O padrão reutilizável é subject + be called + name. Esse padrão apresenta um termo sem destacar quem escolheu o nome. A vírgula depois de axioms introduz uma breve explicação do que são axiomas.
Prática
Complete a frase com o padrão passivo de nomeação be called: Closed shapes with three sides ____ triangles.
Ver resposta
are called
undeniable statements ... the numbers involved: afirmações inegáveis e os números envolvidos
Aqui, undeniable statements significa afirmações apresentadas como não estando razoavelmente abertas a contestação. A expressão descreve os axiomas como afirmações básicas capazes de sustentar raciocínios matemáticos posteriores. Em the numbers involved, involved vem depois de numbers e significa que esses números são relevantes para o sistema discutido ou estão incluídos nele. Não significa que os números sejam complicados.
Prática
Na expressão the numbers involved, o que involved significa?
- os números difíceis de calcular
- os números que já foram provados
- os números relevantes para o assunto
Ver resposta
os números relevantes para o assunto
from the most complex proof to basic arithmetic, Discurso
0:57da prova mais complexa à aritmética básica,
from the most complex proof to basic arithmetic: marcar um intervalo
Nesta frase, from A to B indica as duas extremidades de um intervalo. Aqui, os extremos são a demonstração mais complexa e a aritmética básica; portanto, a frase quer dizer que o conteúdo de todo o intervalo está incluído e não descreve movimento. Ao aparecer junto de um sintagma nominal mais amplo, como every system, o intervalo acrescenta informação sobre a abrangência. Ele mostra que uma afirmação se aplica a níveis muito diferentes, de um extremo ao outro.
Prática
Complete a frase com from ... to ... para mostrar todo o intervalo: The workshop welcomes participants ____ complete beginners ____ experienced designers.
Ver resposta
from · to
built on ... constructed from axioms: base e elementos constituintes
As duas expressões usam a construção como metáfora para um sistema abstrato. Built on mathematics indica de qual base o sistema depende; constructed from axioms indica quais elementos básicos são usados para formá-lo. Na frase, built on mathematics é uma forma reduzida de that is built on mathematics e modifica every system. O predicado principal é is constructed from axioms.
Prática
Use built e constructed para completar a frase: The platform is ____ open-source technology and ____ reusable modules.
Ver resposta
built on · constructed from
mathematicians should be able to confirm it with an axiomatic proof.
1:05os matemáticos devem ser capazes de confirmá-la com uma prova axiomática.
if ... should be able to ...: expressar uma capacidade esperada
A oração com if estabelece uma condição: uma afirmação sobre números é verdadeira. A oração principal diz então que os matemáticos deveriam ser capazes de confirmá-la por meio de uma demonstração axiomática. Aqui, should não dá uma ordem aos matemáticos. Ele indica o que a teoria nos leva a esperar: se a condição for atendida, a confirmação deverá ser possível. Be able to concentra essa expectativa na capacidade.
Prática
Qual frase expressa uma expectativa razoável de capacidade baseada em uma condição, em vez de uma afirmação direta de capacidade ou uma exigência?
- If the code is correct, the user can sign in.
- If the code is correct, the user should be able to sign in.
- If the code is correct, the user must sign in.
Ver resposta
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:11os matemáticos usavam esse sistema para provar ou refutar alegações matemáticas com total certeza.
prove or disprove: provar que uma afirmação é verdadeira ou falsa
To prove or disprove a claim significa resolver uma afirmação em uma de duas direções: prove é mostrar que ela é verdadeira, e disprove é mostrar que ela é falsa. Disprove é mais forte do que simplesmente discordar. Ele envolve evidências ou raciocínio que derrubam a afirmação. O objeto depois desse par é a afirmação que está sendo testada; na frase original, é mathematical claims.
Prática
Complete a frase com a expressão dupla desta lição que significa “demonstrar como verdadeiro ou demonstrar como falso”: A second measurement could ____ the scientist's claim.
Ver resposta
prove or disprove
with total certainty: sem nenhuma dúvida
With total certainty é uma expressão preposicional que indica o grau de confiança com que algo é conhecido ou estabelecido. Nesta frase, ela modifica prove or disprove e afirma que o resultado não deixa nenhuma dúvida. Aqui, certainty é a ideia abstrata e incontável de estar certo, e não uma “coisa determinada”. Total eleva o grau de certeza ao nível mais forte.
Prática
Complete a frase com a expressão desta lição que significa “sem nenhuma dúvida restante”: After checking the original file, Maya could identify the author ____.
Ver resposta
with total certainty
entered the field: começar a trabalhar em uma área profissional
Aqui, field significa uma área de estudo ou de trabalho profissional, especificamente matemática e lógica, e não um campo de terra. Gödel entered the field significa que Gödel começou a participar do trabalho e da pesquisa nessa área. Esse uso é comum quando alguém inicia uma carreira ou passa a atuar em uma disciplina. Se a área ainda não tiver sido mencionada, acrescente of + nome da área, como em the field of robotics.
Prática
Complete a frase com a expressão de três palavras desta lição que significa «começou a trabalhar nessa área profissional»: After finishing her cybersecurity training, Ava ____.
Ver resposta
entered the field
some newly uncovered logical paradoxes were threatening that certainty. Figurado
1:20alguns paradoxos lógicos recém-descobertos estavam ameaçando essa certeza.
were threatening that certainty: colocar uma ideia abstrata em risco
Os paradoxos recém-descobertos são apresentados como um perigo ativo para essa certeza. Threaten não significa que eles falaram ou fizeram um aviso; significa que sua existência poderia enfraquecer ou destruir a sensação anterior de certeza total. O passado progressivo were threatening mostra o perigo se desenvolvendo naquele momento da narrativa. De modo geral, uma causa abstrata pode threaten um resultado abstrato, como confiança, estabilidade ou certeza, quando o coloca em sério risco.
Prática
Qual frase usa threaten da mesma forma abstrata que o exemplo?
- The speaker threatened the audience with punishment.
- The child whispered a warning to her friend.
- Several errors threatened confidence in the report.
Ver resposta
Several errors threatened confidence in the report.
Prominent mathematicians were eager to prove that mathematics had no contradictions. Notas
1:26Matemáticos proeminentes estavam ansiosos para provar que a matemática não tinha contradições.
were eager to prove: a estrutura be eager to + verbo
Em were eager to prove, were marca o passado, e eager expressa um desejo forte e ativo. A estrutura é be eager to + verbo na forma base; por isso, prove permanece na forma base depois de to. Aqui, a expressão mostra que esses matemáticos renomados estavam muito motivados a comprovar um resultado, com mais intensidade do que simplesmente dizer they wanted to prove it.
Prática
Complete a frase com a forma passada de be eager to: The researchers ____ confirm the result.
Ver resposta
were eager to
mathematics had no contradictions: consistência lógica
Em mathematics had no contradictions, contradiction é usado no sentido da lógica formal. Um sistema contém uma contradição se suas regras permitem estabelecer tanto uma afirmação quanto sua negação; dizer que had no contradictions descreve sua consistência. Had apresenta essa consistência de uma perspectiva passada, como a afirmação que os matemáticos queriam comprovar naquele momento. A frase avalia o próprio sistema, não afirma que todos os problemas matemáticos eram fáceis.
Prática
Na frase mathematics had no contradictions, qual interpretação está correta?
- O sistema não podia estabelecer conclusões conflitantes entre si.
- Os problemas matemáticos nunca eram difíceis.
- Os matemáticos concordavam sobre todas as questões.
Ver resposta
O sistema não podia estabelecer conclusões conflitantes entre si.
himself wasn't so sure: ênfase pessoal e dúvida moderada
Aqui, himself é um pronome reflexivo com função enfática. Ele põe o foco no próprio Gödel e contrapõe a opinião dele à dos matemáticos de destaque mencionados antes. Wasn't so sure indica que ele tinha dúvidas ou reservas. É uma forma moderada de expressar incerteza, não uma afirmação de que ele não sabia nada, nem necessariamente uma rejeição forte.
Prática
Qual interpretação combina melhor com Gödel himself wasn't so sure?
- O próprio Gödel tinha algumas dúvidas, ao contrário do grupo mais confiante.
- Gödel rejeitava firmemente todas as abordagens matemáticas.
- Gödel desconhecia completamente o problema.
Ver resposta
O próprio Gödel tinha algumas dúvidas, ao contrário do grupo mais confiante.
and he was even less confident that mathematics was the right tool to investigate this problem. Notas
1:33e ele estava ainda menos confiante de que a matemática era a ferramenta certa para investigar esse problema.
even less confident: even intensifica um grau menor de confiança
Less confident é uma construção comparativa que coloca a confiança dele em um nível mais baixo. Even intensifica essa comparação, portanto even less confident significa que a dúvida dele vai além da dúvida já mencionada. A oração seguinte com that informa aquilo em que ele confia menos: que a matemática era a ferramenta certa para a investigação. O padrão reutilizável é even + comparativo, como em even less certain ou even harder.
Prática
Use even + a forma comparativa de confident para mostrar uma nova queda na confiança: After two more errors, the reviewers were ____ that the figures were accurate.
Ver resposta
even less confident
the right tool to investigate this problem: escolhendo um método adequado
Aqui, tool é uma metáfora para um método, área ou técnica usada para resolver ou estudar algo. A matemática está sendo avaliada como uma forma de investigar o problema, e não descrita como um objeto físico. O padrão the right tool to + verbo significa o método adequado para uma tarefa específica. Right avalia se algo é apropriado para o objetivo; não significa apenas que a ferramenta está correta.
Prática
Complete a frase com a expressão-alvo que significa o método adequado para esta tarefa: A survey may be ____ understand why customers leave.
Ver resposta
the right tool to
While it's relatively easy to create a self-referential paradox with words, Notas
1:40Embora seja relativamente fácil criar um paradoxo autorreferencial com palavras,
While it's relatively easy to ...: introduzindo uma concessão
Aqui, While significa embora, e não durante o tempo em que. A oração admite que criar um paradoxo autorreferencial com palavras é comparativamente fácil e prepara o ouvinte para um ponto principal contrastante sobre outro caso. O padrão reutilizável é While + oração, oração principal. Ele organiza a informação ao apresentar primeiro um ponto de contexto aceito e depois o contraste mais importante na oração principal. Relatively easy significa mais fácil em comparação, não algo que não exige esforço.
Prática
Qual frase usa while com o mesmo sentido concessivo do exemplo?
- While the instructions look simple, the machine is difficult to operate.
- Please wait here while I check the schedule.
- While I was washing the dishes, the doorbell rang.
Ver resposta
While the instructions look simple, the machine is difficult to operate.
a self-referential paradox: um paradoxo que se refere a si mesmo
Self-referential significa “que se refere a si mesmo”: self- significa “si mesmo”, e referential está relacionado a apontar ou fazer referência. A self-referential paradox é um paradoxo produzido quando uma afirmação, regra ou sistema se refere a si mesmo de uma forma que cria uma contradição ou um ciclo impossível. Aqui, a expressão indica que as palavras podem ser facilmente organizadas para produzir esse tipo de autorreferência. Nem toda afirmação autorreferencial é um paradoxo; a autorreferência também precisa gerar um problema lógico.
Prática
Qual descrição corresponde melhor a a self-referential paradox?
- Uma afirmação cria uma contradição ao se referir a si mesma.
- Uma pessoa se recusa a compartilhar com os outros.
- Uma frase remete a um fato de outro livro.
Ver resposta
Uma afirmação cria uma contradição ao se referir a si mesma.
numbers don't typically talk about themselves. Figurado
1:45os números geralmente não falam sobre si mesmos.
numbers don't typically talk about themselves: personificação da autorreferência
A frase personifica os números ao atribuir a eles a ação humana talk about. Aqui, talk about themselves não significa falar em voz alta; significa fazer referência a si mesmos ou conter uma descrição de si mesmos. Typically significa “na maioria dos casos comuns”, e não “sempre”. O falante faz um contraste geral: as palavras podem descrever a si mesmas com facilidade, enquanto os números normalmente não fazem isso por conta própria.
Prática
O que “numbers don't typically talk about themselves” significa aqui?
- Os números geralmente não se referem nem descrevem a si mesmos.
- Os números costumam ficar em silêncio quando as pessoas os leem em voz alta.
- Os números preferem conversar sobre outros números.
Ver resposta
Os números geralmente não se referem nem descrevem a si mesmos.
A mathematical statement is simply true or false: estabelecendo um quadro binário
O trecho destacado apresenta uma afirmação matemática como pertencente a uma de duas categorias: verdadeira ou falsa. Aqui, simply significa “somente” ou “em uma classificação básica”; não quer dizer que a matemática seja fácil. Como aparece antes de but, esse quadro binário dá ao leitor uma regra inicial conhecida. Depois, a frase pode mudar de direção e apresentar a ideia de Gödel como algo que vai complicar essa visão simples.
Prática
Qual é a função do trecho destacado nessa frase?
- Explica os detalhes da ideia de Gödel.
- Estabelece um quadro conhecido de verdadeiro ou falso antes de a frase mudar de direção.
- Diz que todas as partes da matemática são fáceis.
Ver resposta
Estabelece um quadro conhecido de verdadeiro ou falso antes de a frase mudar de direção.
but Gödel had an idea: uma virada na narrativa
But indica que a explicação está mudando de direção. O trecho anterior apresenta uma visão simples de verdadeiro ou falso; but Gödel had an idea desloca a atenção desse contexto para a pessoa e para o próximo desenvolvimento importante. Had an idea introduz um possível caminho sem explicá-lo ainda. Isso cria movimento e expectativa, mas não significa que a ideia já tenha sido provada ou tenha funcionado.
Prática
Qual é a função de but Gödel had an idea na narrativa?
- Passa da regra apresentada como contexto para uma nova ideia que será explicada em seguida.
- Repete a regra de verdadeiro ou falso sem mudar de direção.
- Prova que a ideia de Gödel já estava correta.
Ver resposta
Passa da regra apresentada como contexto para uma nova ideia que será explicada em seguida.
First, he translated mathematical statements and equations into code numbers, Frases
1:54Primeiro, ele traduziu afirmações e equações matemáticas em números de código,
translate A into B: mudar de uma forma para outra
Translate A into B significa mudar A de uma forma ou sistema para B. Aqui, afirmações e equações matemáticas são convertidas em códigos numéricos; não há tradução entre línguas naturais. O resultado depois de into indica o tipo de mudança. Esse padrão pode descrever tradução de idiomas, codificação, conversão de formato ou a apresentação de uma ideia de outra maneira.
Prática
Complete o padrão translate A into B: The scanner translates printed pages ____ searchable text.
Ver resposta
into
so that a complex mathematical idea could be expressed in a single number. Gramática
1:59para que uma ideia matemática complexa pudesse ser expressa em um único número.
so that ... could be expressed: propósito e possibilidade criada
So that liga a ação anterior ao propósito ou ao resultado que ela tornou possível: a codificação permitiu que um número representasse uma ideia matemática complexa. Aqui, a expressão se aproxima de in order that, e não de um simples therefore. Could be expressed combina could com a forma passiva be + particípio passado. Could mostra uma possibilidade criada, enquanto a passiva concentra a atenção na ideia e em como ela pode ser representada, não na pessoa que a expressa.
Prática
Complete a frase com so that e a forma passiva correta de understand: The safety message was rewritten ____ it could ____ by children.
Ver resposta
so that · be understood
were also expressing something about the encoded statements of mathematics. Vocabulário
2:07também expressavam algo sobre as afirmações matemáticas codificadas.
This meant that: ligar um fato à sua consequência
Nesta frase, This retoma a etapa anterior de codificar enunciados matemáticos como números. meant that introduz o que resultou dessa etapa: enunciados escritos com aqueles números também podiam dizer algo sobre os enunciados matemáticos que eles representavam. A estrutura This meant that + oração organiza uma cadeia de raciocínio. Ela transforma um fato anterior no ponto de partida de uma consequência ou implicação; aqui, meant significa “teve como consequência que”, e não “deu a definição de uma palavra”.
Prática
Qual é a função de This meant that no exemplo?
- Ela introduz um fato sem relação com a etapa anterior.
- Ela apresenta uma definição de dicionário da palavra mathematics.
- Ela liga a etapa anterior de codificação a uma consequência que resultou dela.
Ver resposta
Ela liga a etapa anterior de codificação a uma consequência que resultou dela.
encoded statements of mathematics: encoded como adjetivo
A expressão encoded statements of mathematics refere-se a enunciados matemáticos que já foram convertidos em um código, neste caso uma representação numérica. encoded é o particípio passado de encode usado como adjetivo antes de statements; of mathematics identifica a área à qual esses enunciados pertencem. A codificação muda a forma como a informação é representada para que um sistema possa armazená-la ou processá-la. Por si só, isso não indica que a informação foi ocultada para manter sigilo.
Prática
Em encoded statements of mathematics, o que encoded nos informa?
- Os enunciados foram convertidos em uma forma codificada.
- Os enunciados foram retirados de um código e restaurados à forma original.
- Os enunciados foram definitivamente ocultados para serem mantidos em segredo.
Ver resposta
Os enunciados foram convertidos em uma forma codificada.
the coding allowed mathematics to talk about itself. Figurado
2:13a codificação permitiu que a matemática falasse sobre si mesma.
allowed mathematics to talk about itself: personificação e estrutura allow A to do B
O padrão allow A to do B significa “tornar possível que A faça B”. Aqui, a codificação dá à matemática uma nova capacidade: ela pode representar afirmações sobre a própria matemática. talk about itself é uma personificação. A matemática não fala literalmente; a frase torna mais fácil visualizar a ideia abstrata de autorreferência.
Prática
O que allowed mathematics to talk about itself significa nesta frase?
- Deu aos matemáticos permissão para discutir codificação.
- Fez a matemática falar em voz alta.
- Tornou possível que a matemática expressasse afirmações sobre si mesma.
Ver resposta
Tornou possível que a matemática expressasse afirmações sobre si mesma.
he was able to write: "This statement cannot be proved" as an equation, Notas
2:17ele foi capaz de escrever: "Esta afirmação não pode ser provada" como uma equação,
“This statement cannot be proved”: autorreferência e voz passiva
A citação é uma versão em inglês simples de uma afirmação matemática autorreferente que a codificação de Gödel permite escrever como uma equação. This statement se refere à afirmação inteira entre aspas, portanto ela faz uma afirmação sobre si mesma. cannot be proved está na voz passiva: significa que nenhuma prova pode estabelecer essa mesma afirmação dentro do sistema matemático em questão. Não significa que a afirmação seja incapaz de provar outra coisa.
Prática
O que a afirmação entre aspas alega?
- Diz que esta afirmação não consegue provar outra equação.
- Diz que ninguém tem permissão para escrever uma prova.
- Diz que essa mesma afirmação não pode ser provada dentro do sistema.
Ver resposta
Diz que essa mesma afirmação não pode ser provada dentro do sistema.
creating the first self-referential mathematical statement.
2:22criando a primeira afirmação matemática autorreferencial.
write ... as an equation, creating ...: forma e resultado
Em write X as Y, as introduz a forma que X assume. Aqui, a afirmação é expressa na forma de uma equação. A expressão em -ing creating ... depois da vírgula acrescenta o resultado da ação anterior: escrever a afirmação como uma equação criou a primeira afirmação matemática autorreferencial. Creating não é outro verbo principal independente.
Prática
Complete a estrutura-alvo com as e a forma em -ing de make: She rewrote the results ____ a chart, ____ the pattern easier to see.
Ver resposta
as · making
However, unlike the ambiguous sentence that inspired him, Discurso
2:27No entanto, ao contrário da frase ambígua que o inspirou,
However, unlike ...: como organizar um contraste
However sinaliza uma mudança do que acabou de ser dito para uma diferença importante. Em seguida, unlike nomeia o elemento usado na comparação: the ambiguous sentence that inspired him. O padrão However, unlike + sintagma nominal, ... conduz o ouvinte de um exemplo conhecido a um caso contrastante. Aqui, unlike é seguido por um sintagma nominal, não por uma oração completa com sujeito e verbo; a afirmação principal vem depois dessa expressão inicial.
Prática
Complete o padrão-alvo However, unlike + sintagma nominal: ____, ____ the old model, this one uses less energy.
Ver resposta
However · unlike
mathematical statements must be true or false. Gramática
2:31as afirmações matemáticas devem ser verdadeiras ou falsas.
must be true or false: necessidade lógica
Aqui, must expressa uma necessidade estabelecida por um sistema lógico, não uma ordem dada por alguém. A ideia é que uma afirmação matemática tem de se encaixar em uma de duas categorias de valor de verdade: verdadeira ou falsa. Interprete must dessa forma quando regras, definições ou evidências tornarem uma conclusão necessária. Observe se a frase descreve o que decorre logicamente ou exige que alguém faça alguma coisa.
Prática
Em mathematical statements must be true or false, o que must expressa?
- Alguém está ordenando às afirmações que escolham como se comportar.
- As afirmações estão prometendo dizer a verdade.
- O sistema lógico exige que cada afirmação tenha um dos dois valores.
Ver resposta
O sistema lógico exige que cada afirmação tenha um dos dois valores.
So, which is it?: uma pergunta para voltar o foco à escolha
So liga essa pergunta ao raciocínio que acabou de ser apresentado. which is it? pede que o ouvinte escolha entre as alternativas já mencionadas; aqui, it se refere à afirmação matemática, e as alternativas são true e false. Como recurso de organização do discurso, essa pergunta curta resume o raciocínio anterior em um único ponto de decisão. Ela faz uma pausa na explicação, volta a atenção para a escolha principal e abre o próximo passo do argumento.
Prática
O que So, which is it? faz depois que duas possibilidades são apresentadas?
- Ela leva a discussão de volta à escolha entre essas possibilidades.
- Ela afirma que as duas possibilidades estão definitivamente corretas.
- Ela introduz um assunto novo sem relação com o raciocínio anterior.
Ver resposta
Ela leva a discussão de volta à escolha entre essas possibilidades.
that means the statement does have a proof. Gramática
2:37isso significa que a afirmação tem sim uma prova.
If it's false, that means ...: da suposição à conclusão
“If it's false” estabelece uma condição ou uma suposição temporária. “that means” introduz a conclusão obtida quando essa condição é aceita: the statement does have a proof. Esse padrão organiza o raciocínio como “se A, então A leva a B”. Aqui, “that means” não traduz nem apenas repete “false”; ele leva a explicação até a consequência lógica.
Prática
Leia esta frase: “If the screen is blank, that means the computer is not receiving a signal.” Qual é a função de “that means”?
- Traduz a palavra “blank”.
- Inicia um assunto sem relação.
- Introduz a conclusão deduzida a partir da condição.
Ver resposta
Introduz a conclusão deduzida a partir da condição.
does have a proof: does enfático em uma oração afirmativa
Na oração afirmativa “the statement does have a proof”, does é um do enfático. Ele acrescenta a ideia de “realmente” ou “de fato”: o falante destaca que a prova existe. Does marca o presente e concorda com o sujeito singular “the statement”, por isso have permanece na forma base. Sem does, “the statement has a proof” transmite o mesmo fato básico, mas com menos força de correção ou contraste.
Prática
Use o does enfático + o verbo base have para completar a correção: “You said the plan has no benefit, but it ____ one important advantage.”
Ver resposta
does have
if ..., then it must ...: condição e conclusão necessária
A oração com if apresenta a condição: a mathematical statement has a proof. A oração principal apresenta a conclusão, e then deixa mais clara a relação entre condição e resultado. No inglês cotidiano, then às vezes pode ser omitido, mas aqui ele organiza claramente o raciocínio. Em must be true, must significa que algo é necessariamente assim por causa da lógica. Não expressa obrigação nem ordem.
Prática
Complete a frase com a estrutura exata if ..., then it must ...: ____ an integer ends in 0, ____ it ____ divisible by 10.
Ver resposta
If · then · must be
This contradiction means that Gödel's statement can't be false, Notas
2:44Esta contradição significa que a afirmação de Gödel não pode ser falsa,
This contradiction means ...: avançando o argumento
This contradiction retoma o conflito já estabelecido no argumento: considerar a afirmação falsa leva à conclusão de que ela é verdadeira. Means introduz o que decorre logicamente desse conflito; não apresenta uma definição de dicionário. A expressão funciona como um sinal que resume o problema e conduz o argumento à conclusão seguinte.
Prática
Nesse argumento, qual é a função de This contradiction means ...?
- Muda o assunto para um exemplo sem relação.
- Resume uma inconsistência e introduz a conclusão obtida a partir dela.
- Apresenta uma definição de dicionário da palavra contradiction.
Ver resposta
Resume uma inconsistência e introduz a conclusão obtida a partir dela.
Gödel's statement can't be false: impossibilidade lógica
Em Gödel's statement can't be false, can't significa “é logicamente impossível”, e não “não tem capacidade”. A contradição exclui a possibilidade de o enunciado ser falso. Esse uso de can't expressa uma conclusão forte baseada no raciocínio ou nas evidências: se uma suposição leva a algo impossível, essa suposição não pode estar correta.
Prática
O que can't significa em “The answer can't be false because it follows from the rule”?
- Não é permitido que a resposta seja falsa.
- O falante não tem capacidade de tornar a resposta falsa.
- É logicamente impossível que a resposta seja falsa.
Ver resposta
É logicamente impossível que a resposta seja falsa.
it must be true that this statement cannot be proved.
2:49deve ser verdade que esta afirmação não pode ser provada.
and therefore, it must be true that ...: marcando uma conclusão
and therefore informa ao ouvinte que o que vem a seguir é uma conclusão derivada do raciocínio anterior. A expressão liga a contradição anterior à nova afirmação, em vez de apenas acrescentar outro fato. it must be true that apresenta toda a oração introduzida por that como uma conclusão necessária. A proposição concluída aqui é this statement cannot be proved.
Prática
Complete a estrutura formal de conclusão: The machine accepts only valid tickets. This ticket was accepted, ____ this ticket is valid.
Ver resposta
and therefore it must be true that
Yet ... even more surprising because ...: contraste, ênfase e razão
No início da frase, Yet significa “no entanto”, e não tem o sentido temporal de not yet. A palavra marca um contraste com o que acabou de ser estabelecido e sinaliza que o argumento avança para uma implicação adicional e inesperada. A estrutura this result is even more surprising because ... intensifica a avaliação e depois apresenta sua razão. Em conjunto, o trecho destacado organiza a informação como uma conclusão anterior, um contraste mais forte e a razão pela qual o novo ponto é mais surpreendente.
Prática
Que função o início destacado exerce na frase?
- Ele diz que o resultado ainda não aconteceu.
- Ele apresenta uma razão, mas não cria contraste com um ponto anterior.
- Ele contrasta com o ponto anterior, intensifica a avaliação e apresenta uma razão.
Ver resposta
Ele contrasta com o ponto anterior, intensifica a avaliação e apresenta uma razão.
a true equation: uma equação cuja afirmação é verdadeira
Em a true equation, true avalia o conteúdo matemático: a igualdade ou afirmação expressa pela equação é verdadeira. Em inglês, um statement ou claim matemático também pode ser descrito como true ou false. Aqui, true não significa apenas “real”, “genuíno” ou “que realmente existe”. O ponto surpreendente depende de a equação ser matematicamente verdadeira, embora, segundo o que ela afirma, não possa ser provada.
Prática
Em uma discussão de matemática, o que significa a true equation aqui?
- Uma equação que usa apenas números reais.
- Uma equação cuja afirmação matemática é verdadeira.
- Uma equação que realmente existe, seja ou não verdadeira sua afirmação matemática.
Ver resposta
Uma equação cuja afirmação matemática é verdadeira.
asserts it cannot be proved: fazer uma afirmação formal
Nesta frase, asserts significa “declara ou afirma formalmente”. A equação apresenta uma afirmação que pode ser considerada verdadeira ou falsa; o verbo não indica que alguém fala em voz alta. As palavras it cannot be proved expressam o conteúdo da afirmação. Aqui, it se refere à própria equação. Depois de assert, a conjunção that é usada com frequência, mas pode ser omitida: asserts (that) it cannot be proved.
Prática
Nesta frase, o que asserts indica sobre a equação?
- Ela fala com uma voz muito alta.
- Ela prova a afirmação com razões que a sustentam.
- Ela apresenta formalmente uma afirmação que pode ser considerada verdadeira ou falsa.
Ver resposta
Ela apresenta formalmente uma afirmação que pode ser considerada verdadeira ou falsa.
This revelation is at the heart of Gödel's incompleteness theorem, Notas
3:04Esta revelação está no cerne do teorema da incompletude de Gödel,
is at the heart of ...: identificar a ideia central
Be at the heart of é uma expressão idiomática que significa “ser uma parte central ou extremamente importante de algo”. Heart é figurativo aqui; a expressão trata de importância, não de um coração físico nem de uma localização. Nesta frase, a revelação é apresentada como a ideia principal por trás do teorema da incompletude de Gödel. A estrutura é be + at the heart of + um tema, problema, teoria ou outro conjunto maior.
Prática
Use a expressão idiomática da lição para completar a frase: Trust is ____ a healthy friendship.
Ver resposta
at the heart of
Gödel's incompleteness theorem: o teorema da incompletude de Gödel
Aqui, Gödel's incompleteness theorem é o nome de um resultado da lógica matemática. Um theorem é uma afirmação estabelecida por prova, enquanto incompleteness nomeia um limite de um sistema formal, e não uma prova que alguém deixou inacabada. Para entender esta frase, basta saber que um sistema formal suficientemente poderoso pode conter afirmações matemáticas verdadeiras que não podem ser provadas dentro desse mesmo sistema. A revelação mencionada anteriormente é central para esse teorema.
Prática
No nome Gödel's incompleteness theorem, a que incompleteness se refere?
- Uma prova inacabada que precisa de mais páginas.
- Um limite de alguns sistemas formais: certas afirmações verdadeiras não podem ser provadas dentro do sistema.
- Uma afirmação de que a matemática não possui provas válidas.
Ver resposta
Um limite de alguns sistemas formais: certas afirmações verdadeiras não podem ser provadas dentro do sistema.
which introduces an entirely new class of mathematical statement. Gramática
3:08que introduz uma classe inteiramente nova de afirmações matemáticas.
which introduces ...: acrescentando um comentário não restritivo
A oração which introduces an entirely new class of mathematical statement acrescenta informações sobre Gödel's incompleteness theorem, mencionado na oração anterior. Which retoma o theorem, e introduces descreve o que esse teorema faz. A vírgula indica uma oração relativa não restritiva: ela acrescenta um comentário sobre algo já identificado, em vez de selecionar um teorema entre vários. Ela continua a mesma frase, em vez de iniciar uma ideia independente.
Prática
Complete a frase com a palavra relativa que acrescenta um comentário não restritivo: The update adds a search tool, ____ makes old files easier to find.
Ver resposta
which
but true statements can either be provable or unprovable within a given set of axioms. Vocabulário
3:17mas as afirmações verdadeiras podem ser prováveis ou improváveis dentro de um dado conjunto de axiomas.
In Gödel's paradigm: paradigm como estrutura organizadora
Aqui, paradigm significa uma estrutura ampla para compreender e organizar ideias, e não um único exemplo ou uma fórmula. In Gödel's paradigm significa dentro da estrutura apresentada por Gödel. Essa estrutura separa duas perguntas: se uma afirmação é verdadeira e se ela pode ser provada a partir de um dado conjunto de axiomas. O uso de paradigm mostra como as informações seguintes estão organizadas.
Prática
Na frase, o que significa paradigm?
- uma única fórmula matemática
- um caso ilustrativo
- uma estrutura ampla para compreender e organizar ideias
Ver resposta
uma estrutura ampla para compreender e organizar ideias
either true or ... / can either be provable or unprovable: alternativas emparelhadas
Either ... or ... liga duas alternativas. A frase usa a estrutura duas vezes: primeiro true em contraste com false e depois provable em contraste com unprovable. Nesse contexto, cada par forma uma classificação de duas possibilidades. As alternativas mantêm estruturas paralelas. True e false são adjetivos no primeiro par; provable e unprovable são descrições paralelas no segundo. Palavras compartilhadas, como can e be, não precisam ser repetidas. Aqui, either faz parte do par e não significa também.
Prática
Complete a estrutura emparelhada com either ... or: A binary answer is ____ yes ____ no.
Ver resposta
either · or
within a given set of axioms: o limite do sistema lógico
Aqui, within marca um limite abstrato, não um lugar físico. A given set of axioms significa as regras iniciais específicas escolhidas para o sistema lógico. A expressão limita provable or unprovable: a demonstrabilidade de uma afirmação é avaliada usando esse conjunto de axiomas. Ela não afirma que o resultado seja o mesmo com todos os conjuntos de axiomas possíveis.
Prática
O que a expressão destacada indica nesta frase?
- A demonstrabilidade é avaliada usando um conjunto específico de axiomas.
- A afirmação está fisicamente cercada por axiomas.
- Todo conjunto de axiomas demonstra a afirmação.
Ver resposta
A demonstrabilidade é avaliada usando um conjunto específico de axiomas.
Gödel argues these unprovable true statements exist in every axiomatic system. Vocabulário
3:25Gödel argumenta que essas afirmações verdadeiras improváveis existem em todo sistema axiomático.
unprovable true statements em todo sistema axiomático
Unprovable true statements combina duas avaliações diferentes. True diz que as afirmações são verdadeiras; unprovable diz que nenhuma demonstração pode ser produzida a partir dos axiomas e das regras do sistema em questão. Portanto, unprovable não significa false. In every axiomatic system dá à afirmação um alcance universal nesta frase: ela diz que cada sistema possui afirmações desse tipo, e não apenas alguns sistemas.
Prática
Qual opção preserva corretamente o sentido de unprovable true statements?
- Elas são verdadeiras, embora o sistema não consiga demonstrá-las.
- Elas são afirmações verdadeiras cujas demonstrações ainda não foram encontradas, mas com certeza serão.
- Elas são falsas porque não existe uma demonstração.
Ver resposta
Elas são verdadeiras, embora o sistema não consiga demonstrá-las.
This makes it impossible to create a perfectly complete system using mathematics Gramática
3:32Isso torna impossível criar um sistema perfeitamente completo usando a matemática,
make it impossible to create: estrutura make it + adjetivo + to do
A estrutura make it + adjetivo + to do indica que algo faz uma ação se tornar fácil, difícil, possível ou impossível. Aqui, This retoma a limitação matemática explicada antes, impossible apresenta o resultado e to create a perfectly complete system nomeia a ação considerada impossível. it é um objeto formal usado para ocupar uma posição. Ele não se refere a uma coisa; mantém a posição do objeto até que o conteúdo real apareça no infinitivo com to.
Prática
Complete a frase com a estrutura-alvo para indicar que não é possível abrir a janela: The broken handle ____ open the window.
Ver resposta
makes it impossible to
because there will always be true statements we cannot prove. Gramática
3:38porque sempre haverá afirmações verdadeiras que não podemos provar.
there will always be: expressar uma existência contínua
Because apresenta a razão da conclusão anterior. A construção existencial there will be indica que algo existirá, e colocar always depois de will torna a afirmação mais forte: algumas afirmações verdadeiras continuarão existindo, independentemente de como o sistema seja desenvolvido. Em true statements we cannot prove, we cannot prove identifica quais afirmações estão sendo mencionadas. A palavra relativa that foi omitida: true statements that we cannot prove. Aqui, always expressa persistência lógica, não a frequência de um acontecimento cotidiano.
Prática
Complete com a forma futura de there be e always para mostrar que a limitação continuará: ____ cases the rule does not cover.
Ver resposta
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:42Mesmo se você levar em conta essas afirmações improváveis adicionando-as como novos axiomas a um sistema matemático ampliado,
Even if ... by adding ... as new axioms: concessão, método e papel
Even if introduz uma concessão hipotética. O falante aceita por um momento a possibilidade de essa medida ser tomada, mas sinaliza que a conclusão seguinte continuará válida. Isso não quer dizer que a medida já aconteceu. Aqui, by adding them indica o método usado para lidar com as afirmações, enquanto as new axioms indica o papel que elas passam a ter. O padrão reutilizável é Even if + condição, by + forma em -ing para o método e as + papel ou identidade.
Prática
Complete o padrão de concessão, método e papel. Use Even if, by e as uma vez cada: ____ you improve the plan ____ adding a checklist ____ a safety tool, some risks may remain.
Ver resposta
Even if · by · as
you account for: considerar ou lidar com um fator
Account for funciona aqui como um verbo formado por mais de uma palavra. You account for these unprovable statements significa que você dá espaço a essas afirmações no sistema matemático e lida com elas; by adding them as new axioms explica como. Entenda account for como uma unidade seguida de seu objeto. O significado exato depende do contexto: aqui, está mais próximo de lidar com ou levar em conta do que de explicar por que algo aconteceu.
Prática
Na frase original, o que account for significa?
- Lidar com as afirmações ou levá-las em conta dentro do sistema
- Depender das afirmações
- Explicar por que as afirmações são verdadeiras
Ver resposta
Lidar com as afirmações ou levá-las em conta dentro do sistema
that very process introduces new unprovably true statements. Discurso
3:49esse próprio processo introduz novas afirmações verdadeiras improváveis.
that very process introduces: ênfase no processo exato
Em that very process, that retoma o processo já mencionado de acrescentar axiomas. Very enfatiza diretamente o substantivo process: significa “esse processo exato” ou “o próprio processo”, e não um processo em grau extremo. Ao colocar a expressão enfatizada como sujeito de introduces, a frase destaca a consequência: o mesmo processo em discussão faz surgir novas afirmações. A estrutura this/that/the very + substantivo permite retomar algo e ressaltar que é exatamente aquilo que causa o resultado.
Prática
Na frase “That very decision caused the delay,” o que very indica?
- The decision was extremely difficult.
- A different decision prevented the delay.
- The exact decision already mentioned caused the delay.
Ver resposta
The exact decision already mentioned caused the delay.
No matter how many axioms you add: uma concessão de quantidade
No matter how many + substantivo contável no plural + sujeito + verbo introduz uma oração concessiva. A quantidade pode variar sem limite: aqui, o número de axiomas acrescentados pode ser pequeno ou grande. Essa oração não faz uma pergunta. Ela prepara uma oração principal cujo resultado permanece verdadeiro para qualquer quantidade; por isso, a vírgula indica que a frase continua.
Prática
Complete a frase com a expressão de quatro palavras que começa com No e significa “independentemente da quantidade”: ____ books you read, there will always be more to discover.
Ver resposta
No matter how many
there will always be unprovably true statements in your system. Gramática
3:57sempre haverá afirmações verdadeiras improváveis em seu sistema.
there will always be unprovably true statements: sempre haverá enunciados verdadeiros não demonstráveis
there will ... be é uma estrutura existencial: ela indica que algo existirá ou ocorrerá. always torna o resultado inevitável, e não apenas possível. Aqui, a estrutura encerra o raciocínio repetindo que acrescentar mais axiomas não elimina essa situação. unprovably true statements são enunciados verdadeiros que não podem ser demonstrados a partir dos axiomas do próprio sistema. your system é o sistema matemático que está sendo construído ou ampliado; unprovably não significa provavelmente.
Prática
Qual interpretação corresponde melhor à frase?
- O sistema inevitavelmente conterá alguns enunciados verdadeiros que não podem ser demonstrados dentro dele.
- O sistema talvez contenha enunciados que provavelmente sejam verdadeiros.
- Todos os enunciados verdadeiros já foram demonstrados no sistema.
Ver resposta
O sistema inevitavelmente conterá alguns enunciados verdadeiros que não podem ser demonstrados dentro dele.
It's Gödels all the way down: limites de Gödel que reaparecem sem fim
It's X all the way down é uma fórmula humorística para uma regressão sem fim: o mesmo tipo de explicação, problema ou padrão reaparece em cada nível mais profundo. Ela faz referência à conhecida frase turtles all the way down, portanto down é figurado e não indica um movimento para baixo. Gödels é um plural bem-humorado criado a partir do nome Gödel. Ele representa resultados do tipo Gödel que se repetem, e não várias pessoas chamadas Gödel. Neste contexto, quando o sistema matemático é ampliado, o novo sistema ainda apresenta outro enunciado verdadeiro que não pode ser demonstrado. O falante transforma essa limitação recorrente em uma piada curta.
Prática
O que significa It's Gödels all the way down neste contexto?
- Limites do tipo Gödel continuam reaparecendo à medida que o sistema é ampliado.
- Várias pessoas chamadas Gödel estão descendo.
- Um único teorema resolve todas as possíveis ampliações do sistema.
Ver resposta
Limites do tipo Gödel continuam reaparecendo à medida que o sistema é ampliado.
This revelation rocked the foundations of the field, Figurado
4:04Esta revelação abalou as fundações do campo,
rocked the foundations of the field: metáfora de um impacto fundamental
Nesta frase, rocked the foundations of the field é uma metáfora: a revelação questionou profundamente as crenças ou premissas básicas da área. Aqui, the field significa a área da matemática; nenhum prédio está se movendo de verdade. O padrão rock the foundations of + uma instituição, disciplina ou sistema descreve um acontecimento que ameaça ou transforma algo em seu nível mais básico.
Prática
Nesta frase, o que significa rocked the foundations of the field?
- Ela danificou fisicamente os alicerces de um prédio.
- Ela desafiou profundamente as crenças básicas da área.
- Ela provocou uma mudança pequena e rotineira na área.
Ver resposta
Ela desafiou profundamente as crenças básicas da área.
crushing those who dreamed that every mathematical claim would one day be proven or disproven. Notas
4:07esmagando aqueles que sonhavam que toda alegação matemática seria um dia provada ou refutada.
crushing those who dreamed that ...: uma frase em -ing que expressa resultado
Crushing those who dreamed that ... é uma frase de particípio presente (-ing) ligada à oração anterior. Ela acrescenta o resultado do impacto da revelação: a revelação deu um duro golpe emocional naquelas pessoas. A frase não apresenta um sujeito separado. A causa implícita de crushing é a revelação da oração anterior, enquanto those é o objeto; those who ... significa "as pessoas que...". Aqui, crushing é figurado, não físico.
Prática
Qual frase usa uma expressão final em -ing para acrescentar o resultado do acontecimento anterior?
- The storm closed the airport, leaving hundreds of travelers stranded.
- Because the storm closed the airport, hundreds of travelers were stranded.
- The storm closed the airport and hundreds of travelers waited nearby.
Ver resposta
The storm closed the airport, leaving hundreds of travelers stranded.
would one day be proven or disproven: passiva do futuro visto a partir do passado
A oração é vista a partir do momento passado de dreamed. Naquele momento, essas pessoas imaginavam um resultado posterior; por isso, would expressa “futuro visto a partir do passado”, e não vontade. One day indica algum momento futuro não especificado. Be proven or disproven está na voz passiva: cada afirmação matemática recebe um dos dois resultados. O padrão reutilizável é crença ou esperança no passado + would + expressão de tempo + be + particípio passado.
Prática
Complete a frase com would one day e a forma passiva de solve: In 1995, researchers believed the puzzle ____.
Ver resposta
would one day be solved
While most ..., some ...: organizar um contraste entre grupos
Aqui, while introduz um contraste, e não uma relação temporal. A primeira oração informa a reação da maioria; a segunda apresenta uma reação diferente de um grupo menor. A estrutura While most ..., some ... ajuda a organizar uma distribuição de opiniões ou resultados. Ela não afirma que as duas reações ocorreram exatamente ao mesmo tempo.
Prática
Qual é a função de while nesta frase? “While most neighbors supported the plan, some opposed it.”
- Contrasta as reações de dois grupos.
- Apresenta o motivo pelo qual algumas pessoas se opuseram ao plano.
- Diz que duas ações duraram exatamente o mesmo tempo.
Ver resposta
Contrasta as reações de dois grupos.
fervently debated: debater com forte convicção
Fervently significa “com forte emoção, paixão ou convicção”. Aqui, descreve a intensidade e a atitude do debate, não a frequência com que ele aconteceu. O pronome it retoma a nova realidade revelada pelo teorema de Gödel. A oração apresenta a reação enfática de um grupo a essa ideia.
Prática
Em “Some fervently debated it,”, o que fervently indica?
- Eles debateram com forte emoção e convicção.
- Eles debateram em voz baixa para não chamar atenção.
- Eles debateram muitas vezes.
Ver resposta
Eles debateram com forte emoção e convicção.
Others still tried to ignore the newly uncovered hole in the heart of their field. Notas
4:19Outros ainda tentaram ignorar o buraco recém-descoberto no coração de seu campo.
Others still tried to ignore: organizar a reação contínua de outro grupo
Others conduz a narrativa para um grupo diferente das pessoas já mencionadas. Em uma sequência como most, some e others, ajuda a separar as reações em grupos claros. Still significa que algo continua mesmo depois de a situação mudar. Em conjunto, Others still tried to ignore apresenta a reação de outro grupo e mostra que sua tentativa de evitar o assunto continuou apesar das novas evidências.
Prática
Qual frase usa others still para introduzir a reação contínua de um grupo diferente?
- 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 resposta
Most families went home, but others still waited for the final announcement.
newly uncovered hole in the heart of their field: uma falha recém-descoberta no núcleo de sua área
A expressão é uma metáfora para uma lacuna ou limitação grave bem no centro de uma área acadêmica. A hole sugere que algo importante está faltando, e the heart of their field significa a parte mais central da área deles. Newly uncovered indica que a fraqueza acabou de ser revelada, não que acabou de ser criada. A frase diz que algumas pessoas tentaram ignorar esse problema fundamental recém-reconhecido, e não um buraco físico real.
Prática
O que newly uncovered hole in the heart of their field significa nesta frase?
- Um problema médico que afeta o coração dos pesquisadores
- Uma limitação grave recém-revelada no centro de sua área acadêmica
- Um buraco físico escavado recentemente no meio de uma fazenda
Ver resposta
Uma limitação grave recém-revelada no centro de sua área acadêmica
But as more classical problems were proven to be unprovably true, Gramática
4:24Mas, à medida que mais problemas clássicos foram provados ser verdades improváveis,
as more classical problems were proven...: uma mudança que se desenvolve com o tempo
Aqui, as significa enquanto ou à medida que algo se desenvolve, e não como em uma comparação. O padrão as + uma situação em mudança apresenta um desenvolvimento como contexto para outro: o número de problemas clássicos nessa categoria continuava aumentando. More acrescenta a ideia de aumento gradual. A forma passiva were proven to be indica o que estava sendo cada vez mais estabelecido sobre esses problemas; a oração depois da vírgula apresenta a reação ou o resultado que cresceu junto com isso.
Prática
Qual frase usa as com o mesmo sentido de desenvolvimento ao longo do tempo que a oração destacada?
- The box is as heavy as the chair.
- She works as an engineer.
- As more evidence emerged, the team grew more confident.
Ver resposta
As more evidence emerged, the team grew more confident.
some began to worry their life's work would be impossible to complete. Frases
4:28alguns começaram a se preocupar que o trabalho de suas vidas seria impossível de concluir.
began to worry: marcar o início da preocupação
began to worry marca o momento em que a preocupação começou. Em uma narrativa, indica uma mudança no estado mental das pessoas, e não apenas mais uma ação. Aqui, worry é seguido por uma oração que apresenta o conteúdo da preocupação; that é opcional: began to worry (that) their life's work.... Esse padrão mostra com o que elas estavam preocupadas.
Prática
Qual frase destaca o momento em que a preocupação começa?
- After an hour with no reply, Leo had stopped worrying that something was wrong.
- After an hour with no reply, Leo never worried that something was wrong.
- After an hour with no reply, Leo began to worry that something was wrong.
Ver resposta
After an hour with no reply, Leo began to worry that something was wrong.
life's work would be impossible to complete: o trabalho de uma vida em risco
Life's work significa o principal projeto, missão ou contribuição a que alguém dedica muitos anos, às vezes uma vida inteira. Tem uma dimensão e uma importância pessoal muito maiores do que uma tarefa comum. Would be impossible to complete apresenta um resultado futuro visto a partir de um momento passado: naquele momento, eles temiam que o trabalho nunca pudesse ser concluído. A frase relata a preocupação deles; não afirma que a conclusão fosse realmente impossível.
Prática
No exemplo, a que se refere their life's work?
- Às tarefas rotineiras que faziam todos os dias
- Aos trabalhos que planejavam fazer durante uma tarde
- Ao principal trabalho ao qual haviam dedicado muitos anos
Ver resposta
Ao principal trabalho ao qual haviam dedicado muitos anos
Still, Gödel's theorem opened as many doors as it closed. Figurado
4:33Ainda assim, o teorema de Gödel abriu tantas portas quanto fechou.
Still ... opened as many doors as it closed: equilíbrio entre oportunidades e limites
Open doors e close doors são metáforas aqui. Doors representa oportunidades, caminhos possíveis ou áreas de pesquisa, não portas físicas. A estrutura opened as many doors as it closed coloca lado a lado um efeito positivo e um negativo: o teorema criou novas possibilidades ao mesmo tempo que limitou outras. Still sinaliza uma mudança das limitações mencionadas antes para uma conclusão mais positiva e equilibrada.
Prática
Qual frase usa melhor a metáfora das portas para dizer que uma regra criou e limitou oportunidades em proporções aproximadamente iguais?
- The new rule closed every door and created no new options.
- The new rule opened a door after the office closed.
- The new rule opened as many doors as it closed.
Ver resposta
The new rule opened as many doors as it closed.
Knowledge of unprovably true statements inspired key innovations in early computers. Frases
4:37O conhecimento de afirmações verdadeiras improváveis inspirou inovações fundamentais nos primeiros computadores.
inspired key innovations in early computers: descrever a influência de ideias
Inspired key innovations significa que algo ajudou a gerar avanços novos e importantes. Aqui, o sujeito é Knowledge of unprovably true statements, portanto um tipo abstrato de conhecimento, e não uma pessoa, é apresentado como influência sobre a tecnologia. In early computers identifica a área em que as inovações surgiram. Inspired indica influência intelectual; não afirma que esse conhecimento inventou os computadores por si só nem que foi a única causa direta.
Prática
Use o padrão de quatro palavras inspire + key innovations + in, com inspire no passado: The discovery ____ battery design.
Ver resposta
inspired key innovations in
some mathematicians dedicate their careers to identifying provably unprovable statements. Notas
4:43alguns matemáticos dedicam suas carreiras a identificar afirmações que podem ser provadas como improváveis.
dedicate their careers to identifying: dedicate ... to + forma em -ing
Em dedicate their careers to identifying ..., dedicate A to B significa dedicar A a um propósito. Aqui, A é their careers e B é identifying algo; por isso, a expressão apresenta o trabalho como uma missão profissional séria e de longo prazo. A palavra to é uma preposição em dedicate A to B. Quando B é uma ação, usa-se a forma em -ing: to identifying, e não to identify.
Prática
Complete a frase com o passado de dedicate her career to: Maria ____ improving rural health care.
Ver resposta
dedicated her career to
provably unprovable statements: provar a impossibilidade de prova
Provably é um advérbio que modifica unprovable. A expressão indica afirmações cuja impossibilidade de prova pode ser demonstrada: é possível mostrar que elas não podem ser provadas dentro do sistema formal relevante. Isso não significa apenas que ninguém encontrou uma prova até agora, e provably não significa probably. A formulação faz uma afirmação precisa sobre o que pode ser demonstrado.
Prática
Qual significado corresponde melhor a provably unprovable statements?
- As afirmações provavelmente são difíceis de provar.
- As afirmações já foram provadas como falsas.
- É possível demonstrar que as afirmações não podem ser provadas.
Ver resposta
É possível demonstrar que as afirmações não podem ser provadas.
So while mathematicians may have lost some certainty, Discurso
4:50Assim, embora os matemáticos possam ter perdido alguma certeza,
So while ... may have lost ...: reconhecer uma ressalva antes da conclusão principal
O So inicial indica que o falante está tirando uma conclusão da discussão anterior. Aqui, while tem sentido concessivo, equivalente a “embora”, e não indica simultaneidade. A primeira oração reconhece uma possível perda; a oração principal seguinte apresenta a conclusão central e mais positiva. May have lost indica que a perda talvez tenha ocorrido ou possa ser vista razoavelmente como ocorrida. Não significa que os matemáticos receberam permissão para perder a certeza. Essa formulação suaviza a concessão antes de equilibrá-la com um ganho.
Prática
Qual continuação completa melhor este resumo concessivo com uma conclusão principal positiva: “So while the trip may have cost more than expected, ...”?
- we still made memories we will always value.
- it also took two hours longer than planned.
- the tickets had blue numbers printed on them.
Ver resposta
we still made memories we will always value.
they can embrace the unknown at the heart of any quest for truth. Figurado
4:54eles podem abraçar o desconhecido no coração de qualquer busca pela verdade.
thanks to Gödel: atribuir mérito por um resultado positivo
Thanks to Gödel é uma locução prepositiva que significa “por causa da contribuição de Gödel” ou “graças a Gödel”. Ela apresenta o resultado positivo seguinte como algo que o trabalho dele ajudou a tornar possível; não é uma declaração direta de agradecimento. O padrão é thanks to + sintagma nominal. Aqui, o sintagma nominal é Gödel, e a expressão inteira explica por que eles podem acolher o desconhecido.
Prática
Complete com a expressão-alvo de duas palavras que significa “por causa de, atribuindo mérito positivo”: ____ Noah's quick repair, the robot worked again.
Ver resposta
Thanks to
acolher o desconhecido ... no cerne de qualquer busca pela verdade
Em embrace the unknown, embrace é usado em sentido figurado: significa aceitar de boa vontade e enfrentar aquilo que ainda não se conhece, e não abraçar fisicamente alguma coisa. Aqui, the unknown inclui a incerteza matemática, como afirmações que podem ser verdadeiras mesmo quando um determinado sistema não consegue prová-las. At the heart of significa “na parte central ou essencial de algo”. Quest for truth apresenta a busca pela verdade como uma jornada longa e exigente. Como frase de encerramento, a oração apresenta a incerteza como uma parte central da busca pela verdade, não apenas como um fracasso, e incentiva as pessoas a aceitá-la.
Prática
Qual opção explica melhor a frase?
- Eles podem aceitar a incerteza como uma parte central da busca pela verdade.
- Eles podem evitar perguntas sem resposta até que todos os fatos sejam provados.
- Eles podem segurar fisicamente algo desconhecido durante uma jornada.
Ver resposta
Eles podem aceitar a incerteza como uma parte central da busca pela verdade.
The Pythagorean theorem has more than 350 proofs. Cultura
4:59O teorema de Pitágoras tem mais de 350 provas.
Pythagorean theorem: um resultado demonstrado da geometria
Pythagorean theorem é o nome estabelecido de um resultado da geometria sobre triângulos retângulos: o quadrado da hipotenusa, o lado oposto ao ângulo reto, é igual à soma dos quadrados dos outros dois lados. Costuma ser escrito como a^2 + b^2 = c^2. No nome, Pythagorean relaciona o resultado a Pitágoras, e theorem significa uma afirmação matemática estabelecida por demonstração, não uma regra comum nem uma suposição não testada. Por isso, a frase pode dizer que ele tem mais de 350 demonstrações.
Prática
O que theorem indica no nome Pythagorean theorem?
- É uma afirmação matemática estabelecida por demonstração.
- É uma suposição não testada sobre todos os triângulos.
- É uma instrução comum de sala de aula.
Ver resposta
É uma afirmação matemática estabelecida por demonstração.
So what exactly is this mathematical rule about?
5:03Então, sobre o que exatamente é essa regra matemática?
in the first place: perguntar pelo ponto de partida original
Aqui, in the first place significa «originalmente» ou «bem no início». No fim da pergunta, a expressão leva a atenção do teorema como o conhecemos hoje para a maneira como ele foi demonstrado pela primeira vez. É uma expressão idiomática, portanto place não se refere a um lugar. Em perguntas, ela costuma acrescentar ênfase ao se perguntar pela causa, razão ou base original de algo.
Prática
Qual é a função de in the first place nesta frase?
- Pergunta onde a primeira demonstração estava localizada fisicamente.
- Pergunta se a demonstração ficou em primeiro lugar.
- Pergunta como a demonstração foi estabelecida originalmente.
Ver resposta
Pergunta como a demonstração foi estabelecida originalmente.
Explore one of the cornerstones of geometry with this video. Figurado
5:10Explore um dos pilares da geometria com este vídeo.
one of the cornerstones of geometry: uma metáfora de fundamento
Cornerstone designa literalmente uma pedra no canto de uma construção. Aqui, é uma metáfora para uma ideia básica que sustenta uma área maior. Chamar o teorema de a cornerstone of geometry significa que ele é fundamental e muito importante para essa área. A estrutura one of the + substantivo no plural + of mostra que se trata de uma base importante entre várias, e não da única base.
Prática
Complete a frase com a estrutura one of the cornerstones of: Reliable evidence is one ____ good research.
Ver resposta
of the cornerstones of