Il paradosso al cuore della matematica: il Teorema di Incompletezza di Gödel - Marcus du Sautoy: appunti per imparare l’inglese
TED-Ed
Panoramica del video: Un paradosso autoreferenziale conduce Kurt Gödel a esaminare i limiti della dimostrazione matematica. Codificando gli enunciati come numeri, dimostrò che ogni sistema assiomatico contiene verità non dimostrabili al suo interno, facendo tramontare l’ideale di un sistema perfettamente completo ma aprendo nuove strade nella matematica e nell’informatica. Principali punti di inglese: 1. Consider the following sentence: — Discorso, narrazione e retorica. Impara a usare questo conciso segnale accademico per indirizzare chiaramente l’attenzione verso una frase, un esempio o un problema che verrà analizzato subito dopo, introducendo la spiegazione in modo intenzionale. 2. Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, — Grammatica e strutture della frase. Riconosci come Even if introduca una concessione e come by adding e as specifichino il rimedio proposto: la conclusione resta valida nonostante l’ampliamento del sistema. Usa questo modello per verificare se una soluzione modifica davvero un esito inevitabile. 3. Still, Gödel's theorem opened as many doors as it closed. — Modi di dire ed espressioni figurate. Comprendi la metafora bilanciata delle porte come l’idea che uno sviluppo generi opportunità imponendo al contempo limiti comparabili. Usa as many ... as ... per riassumere conseguenze miste senza ridurle a un giudizio soltanto positivo o negativo.
In questa lezione
Consider the following sentence: "This statement is false." Note
0:06Considerate la seguente frase: "Questa affermazione è falsa."
“Consider the following sentence:” come formula introduttiva
“Consider the following sentence:” è un'istruzione che dirige l'attenzione sulla frase dopo i due punti. Qui consider significa «esaminare con attenzione e riflettere», non «decidere se accettare qualcosa». La formula organizza le informazioni annunciando il tipo di elemento che verrà dopo. Il nome può cambiare in example, question o case, mentre la struttura “Consider the following ...” resta invariata.
Esercizio
Completa la formula esatta che introduce una frase da analizzare: ____: "Water freezes at zero degrees Celsius."
Mostra risposta
Consider the following sentence
“This statement is false.”: autoriferimento e paradosso del mentitore
In questo rompicapo, “this statement” viene inteso come un riferimento alla frase stessa che lo contiene. La frase è quindi autoreferenziale: fa un'affermazione sul proprio valore di verità. Se la frase è vera, ciò che dice la rende falsa. Se è falsa, la sua affermazione di essere falsa sembra vera. Questo passaggio continuo tra vero e falso è la forma di base del paradosso del mentitore.
Esercizio
Perché “This statement is false.” crea un paradosso in questo rompicapo?
- La parola “false” può essere usata solo in matematica.
- La frase non ha un soggetto.
- “This statement” si riferisce alla frase stessa.
Mostra risposta
“This statement” si riferisce alla frase stessa.
If so, that would make this statement false. Note
0:12Se così fosse, ciò renderebbe questa affermazione falsa.
If so: riprendere una condizione precedente
If so significa «se è vero» o «se è così». Qui, so sostituisce l’intera idea menzionata subito prima. L’espressione trasforma quell’idea precedente in una condizione per ciò che segue. In questo modo il ragionamento resta chiaro senza ripetere tutta l’idea.
Esercizio
Completa la frase con l’espressione di due parole studiata qui che significa «se è vero»: The library may still be open. ____, we can return the books tonight.
Mostra risposta
If so
would make + oggetto + aggettivo per un risultato ipotetico
La struttura would make + oggetto + aggettivo descrive il risultato prodotto da una condizione ipotetica. Nella frase, this statement è l’oggetto e false è l’aggettivo che descrive lo stato che avrebbe. Qui make è causativo: significa «far diventare o far essere», non «creare». Would indica che il risultato dipende dall’ipotesi precedente e non è un fatto certo.
Esercizio
Usa would make + oggetto + aggettivo per completare il risultato ipotetico: Removing the warning label ____ the box unsafe.
Mostra risposta
would make
But if it's false, then the statement is true. Grammatica
0:14Ma se è falsa, allora l'affermazione è vera.
if ... then ...: indicare una condizione e la sua conclusione
La proposizione con if presenta la condizione: “è falsa”. La proposizione con then presenta la conclusione che segue in quella condizione: “l'affermazione è vera”. In questa struttura, then significa “in quel caso”, non “successivamente” nel tempo. La struttura rende facile seguire un passaggio del ragionamento: prima si indica l'ipotesi e poi si dice che cosa ne consegue. Qui, il legame chiaro tra condizione e conclusione aiuta a mostrare il paradosso.
Esercizio
Completa l'enunciato logico con if ... then ...: ____ a number ends in zero, ____ it is divisible by ten.
Mostra risposta
If · then
By referring to itself directly, this statement creates an unresolvable paradox. Note
0:17Riferendosi direttamente a se stessa, questa affermazione crea un paradosso irrisolvibile.
By referring to itself directly: by + gerundio per indicare il metodo
L'espressione iniziale usa by + gerundio: by + referring. Indica il processo che produce il risultato principale. Referring to itself significa che l'affermazione parla direttamente di quella stessa affermazione. Mettere l'espressione all'inizio presenta il metodo o il meccanismo prima del risultato. Il soggetto della proposizione principale, this statement, è anche ciò che compie l'azione di referring, quindi le due parti sono collegate con chiarezza.
Esercizio
Usa by + la forma in -ing di read per completare la frase: ____ the instructions carefully, Mia finished the project correctly.
Mostra risposta
By reading
unresolvable paradox: una contraddizione senza soluzione stabile
L'espressione unresolvable paradox descrive una contraddizione a cui non si può dare una soluzione stabile entro le regole o il quadro adottato. Qui, definire l'affermazione true oppure false porta di nuovo a una contraddizione. Unresolvable significa «che non può essere risolto», non semplicemente «non ancora risolto». Paradox indica la situazione di conflitto logico, quindi questa espressione è più precisa di problem.
Esercizio
Quale situazione può essere descritta meglio come an unresolvable paradox?
- Una domanda non ha ancora ricevuto risposta perché nessuno l'ha verificata.
- Una regola rende la stessa affermazione sia vera sia falsa e non offre alcuna via d'uscita.
- Un problema di matematica è difficile, ma ha una risposta nota.
Mostra risposta
Una regola rende la stessa affermazione sia vera sia falsa e non offre alcuna via d'uscita.
Se non è vero e non è falso, che cos'è?: una domanda retorica
La proposizione con if riunisce in un'unica condizione le due classificazioni che hanno fallito, true e false. La domanda finale mette quindi la categoria mancante nella posizione di maggiore rilievo. In questo contesto, what is it? non serve principalmente a chiedere il nome di un oggetto. È una domanda retorica che mostra che la normale scelta tra true e false non funziona più e conduce l'ascoltatore alla parte successiva della spiegazione. It si riferisce all'affermazione autoreferenziale.
Esercizio
Qual è la principale funzione discorsiva della domanda evidenziata in questo contesto?
- Chiede dove si trovi fisicamente l'affermazione.
- Mostra che la consueta classificazione tra vero e falso non funziona e introduce l'idea successiva.
- Annuncia che l'affermazione è sicuramente falsa.
Mostra risposta
Mostra che la consueta classificazione tra vero e falso non funziona e introduce l'idea successiva.
This question might seem like a silly thought experiment. Note
0:26Questa domanda potrebbe sembrare uno stupido esperimento mentale.
might seem like: attenuare una prima impressione
In questa frase, might seem like indica che qualcosa può dare una certa prima impressione. seem like presenta un'apparenza o un'impressione, mentre might rende l'affermazione ancora meno diretta. Il parlante riconosce brevemente come la domanda potrebbe apparire al pubblico senza affermare che sia davvero sciocca. Questa formulazione prepara spesso un contrasto: qualcosa può sembrare in un certo modo, ma ciò che segue mostra che la prima impressione è incompleta.
Esercizio
Completa la frase con l'espressione obiettivo di tre parole che presenta una prima impressione in modo attenuato: This shortcut ____ a good idea, but it creates more work.
Mostra risposta
might seem like
silly thought experiment: una verifica immaginaria di un'idea
Un thought experiment è una situazione immaginaria usata per verificare un'idea, un principio o una conseguenza logica. Può non richiedere attrezzature, misurazioni o procedure reali; il ragionamento consiste nel chiedersi che cosa accadrebbe se le condizioni immaginate fossero vere. Qui, silly descrive la prima impressione creata dall'intera espressione might seem like a silly thought experiment. Il parlante non sta liquidando definitivamente la domanda come inutile; la formulazione lascia spazio per mostrare che la domanda apparentemente sciocca è importante.
Esercizio
Quale opzione è un esperimento mentale anziché un esperimento svolto nel mondo reale?
- Measure how long three batteries power the same flashlight.
- Imagine that nobody needed sleep and reason through how schools and jobs would change.
- Plant two seeds and record which one grows faster.
Mostra risposta
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. Note
0:29Ma all'inizio del XX secolo, condusse il logico austriaco Kurt Gödel a una scoperta che avrebbe cambiato la matematica per sempre.
led Austrian logician Kurt Gödel to a discovery: condurre qualcuno a un risultato
La struttura è lead + persona + to + risultato. Qui led è il passato di lead. La persona coinvolta è l'intero sintagma nominale Austrian logician Kurt Gödel, mentre to a discovery indica il risultato. In questa frase, it si riferisce al problema del paradosso menzionato prima. L'espressione presenta quel problema come la causa o il percorso che portò Gödel alla scoperta, non come uno spostamento fisico. Questo schema permette di spiegare come prove, domande o esperienze producano un risultato.
Esercizio
Completa la frase con il passato di lead e la preposizione necessaria: A strange clue ____ the detective ____ an important discovery.
Mostra risposta
led · to
that would change mathematics forever: il futuro visto dal passato
La proposizione relativa that would change mathematics forever si riferisce a a discovery e spiega perché quella scoperta è importante. Colloca la nuova informazione dopo il nome, quindi la frase presenta prima la scoperta e poi ne rivela l'impatto successivo. Poiché il punto di vista narrativo si trova all'inizio del XX secolo, would change indica che, da quel momento passato, il cambiamento era ancora futuro. Il narratore conosce già il risultato successivo, ma lo presenta come futuro rispetto a quel momento precedente. È il futuro nel passato, non una richiesta cortese. Forever sottolinea in modo enfatico l'importanza duratura.
Esercizio
Nella frase She found an idea that would change her life, che cosa indica would change?
- Una previsione dal presente su un cambiamento che non è ancora avvenuto.
- Un cambiamento successivo visto da un punto precedente della storia.
- Una richiesta cortese affinché l'idea le cambi la vita.
Mostra risposta
Un cambiamento successivo visto da un punto precedente della storia.
Gödel's discovery had to do with the limitations of mathematical proofs. Note
0:37La scoperta di Gödel riguardava i limiti delle dimostrazioni matematiche.
had to do with: era collegato a
Had to do with è la forma al passato di have to do with. Nel suo insieme significa “era collegato a” o “riguardava”. Qui collega la scoperta di Gödel ai limiti delle dimostrazioni matematiche. Non separare had to interpretandolo come “doveva fare”. In questa struttura, had mette al passato l'intera espressione di relazione e with introduce l'argomento collegato.
Esercizio
Completa la frase con la forma al passato di have to do with: The delay ____ a damaged cable.
Mostra risposta
had to do with
limitations of mathematical proofs: limiti, non errori
In questa frase, limitations of mathematical proofs indica i limiti di ciò che i sistemi di dimostrazione matematica possono stabilire. Una limitazione è un confine che il metodo o il sistema non può superare, non necessariamente un errore in una particolare dimostrazione. Il sintagma con of indica ciò la cui capacità ha dei limiti: mathematical proofs. La struttura formale the limitations of X è utile per parlare di ciò che un metodo, uno strumento o un sistema può e non può fare.
Esercizio
Quale espressione indica i limiti di ciò che i sistemi di dimostrazione possono stabilire, anziché errori in singole dimostrazioni?
- mistakes in mathematical proofs
- steps in mathematical proofs
- limitations of mathematical proofs
Mostra risposta
limitations of mathematical proofs
A proof is a logical argument that demonstrates why a statement about numbers is true. Note
0:42Una dimostrazione è un ragionamento logico che spiega perché un'affermazione sui numeri è vera.
A proof is a logical argument that demonstrates ...: una definizione in due parti
Lo schema A proof is a logical argument that demonstrates ... definisce proof in due passaggi. A proof is a logical argument colloca proof nella categoria generale logical argument, mentre that demonstrates ... aggiunge la funzione che definisce questo tipo di argomentazione. Qui argument indica un insieme collegato di ragioni, non un litigio. Puoi riutilizzare X is a Y that ... per definire qualcosa, indicando prima la categoria e poi lo scopo o la caratteristica principale.
Esercizio
Quale frase segue la stessa struttura informativa: termine + is + categoria + una proposizione con that che ne descrive la funzione?
- Can an algorithm solve this specific problem?
- An algorithm can solve a specific problem very quickly.
- An algorithm is a set of steps that solves a specific problem.
Mostra risposta
An algorithm is a set of steps that solves a specific problem.
why a statement about numbers is true: ordine della proposizione incorporata con why
In demonstrates why a statement about numbers is true, la proposizione con why esprime il contenuto di ciò che la dimostrazione mostra. È un’interrogativa indiretta incorporata nella frase, non una domanda diretta all’ascoltatore. Un’interrogativa incorporata con why usa l’ordine dichiarativo: why + soggetto + verbo. Per questo la frase dice why a statement ... is true e non why is a statement ... true.
Esercizio
Quale frase usa l’ordine corretto in una proposizione incorporata con why?
- Why was the answer correct?
- The teacher explained why was the answer correct.
- The teacher explained why the answer was correct.
Mostra risposta
The teacher explained why the answer was correct.
undeniable statements about the numbers involved. Lessico
0:52affermazioni innegabili sui numeri coinvolti.
building blocks: parti fondamentali di un sistema più grande
Building blocks indica letteralmente i pezzi usati per costruire qualcosa. Qui l’espressione è una metafora per le parti fondamentali da cui si costruisce un sistema o un’idea più grande. In questa frase, gli assiomi sono presentati come le parti fondamentali delle argomentazioni matematiche. La struttura the building blocks of + sostantivo permette di indicare i componenti essenziali di molte cose astratte.
Esercizio
Completa la frase con l’espressione di due parole della lezione che significa «parti fondamentali»: Trust and communication are the ____ of a strong team.
Mostra risposta
building blocks
are called axioms: la struttura be called + nome
In are called axioms, are called è una struttura passiva: il soggetto riceve il nome axioms. Il soggetto è l’espressione plurale The building blocks of these arguments, quindi la forma corretta di be è are. La struttura riutilizzabile è subject + be called + name. Questa struttura introduce un termine senza concentrarsi su chi ha scelto il nome. La virgola dopo axioms introduce una breve spiegazione di che cosa sono gli assiomi.
Esercizio
Completa la frase con la struttura passiva di denominazione be called: Closed shapes with three sides ____ triangles.
Mostra risposta
are called
undeniable statements ... the numbers involved: affermazioni innegabili e numeri coinvolti
Qui, undeniable statements indica affermazioni presentate come non ragionevolmente contestabili. L'espressione descrive gli assiomi come enunciati di base capaci di sostenere i ragionamenti matematici successivi. In the numbers involved, involved viene dopo numbers e significa che quei numeri sono pertinenti o inclusi nel sistema di cui si parla. Non significa che siano complicati.
Esercizio
Nell'espressione the numbers involved, che cosa significa involved?
- i numeri pertinenti alla questione
- i numeri che sono già stati dimostrati
- i numeri difficili da calcolare
Mostra risposta
i numeri pertinenti alla questione
from the most complex proof to basic arithmetic, Discorso
0:57dalla dimostrazione più complessa all'aritmetica di base,
from the most complex proof to basic arithmetic: indicare un intervallo
In questa espressione, from A to B indica i due estremi di un intervallo. Qui gli estremi sono la dimostrazione più complessa e l’aritmetica di base, quindi l’espressione significa che è incluso tutto ciò che si trova nell’intervallo; non descrive un movimento. Accanto a un sintagma nominale più ampio come every system, l’intervallo aggiunge informazioni sulla portata. Mostra che un’affermazione vale per livelli molto diversi, da un estremo all’altro.
Esercizio
Completa la frase con from ... to ... per indicare l’intero intervallo: The workshop welcomes participants ____ complete beginners ____ experienced designers.
Mostra risposta
from · to
built on ... constructed from axioms: base ed elementi costitutivi
Entrambe le espressioni usano la costruzione come metafora di un sistema astratto. Built on mathematics indica da quale base dipende il sistema; constructed from axioms indica quali elementi fondamentali vengono usati per formarlo. Nella frase, built on mathematics è una forma abbreviata di that is built on mathematics e modifica every system. Il predicato principale è is constructed from axioms.
Esercizio
Usa built e constructed per completare la frase: The platform is ____ open-source technology and ____ reusable modules.
Mostra risposta
built on · constructed from
mathematicians should be able to confirm it with an axiomatic proof.
1:05i matematici dovrebbero essere in grado di confermarla con una dimostrazione assiomatica.
if ... should be able to ...: esprimere una capacità attesa
La proposizione con if stabilisce una condizione: un’affermazione sui numeri è vera. La proposizione principale dice poi che i matematici dovrebbero essere in grado di confermarla con una dimostrazione assiomatica. Qui should non dà un ordine ai matematici. Indica ciò che la teoria ci porta ad aspettarci: se la condizione vale, la conferma dovrebbe essere possibile. Be able to concentra questa aspettativa sulla capacità.
Esercizio
Quale frase esprime una ragionevole aspettativa di capacità basata su una condizione, anziché un’affermazione diretta di capacità o un obbligo?
- If the code is correct, the user should be able to sign in.
- If the code is correct, the user can sign in.
- If the code is correct, the user must sign in.
Mostra risposta
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. Espressioni
1:11i matematici hanno usato questo sistema per dimostrare o confutare tesi matematiche con assoluta certezza.
prove or disprove: dimostrare che un'affermazione è vera o falsa
To prove or disprove a claim significa decidere un'affermazione in una delle due direzioni: prove vuol dire dimostrare che è vera, mentre disprove vuol dire dimostrare che è falsa. Disprove è più forte del semplice non essere d'accordo. Richiede prove o ragionamenti che invalidino l'affermazione. L'oggetto dopo questa coppia è l'affermazione sottoposta a verifica; nella frase originale è mathematical claims.
Esercizio
Completa la frase con l'espressione doppia di questa lezione che significa «dimostrare come vero o dimostrare come falso»: A second measurement could ____ the scientist's claim.
Mostra risposta
prove or disprove
with total certainty: senza alcun dubbio
With total certainty è un'espressione preposizionale che indica con quanta sicurezza qualcosa viene conosciuto o stabilito. In questa frase modifica prove or disprove e indica che il risultato non lascia alcun dubbio. Qui certainty è l'idea astratta e non numerabile dell'essere sicuri, non una particolare «cosa certa». Total porta il grado di certezza al livello più forte.
Esercizio
Completa la frase con l'espressione di questa lezione che significa «senza alcun dubbio»: After checking the original file, Maya could identify the author ____.
Mostra risposta
with total certainty
entered the field: iniziare a lavorare in un ambito professionale
Qui field indica un ambito di studio o di lavoro professionale, in particolare la matematica e la logica, non un terreno. Gödel entered the field significa che Gödel iniziò a partecipare al lavoro e alla ricerca in quell'ambito. Questo uso è comune quando una persona comincia una carriera o inizia a operare in una disciplina. Se l'ambito non è già stato nominato, si aggiunge of + nome della disciplina, come in the field of robotics.
Esercizio
Completa la frase con l'espressione di tre parole di questa lezione che significa «iniziò a lavorare in quell'ambito professionale»: After finishing her cybersecurity training, Ava ____.
Mostra risposta
entered the field
some newly uncovered logical paradoxes were threatening that certainty. Modi di dire
1:20alcuni paradossi logici appena scoperti stavano minacciando tale certezza.
were threatening that certainty: mettere a rischio un'idea astratta
I paradossi appena scoperti sono presentati come un pericolo attivo per quella certezza. Threaten non significa che abbiano parlato o lanciato un avvertimento, ma che la loro esistenza poteva indebolire o distruggere il precedente senso di certezza totale. Il passato progressivo were threatening mostra il pericolo mentre si sviluppa in quel momento del racconto. Più in generale, una causa astratta può threaten un risultato astratto, come la fiducia, la stabilità o la certezza, quando lo espone a un rischio serio.
Esercizio
Quale frase usa threaten nello stesso modo astratto dell'esempio?
- The speaker threatened the audience with punishment.
- Several errors threatened confidence in the report.
- The child whispered a warning to her friend.
Mostra risposta
Several errors threatened confidence in the report.
Prominent mathematicians were eager to prove that mathematics had no contradictions. Note
1:26Matematici di spicco erano ansiosi di dimostrare che la matematica non presentava contraddizioni.
were eager to prove: la struttura be eager to + verbo
In were eager to prove, were colloca l'idea nel passato ed eager esprime un desiderio forte e attivo. La struttura è be eager to + forma base del verbo, quindi prove resta alla forma base dopo to. Qui l'espressione presenta questi eminenti matematici come molto motivati a dimostrare un risultato; è più intensa del semplice they wanted to prove it.
Esercizio
Completa la frase con la forma passata di be eager to: The researchers ____ confirm the result.
Mostra risposta
were eager to
mathematics had no contradictions: coerenza logica
In mathematics had no contradictions, contradiction è usato nel senso della logica formale. Un sistema contiene una contraddizione se le sue regole permettono di stabilire sia un'affermazione sia la sua negazione; dire che had no contradictions ne descrive la coerenza. Had presenta questa coerenza da un punto di vista passato, come l'affermazione che i matematici volevano dimostrare in quel momento. La frase valuta il sistema stesso, non afferma che tutti i problemi matematici fossero facili.
Esercizio
Nella frase mathematics had no contradictions, qual è l'interpretazione corretta?
- Il sistema non poteva stabilire conclusioni in conflitto tra loro.
- I matematici erano d'accordo su ogni questione.
- I problemi matematici non erano mai difficili.
Mostra risposta
Il sistema non poteva stabilire conclusioni in conflitto tra loro.
himself wasn't so sure: enfasi personale e dubbio misurato
Qui, himself è un pronome riflessivo con funzione enfatica. Mette l'attenzione su Gödel in persona e contrappone il suo punto di vista a quello degli illustri matematici menzionati prima. Wasn't so sure indica che aveva dubbi o riserve. È un modo misurato di esprimere incertezza, non un'affermazione che non sapesse nulla e neppure necessariamente un rifiuto deciso.
Esercizio
Quale interpretazione si adatta meglio a Gödel himself wasn't so sure?
- Gödel in persona aveva alcuni dubbi, diversamente dal gruppo più sicuro.
- Gödel rifiutava con decisione ogni approccio matematico.
- Gödel era completamente all'oscuro del problema.
Mostra risposta
Gödel in persona aveva alcuni dubbi, diversamente dal gruppo più sicuro.
and he was even less confident that mathematics was the right tool to investigate this problem. Note
1:33ed era ancora meno convinto che la matematica fosse lo strumento giusto per indagare questo problema.
even less confident: even intensifica un livello di fiducia più basso
Less confident è una costruzione comparativa che colloca la sua sicurezza a un livello più basso. Even intensifica il confronto, quindi even less confident significa che il suo dubbio aumenta ulteriormente rispetto a quello già menzionato. La proposizione successiva con that specifica ciò su cui ha meno fiducia: che la matematica fosse lo strumento giusto per l'indagine. Il modello riutilizzabile è even + comparativo, come in even less certain o even harder.
Esercizio
Usa even + la forma comparativa di confident per mostrare un ulteriore calo della fiducia: After two more errors, the reviewers were ____ that the figures were accurate.
Mostra risposta
even less confident
the right tool to investigate this problem: scegliere un metodo adatto
Qui, tool è una metafora per un metodo, un campo o una tecnica usata per risolvere o studiare qualcosa. La matematica viene valutata come un modo per esaminare il problema, non descritta come un oggetto fisico. La struttura the right tool to + verbo significa il metodo adatto a un compito preciso. Right valuta se qualcosa è adeguato allo scopo; non significa semplicemente che lo strumento è corretto.
Esercizio
Completa la frase con l’espressione obiettivo che significa il metodo adatto a questo compito: A survey may be ____ understand why customers leave.
Mostra risposta
the right tool to
While it's relatively easy to create a self-referential paradox with words, Note
1:40Sebbene sia relativamente facile creare un paradosso autoreferenziale con le parole,
While it's relatively easy to ...: introdurre una concessione
Qui, While significa anche se o sebbene, non durante il tempo in cui. La proposizione ammette che creare un paradosso autoreferenziale con le parole è relativamente facile e prepara chi ascolta a un punto principale contrastante che riguarda un altro caso. La struttura riutilizzabile è While + proposizione, proposizione principale. Organizza le informazioni presentando prima un punto di contesto accettato e poi il contrasto più importante nella proposizione principale. Relatively easy significa più facile in confronto, non privo di difficoltà.
Esercizio
Quale frase usa while nello stesso senso concessivo dell’esempio?
- 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.
Mostra risposta
While the instructions look simple, the machine is difficult to operate.
a self-referential paradox: un paradosso che rimanda a se stesso
Self-referential significa “che rimanda a se stesso”: self- significa “se stesso”, mentre referential riguarda l’atto di indicare o fare riferimento. A self-referential paradox è un paradosso che nasce quando un’affermazione, una regola o un sistema rimanda a se stesso in un modo che crea una contraddizione o un ciclo impossibile. Qui l’espressione indica che le parole possono essere organizzate facilmente per creare questo tipo di autoreferenzialità. Non tutte le affermazioni autoreferenziali sono paradossi: l’autoreferenza deve anche causare un problema logico.
Esercizio
Quale descrizione corrisponde meglio a a self-referential paradox?
- Una persona si rifiuta di condividere con gli altri.
- Una frase rimanda a un fatto contenuto in un altro libro.
- Un’affermazione crea una contraddizione facendo riferimento a se stessa.
Mostra risposta
Un’affermazione crea una contraddizione facendo riferimento a se stessa.
numbers don't typically talk about themselves. Modi di dire
1:45i numeri di solito non parlano di se stessi.
numbers don't typically talk about themselves: autoriferimento espresso con una personificazione
La frase personifica i numeri attribuendo loro l’azione umana talk about. Qui, talk about themselves non significa parlare ad alta voce, ma fare riferimento a se stessi o contenere una descrizione di se stessi. Typically significa “nella maggior parte dei casi normali”, non “sempre”. Il parlante presenta un contrasto generale: le parole possono descrivere facilmente se stesse, mentre i numeri normalmente non lo fanno da soli.
Esercizio
Che cosa significa qui “numbers don't typically talk about themselves”?
- I numeri di solito restano in silenzio quando vengono letti ad alta voce.
- I numeri preferiscono parlare di altri numeri.
- In genere, i numeri non fanno riferimento a se stessi e non si descrivono.
Mostra risposta
In genere, i numeri non fanno riferimento a se stessi e non si descrivono.
A mathematical statement is simply true or false: stabilire uno schema binario
La parte evidenziata presenta un enunciato matematico come appartenente a una di due categorie: vero o falso. Qui simply significa “soltanto” o “in una classificazione di base”; non significa che la matematica sia facile. Posto prima di but, questo schema binario offre al lettore una regola iniziale familiare. La frase può poi cambiare direzione e introdurre l'idea di Gödel come qualcosa che renderà più complesso quel quadro semplice.
Esercizio
Quale funzione svolge la parte evidenziata in questa frase?
- Stabilisce un quadro familiare di vero o falso prima che la frase cambi direzione.
- Spiega i dettagli dell'idea di Gödel.
- Dice che ogni parte della matematica è facile.
Mostra risposta
Stabilisce un quadro familiare di vero o falso prima che la frase cambi direzione.
but Gödel had an idea: una svolta narrativa
But segnala che la spiegazione sta cambiando direzione. La proposizione precedente offre un'immagine semplice basata sul vero o falso; but Gödel had an idea sposta l'attenzione da quel contesto alla persona e al successivo sviluppo importante. Had an idea introduce una possibile strada da seguire senza ancora spiegarla. Crea slancio e attesa, ma non significa che l'idea sia già stata dimostrata o abbia avuto successo.
Esercizio
Quale funzione svolge but Gödel had an idea nella narrazione?
- Dimostra che l'idea di Gödel era già corretta.
- Ripete la regola del vero o falso senza cambiare direzione.
- Passa dalla regola di contesto a una nuova idea che verrà spiegata in seguito.
Mostra risposta
Passa dalla regola di contesto a una nuova idea che verrà spiegata in seguito.
First, he translated mathematical statements and equations into code numbers, Espressioni
1:54Per prima cosa, tradusse le affermazioni e le equazioni matematiche in numeri in codice,
translate A into B: trasformare una forma in un’altra
Translate A into B significa trasformare A da una forma o un sistema in B. Qui gli enunciati e le equazioni matematiche vengono convertiti in codici numerici; non si tratta di una traduzione tra lingue naturali. Il risultato dopo into indica il tipo di cambiamento. Questa struttura può descrivere una traduzione, una codifica, una conversione di formato o la presentazione di un’idea in una forma diversa.
Esercizio
Completa la struttura translate A into B: The scanner translates printed pages ____ searchable text.
Mostra risposta
into
so that a complex mathematical idea could be expressed in a single number. Grammatica
1:59in modo che una complessa idea matematica potesse essere espressa in un singolo numero.
so that ... could be expressed: scopo e possibilità resa concreta
So that collega l’azione precedente allo scopo o al risultato che essa ha reso possibile: la codifica ha permesso a un solo numero di rappresentare un’idea matematica complessa. Qui il significato è vicino a in order that, non a un semplice therefore. Could be expressed combina could con la forma passiva be + participio passato. Could indica una possibilità resa concreta, mentre il passivo concentra l’attenzione sull’idea e sul modo in cui può essere rappresentata, non sulla persona che la esprime.
Esercizio
Completa la frase con so that e la forma passiva corretta di understand: The safety message was rewritten ____ it could ____ by children.
Mostra risposta
so that · be understood
were also expressing something about the encoded statements of mathematics. Lessico
2:07esprimevano anche qualcosa sulle affermazioni codificate della matematica.
This meant that: collegare un fatto alla sua conseguenza
In questa frase, This rimanda al passaggio precedente, cioè alla codifica degli enunciati matematici come numeri. meant that introduce ciò che derivava da quel passaggio: gli enunciati scritti con quei numeri potevano anche dire qualcosa sugli enunciati matematici che essi rappresentavano. La struttura This meant that + proposizione organizza una catena di ragionamento. Trasforma un fatto precedente nel punto di partenza di una conseguenza o implicazione; qui meant significa “ebbe come conseguenza che”, non “diede la definizione di una parola”.
Esercizio
Qual è la funzione di This meant that nell'esempio?
- Introduce un fatto estraneo al passaggio precedente.
- Fornisce una definizione da dizionario della parola mathematics.
- Collega il passaggio precedente di codifica a una conseguenza che ne è derivata.
Mostra risposta
Collega il passaggio precedente di codifica a una conseguenza che ne è derivata.
encoded statements of mathematics: encoded come aggettivo
L'espressione encoded statements of mathematics indica enunciati matematici che sono già stati convertiti in un codice, qui in una rappresentazione numerica. encoded è il participio passato di encode usato come aggettivo prima di statements; of mathematics identifica l'ambito a cui appartengono gli enunciati. La codifica cambia il modo in cui l'informazione viene rappresentata, così che un sistema possa memorizzarla o gestirla. Da sola, non indica che l'informazione sia stata nascosta per mantenerla segreta.
Esercizio
In encoded statements of mathematics, che cosa ci dice encoded?
- Gli enunciati sono stati estratti da un codice e riportati alla forma originale.
- Gli enunciati sono stati sicuramente nascosti per mantenerli segreti.
- Gli enunciati sono stati convertiti in una forma codificata.
Mostra risposta
Gli enunciati sono stati convertiti in una forma codificata.
the coding allowed mathematics to talk about itself. Modi di dire
2:13la codifica permise alla matematica di parlare di se stessa.
allowed mathematics to talk about itself: personificazione e struttura allow A to do B
La struttura allow A to do B significa «rendere possibile che A faccia B». Qui la codifica dà alla matematica una nuova capacità: può rappresentare enunciati che riguardano la matematica stessa. talk about itself è una personificazione. La matematica non parla davvero; la frase rende più facile immaginare l’idea astratta dell’autoreferenzialità.
Esercizio
Che cosa significa allowed mathematics to talk about itself in questa frase?
- Ha fatto parlare la matematica ad alta voce.
- Ha dato ai matematici il permesso di discutere della codifica.
- Ha reso possibile alla matematica esprimere enunciati su se stessa.
Mostra risposta
Ha reso possibile alla matematica esprimere enunciati su se stessa.
he was able to write: "This statement cannot be proved" as an equation, Note
2:17fu in grado di scrivere: "Questa affermazione non può essere dimostrata" sotto forma di equazione,
“This statement cannot be proved”: autoreferenzialità e forma passiva
La citazione è una versione in inglese semplice di un enunciato matematico autoreferenziale che la codifica di Gödel permette di scrivere come un’equazione. This statement rimanda all’intero enunciato tra virgolette, quindi l’enunciato fa un’affermazione su se stesso. cannot be proved è una forma passiva: significa che nessuna dimostrazione può stabilire quello stesso enunciato all’interno del sistema matematico in questione. Non significa che l’enunciato non sia capace di dimostrare qualcos’altro.
Esercizio
Che cosa afferma l’enunciato tra virgolette?
- Dice che nessuno ha il permesso di scrivere una dimostrazione.
- Dice che questo enunciato non può dimostrare un’altra equazione.
- Dice che quello stesso enunciato non può essere dimostrato all’interno del sistema.
Mostra risposta
Dice che quello stesso enunciato non può essere dimostrato all’interno del sistema.
creating the first self-referential mathematical statement.
2:22creando la prima affermazione matematica autoreferenziale.
write ... as an equation, creating ...: forma e risultato
In write X as Y, as introduce la forma assunta da X. Qui l'enunciato viene espresso sotto forma di equazione. La frase in -ing creating ... dopo la virgola aggiunge il risultato dell'azione precedente: scrivere l'enunciato come equazione ha creato il primo enunciato matematico autoreferenziale. Creating non è un altro verbo principale indipendente.
Esercizio
Completa la struttura obiettivo con as e la forma in -ing di make: She rewrote the results ____ a chart, ____ the pattern easier to see.
Mostra risposta
as · making
However, unlike the ambiguous sentence that inspired him, Discorso
2:27Tuttavia, a differenza della frase ambigua che lo aveva ispirato,
However, unlike ...: organizzare un contrasto
However segnala il passaggio da quanto è stato appena detto a una differenza importante. Unlike indica poi l'elemento usato per il confronto: the ambiguous sentence that inspired him. La struttura However, unlike + sintagma nominale, ... guida chi ascolta da un esempio noto a un caso in contrasto con esso. Qui unlike è seguito da un sintagma nominale, non da una proposizione completa con soggetto e verbo; l'affermazione principale viene dopo questa espressione iniziale.
Esercizio
Completa la struttura obiettivo However, unlike + sintagma nominale: ____, ____ the old model, this one uses less energy.
Mostra risposta
However · unlike
mathematical statements must be true or false. Grammatica
2:31le affermazioni matematiche devono essere vere o false.
must be true or false: necessità logica
Qui must esprime una necessità stabilita da un sistema logico, non un ordine dato da una persona. L'idea è che un enunciato matematico debba rientrare in una delle due categorie di valore di verità: vero o falso. Interpreta must in questo modo quando regole, definizioni o prove rendono necessaria una conclusione. Chiediti se la frase descrive ciò che consegue logicamente oppure richiede a qualcuno di fare qualcosa.
Esercizio
In mathematical statements must be true or false, che cosa esprime must?
- Gli enunciati promettono di dire la verità.
- Qualcuno ordina agli enunciati di scegliere come comportarsi.
- Il sistema logico richiede che ogni enunciato abbia uno dei due valori.
Mostra risposta
Il sistema logico richiede che ogni enunciato abbia uno dei due valori.
So, which is it?: una domanda che riporta l'attenzione sulla scelta
So collega questa domanda al ragionamento appena concluso. which is it? chiede di scegliere tra le alternative già presentate; qui, it si riferisce all'enunciato matematico e le alternative sono true e false. Come strumento di organizzazione del discorso, questa breve domanda concentra il ragionamento precedente in un unico punto decisionale. Interrompe per un momento la spiegazione, riporta l'attenzione sulla scelta centrale e apre la fase successiva dell'argomentazione.
Esercizio
Che funzione svolge So, which is it? dopo che sono state presentate due possibilità?
- Riporta la discussione alla scelta tra quelle possibilità.
- Introduce un nuovo argomento non collegato al ragionamento precedente.
- Afferma che entrambe le possibilità sono sicuramente corrette.
Mostra risposta
Riporta la discussione alla scelta tra quelle possibilità.
that means the statement does have a proof. Grammatica
2:37significa che l'affermazione ha una dimostrazione.
If it's false, that means ...: dall'ipotesi alla conclusione
“If it's false” presenta una condizione o un'ipotesi temporanea. “that means” introduce la conclusione che segue quando si accetta quella condizione: the statement does have a proof. Questa struttura organizza il ragionamento come “se A, allora A porta a B”. Qui “that means” non traduce né si limita a ripetere “false”; fa avanzare la spiegazione verso la conseguenza logica.
Esercizio
Leggi questa frase: “If the screen is blank, that means the computer is not receiving a signal.” Qual è la funzione di “that means”?
- Introduce la conclusione ricavata dalla condizione.
- Inizia un argomento non collegato.
- Traduce la parola “blank”.
Mostra risposta
Introduce la conclusione ricavata dalla condizione.
does have a proof: il does enfatico in una frase affermativa
Nella proposizione affermativa “the statement does have a proof”, does è un do enfatico. Aggiunge il senso di “davvero” o “effettivamente”: chi parla sottolinea che una dimostrazione esiste. Does porta il tempo presente e l'accordo con il soggetto singolare “the statement”, quindi have resta alla forma base. Senza does, “the statement has a proof” comunica lo stesso fatto fondamentale, ma con meno forza di correzione o contrasto.
Esercizio
Usa il does enfatico + la forma base have per completare la correzione: “You said the plan has no benefit, but it ____ one important advantage.”
Mostra risposta
does have
But if a mathematical statement has a proof, Grammatica
2:40Ma se un'affermazione matematica ha una dimostrazione,
if ..., then it must ...: condizione e conclusione necessaria
La proposizione introdotta da if presenta la condizione: a mathematical statement has a proof. La proposizione principale presenta la conclusione, mentre then rende facile seguire il legame tra condizione e risultato. Nell’inglese comune, then a volte può essere omesso, ma qui organizza chiaramente il ragionamento. In must be true, must significa che qualcosa è necessariamente così in base alla logica. Non esprime un obbligo o un ordine.
Esercizio
Completa la frase con lo schema esatto if ..., then it must ...: ____ an integer ends in 0, ____ it ____ divisible by 10.
Mostra risposta
If · then · must be
This contradiction means that Gödel's statement can't be false, Note
2:44Questa contraddizione implica che l'affermazione di Gödel non può essere falsa,
This contradiction means ...: far avanzare un'argomentazione
This contradiction rimanda al conflitto già stabilito nell’argomentazione: considerare falso l’enunciato porta alla conclusione che sia vero. Means introduce ciò che deriva logicamente da quel conflitto; non fornisce una definizione da dizionario. L’espressione funziona come un segnale che riassume il problema e porta l’argomentazione alla conclusione successiva.
Esercizio
In questa argomentazione, che funzione ha This contradiction means ...?
- Riassume un’incoerenza e introduce la conclusione che ne deriva.
- Sposta l’argomento su un esempio non collegato.
- Fornisce una definizione da dizionario della parola contradiction.
Mostra risposta
Riassume un’incoerenza e introduce la conclusione che ne deriva.
Gödel's statement can't be false: impossibilità logica
In Gödel's statement can't be false, can't significa “è logicamente impossibile”, non “non ne ha la capacità”. La contraddizione esclude la possibilità che l’enunciato sia falso. Questo uso di can't esprime una conclusione forte basata sul ragionamento o sulle prove: se un’ipotesi conduce a qualcosa di impossibile, quell’ipotesi non può essere corretta.
Esercizio
Che cosa significa can't in “The answer can't be false because it follows from the rule”?
- È logicamente impossibile che la risposta sia falsa.
- Non è consentito che la risposta sia falsa.
- Il parlante non è in grado di rendere falsa la risposta.
Mostra risposta
È logicamente impossibile che la risposta sia falsa.
it must be true that this statement cannot be proved.
2:49deve essere vero che questa affermazione non può essere dimostrata.
and therefore, it must be true that ...: indicare una conclusione
and therefore segnala a chi ascolta che ciò che segue è una conclusione ricavata dal ragionamento precedente. Collega la contraddizione precedente alla nuova affermazione, invece di aggiungere semplicemente un altro fatto. it must be true that presenta l’intera proposizione introdotta da that come una conclusione necessaria. La proposizione conclusa qui è this statement cannot be proved.
Esercizio
Completa la struttura formale di conclusione: The machine accepts only valid tickets. This ticket was accepted, ____ this ticket is valid.
Mostra risposta
and therefore it must be true that
Yet ... even more surprising because ...: contrasto, enfasi e ragione
All’inizio della frase, Yet significa «tuttavia» o «eppure» e non ha il valore temporale di not yet. Segna un contrasto con ciò che è appena stato stabilito e indica che il ragionamento procede verso un’ulteriore implicazione inattesa. La struttura this result is even more surprising because ... rafforza la valutazione e poi ne introduce la ragione. Nel complesso, la parte evidenziata organizza le informazioni presentando una conclusione precedente, un contrasto più netto e il motivo per cui il nuovo punto è più sorprendente.
Esercizio
Quale funzione svolge l’inizio evidenziato nella frase?
- Dice che il risultato non si è ancora verificato.
- Introduce una ragione, ma non crea alcun contrasto con un punto precedente.
- Crea un contrasto con il punto precedente, intensifica la valutazione e introduce una ragione.
Mostra risposta
Crea un contrasto con il punto precedente, intensifica la valutazione e introduce una ragione.
a true equation: un’equazione la cui affermazione è vera
In a true equation, true valuta il contenuto matematico: l’uguaglianza o l’affermazione espressa dall’equazione è vera. In inglese, anche uno statement o un claim matematico può essere descritto come true o false. Qui true non significa semplicemente «reale», «autentico» o «effettivamente esistente». Il punto sorprendente dipende dal fatto che l’equazione sia matematicamente vera, anche se, in base a ciò che afferma, non può essere dimostrata.
Esercizio
In una discussione di matematica, che cosa significa qui a true equation?
- Un’equazione che esiste realmente, indipendentemente dal fatto che la sua affermazione matematica sia vera.
- Un’equazione che usa soltanto numeri reali.
- Un’equazione la cui affermazione matematica è vera.
Mostra risposta
Un’equazione la cui affermazione matematica è vera.
asserts it cannot be proved: formulare un'affermazione formale
In questa frase, asserts significa “dichiara o afferma formalmente”. L'equazione presenta un'affermazione che può essere giudicata vera o falsa; il verbo non suggerisce che si parli ad alta voce. Le parole it cannot be proved esprimono il contenuto dell'affermazione. Qui, it si riferisce all'equazione stessa. Dopo assert si usa spesso la congiunzione that, ma è possibile ometterla: asserts (that) it cannot be proved.
Esercizio
In questa frase, che cosa indica asserts riguardo all'equazione?
- Parla a voce molto alta.
- Presenta formalmente un'affermazione che può essere giudicata vera o falsa.
- Dimostra l'affermazione con ragioni che la sostengono.
Mostra risposta
Presenta formalmente un'affermazione che può essere giudicata vera o falsa.
This revelation is at the heart of Gödel's incompleteness theorem, Note
3:04Questa rivelazione è il cuore del teorema di incompletezza di Gödel,
is at the heart of ...: indicare l'idea centrale
Be at the heart of è un'espressione idiomatica che significa “essere una parte centrale o estremamente importante di qualcosa”. Qui heart è usato in senso figurato; l'espressione riguarda l'importanza, non un cuore fisico o una posizione. In questa frase, la rivelazione viene presentata come l'idea fondamentale del teorema di incompletezza di Gödel. La struttura è be + at the heart of + un argomento, problema, teoria o altro insieme più ampio.
Esercizio
Usa l'espressione idiomatica della lezione per completare la frase: Trust is ____ a healthy friendship.
Mostra risposta
at the heart of
Gödel's incompleteness theorem: il teorema di incompletezza di Gödel
Qui, Gödel's incompleteness theorem è il nome di un risultato della logica matematica. Un theorem è un enunciato stabilito mediante una dimostrazione, mentre incompleteness indica un limite di un sistema formale, non una dimostrazione che qualcuno ha lasciato incompleta. Per capire questa frase, basta sapere che un sistema formale sufficientemente potente può contenere enunciati matematici veri che non possono essere dimostrati all'interno dello stesso sistema. La rivelazione menzionata prima è centrale per questo teorema.
Esercizio
Nel nome Gödel's incompleteness theorem, a che cosa si riferisce incompleteness?
- Un limite di alcuni sistemi formali: certi enunciati veri non possono essere dimostrati all'interno del sistema.
- Una dimostrazione incompleta che richiede altre pagine.
- L'affermazione che la matematica non possiede dimostrazioni valide.
Mostra risposta
Un limite di alcuni sistemi formali: certi enunciati veri non possono essere dimostrati all'interno del sistema.
which introduces an entirely new class of mathematical statement. Grammatica
3:08che introduce una classe di affermazioni matematiche completamente nuova.
which introduces ...: aggiungere un commento non restrittivo
La proposizione which introduces an entirely new class of mathematical statement aggiunge informazioni su Gödel's incompleteness theorem, menzionato nella proposizione precedente. Which rimanda al theorem, mentre introduces descrive ciò che fa quel teorema. La virgola segnala una proposizione relativa non restrittiva: la proposizione aggiunge un commento su un elemento già identificato, invece di selezionare un teorema tra vari possibili. Prosegue la stessa frase e non avvia un pensiero indipendente.
Esercizio
Completa la frase con la parola relativa che aggiunge un commento non restrittivo: The update adds a search tool, ____ makes old files easier to find.
Mostra risposta
which
statements still are either true or false, Grammatica
3:14le affermazioni continuano a essere o vere o false,
but true statements can either be provable or unprovable within a given set of axioms. Lessico
3:17ma le affermazioni vere possono essere dimostrabili o indimostrabili all'interno di un dato insieme di assiomi.
In Gödel's paradigm: paradigm come quadro organizzativo
Qui, paradigm indica un ampio quadro per comprendere e organizzare le idee, non un singolo esempio o una formula. In Gödel's paradigm significa all’interno del quadro introdotto da Gödel. Questo quadro separa due domande: se un enunciato sia vero e se possa essere dimostrato a partire da un dato insieme di assiomi. L’uso di paradigm indica come vengono organizzate le informazioni che seguono.
Esercizio
Nella frase, che cosa significa paradigm?
- un caso illustrativo
- una singola formula matematica
- un ampio quadro per comprendere e organizzare le idee
Mostra risposta
un ampio quadro per comprendere e organizzare le idee
either true or ... / can either be provable or unprovable: alternative abbinate
Either ... or ... collega due alternative. La frase usa la struttura due volte: prima true contrapposto a false, poi provable contrapposto a unprovable. In questo contesto, ogni coppia forma una classificazione in due possibilità. Le alternative mantengono una struttura parallela. True e false sono aggettivi nella prima coppia; provable e unprovable sono descrizioni parallele nella seconda. Le parole condivise, come can e be, non devono essere ripetute. Qui, either fa parte della coppia e non significa anche.
Esercizio
Completa la struttura correlativa con either ... or: A binary answer is ____ yes ____ no.
Mostra risposta
either · or
within a given set of axioms: delimitare il sistema logico
Qui within indica un confine astratto, non un luogo fisico. A given set of axioms indica le specifiche regole di partenza scelte per il sistema logico. La frase limita provable or unprovable: la dimostrabilità di un enunciato viene valutata usando quell'insieme di assiomi. Non afferma che il risultato della dimostrazione sia lo stesso con ogni possibile insieme di assiomi.
Esercizio
Che cosa indica l'espressione evidenziata in questa frase?
- L'enunciato è fisicamente circondato da assiomi.
- Ogni insieme di assiomi dimostra l'enunciato.
- La dimostrabilità viene valutata usando uno specifico insieme di assiomi.
Mostra risposta
La dimostrabilità viene valutata usando uno specifico insieme di assiomi.
Gödel argues these unprovable true statements exist in every axiomatic system. Lessico
3:25Gödel sostiene che queste affermazioni vere indimostrabili esistono in ogni sistema assiomatico.
unprovable true statements in ogni sistema assiomatico
Unprovable true statements combina due giudizi diversi. True indica che gli enunciati sono veri; unprovable indica che non è possibile produrre una dimostrazione a partire dagli assiomi e dalle regole del sistema in questione. Unprovable, quindi, non significa false. In every axiomatic system dà all'affermazione una portata universale in questa frase: dice che ogni sistema contiene enunciati di questo tipo, non soltanto alcuni sistemi.
Esercizio
Quale opzione conserva correttamente il significato di unprovable true statements?
- Sono veri, anche se il sistema non può dimostrarli.
- Sono enunciati veri le cui dimostrazioni non sono ancora state trovate, ma saranno certamente trovate.
- Sono falsi perché non esiste una dimostrazione.
Mostra risposta
Sono veri, anche se il sistema non può dimostrarli.
This makes it impossible to create a perfectly complete system using mathematics Grammatica
3:32Ciò rende impossibile creare un sistema perfettamente completo usando la matematica
make it impossible to create: struttura make it + aggettivo + to do
La struttura make it + aggettivo + to do indica che qualcosa rende un’azione facile, difficile, possibile o impossibile. Qui, This rimanda al limite matematico spiegato in precedenza, impossible indica il risultato e to create a perfectly complete system nomina l’azione giudicata impossibile. it è un oggetto fittizio o formale. Non si riferisce a una cosa; occupa la posizione dell’oggetto finché il contenuto reale non compare nell’infinito con to.
Esercizio
Completa la frase con la struttura obiettivo per indicare che non è possibile aprire la finestra: The broken handle ____ open the window.
Mostra risposta
makes it impossible to
because there will always be true statements we cannot prove. Grammatica
3:38perché ci saranno sempre affermazioni vere che non possiamo dimostrare.
there will always be: esprimere un’esistenza continua
Because introduce la ragione della conclusione precedente. La costruzione esistenziale there will be indica che qualcosa esisterà, e collocare always dopo will rende l’affermazione più forte: alcuni enunciati veri continueranno a esistere indipendentemente da come verrà sviluppato il sistema. In true statements we cannot prove, we cannot prove identifica quali enunciati si intendono. La parola relativa that è omessa: true statements that we cannot prove. Qui, always esprime una persistenza logica, non la frequenza di un evento quotidiano.
Esercizio
Completa con la forma futura di there be e always per mostrare che il limite continuerà: ____ cases the rule does not cover.
Mostra risposta
There will always be
Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, Note
3:42Anche se si tenesse conto di queste affermazioni indimostrabili aggiungendole come nuovi assiomi a un sistema matematico ampliato,
Even if ... by adding ... as new axioms: concessione, metodo e ruolo
Even if introduce una concessione ipotetica. Chi parla accetta per un momento la possibilità che venga adottata questa misura, ma segnala che la conclusione successiva resterà valida. Non afferma che la misura sia già stata adottata. Qui, by adding them indica il metodo usato per affrontare le affermazioni, mentre as new axioms indica il ruolo che esse ricevono. Lo schema riutilizzabile è Even if + condizione, by + forma in -ing per il metodo e as + ruolo o identità.
Esercizio
Completa lo schema concessione-metodo-ruolo. Usa Even if, by e as una volta ciascuno: ____ you improve the plan ____ adding a checklist ____ a safety tool, some risks may remain.
Mostra risposta
Even if · by · as
you account for: considerare o gestire un fattore
Account for è qui una locuzione verbale. You account for these unprovable statements significa che dai spazio a queste affermazioni nel sistema matematico e le affronti; by adding them as new axioms spiega come. Considera account for come un'unica unità seguita dal suo oggetto. Il significato preciso dipende dal contesto: qui è più vicino ad affrontare o tenere conto di che a spiegare perché sia accaduto qualcosa.
Esercizio
Nella frase originale, che cosa significa account for?
- Spiegare perché le affermazioni sono vere
- Dipendere dalle affermazioni
- Affrontare o tenere conto delle affermazioni nel sistema
Mostra risposta
Affrontare o tenere conto delle affermazioni nel sistema
that very process introduces new unprovably true statements. Discorso
3:49quello stesso processo introdurrebbe nuove affermazioni vere indimostrabili.
that very process introduces: enfasi proprio su quel processo
In that very process, that richiama il processo già menzionato di aggiungere assiomi. Very enfatizza direttamente il sostantivo process: significa “proprio quel processo” o “il processo stesso”, non un processo di grado estremo. Usare l’espressione enfatizzata come soggetto di introduces mette in risalto la conseguenza: lo stesso processo di cui si parla fa comparire nuove affermazioni. La struttura this/that/the very + sostantivo permette di richiamare qualcosa e sottolineare che proprio quella cosa è responsabile del risultato.
Esercizio
Nella frase “That very decision caused the delay,” che cosa indica very?
- The exact decision already mentioned caused the delay.
- The decision was extremely difficult.
- A different decision prevented the delay.
Mostra risposta
The exact decision already mentioned caused the delay.
No matter how many axioms you add: una concessione sulla quantità
No matter how many + sostantivo numerabile plurale + soggetto + verbo introduce una proposizione concessiva. La quantità può variare senza limiti: qui il numero di assiomi aggiunti può essere piccolo o grande. Questa proposizione non pone una domanda. Prepara una proposizione principale il cui risultato resta vero con qualsiasi quantità; la virgola segnala quindi che la frase continua.
Esercizio
Completa la frase con l’espressione di quattro parole che inizia con No e significa “indipendentemente dal numero”: ____ books you read, there will always be more to discover.
Mostra risposta
No matter how many
there will always be unprovably true statements in your system. Grammatica
3:57ci saranno sempre affermazioni vere indimostrabili nel vostro sistema.
there will always be unprovably true statements: ci saranno sempre enunciati veri non dimostrabili
there will ... be è una struttura esistenziale: indica che qualcosa esisterà o accadrà. always rende il risultato inevitabile, non solo possibile. Qui chiude il ragionamento ribadendo che aggiungere altri assiomi non elimina questa situazione. unprovably true statements sono enunciati veri che non possono essere dimostrati a partire dagli assiomi interni al sistema. your system indica il sistema matematico che viene costruito o ampliato; unprovably non significa probabilmente.
Esercizio
Quale interpretazione corrisponde meglio alla frase?
- Il sistema conterrà inevitabilmente alcuni enunciati veri che non possono essere dimostrati al suo interno.
- Il sistema potrebbe contenere enunciati che sono probabilmente veri.
- Ogni enunciato vero è già stato dimostrato nel sistema.
Mostra risposta
Il sistema conterrà inevitabilmente alcuni enunciati veri che non possono essere dimostrati al suo interno.
It's Gödels all the way down: limiti alla Gödel che ricompaiono senza fine
It's X all the way down è una formula umoristica per una regressione senza fine: lo stesso tipo di spiegazione, problema o schema ricompare a ogni livello più profondo. Richiama la nota frase turtles all the way down, quindi down è figurato e non indica una direzione di movimento. Gödels è un plurale scherzoso formato dal nome Gödel. Rappresenta risultati alla Gödel che si ripetono, non varie persone chiamate Gödel. In questo contesto, quando il sistema matematico viene esteso, nel nuovo sistema rimane un altro enunciato vero non dimostrabile. Il parlante trasforma questo limite ricorrente in una battuta concisa.
Esercizio
Che cosa significa qui It's Gödels all the way down?
- Un solo teorema risolve ogni possibile estensione del sistema.
- I limiti alla Gödel continuano a ricomparire man mano che il sistema viene esteso.
- Diverse persone chiamate Gödel si stanno spostando verso il basso.
Mostra risposta
I limiti alla Gödel continuano a ricomparire man mano che il sistema viene esteso.
This revelation rocked the foundations of the field, Modi di dire
4:04Questa rivelazione scosse le fondamenta del settore,
rocked the foundations of the field: metafora di un impatto fondamentale
In questa frase, rocked the foundations of the field è una metafora: la rivelazione ha messo profondamente in discussione le convinzioni o i presupposti fondamentali del settore. Qui the field indica la matematica; nessun edificio si muove davvero. La struttura rock the foundations of + un'istituzione, una disciplina o un sistema descrive un evento che minaccia o trasforma qualcosa al suo livello più fondamentale.
Esercizio
In questa frase, che cosa significa rocked the foundations of the field?
- Ha danneggiato fisicamente le fondamenta di un edificio.
- Ha prodotto un cambiamento piccolo e ordinario nel settore.
- Ha messo profondamente in discussione le convinzioni fondamentali del settore.
Mostra risposta
Ha messo profondamente in discussione le convinzioni fondamentali del settore.
crushing those who dreamed that every mathematical claim would one day be proven or disproven. Note
4:07distruggendo i sogni di coloro che speravano che ogni tesi matematica un giorno sarebbe stata dimostrata o confutata.
crushing those who dreamed that ...: un sintagma in -ing che esprime un risultato
Crushing those who dreamed that ... è un sintagma al participio presente (-ing) collegato alla proposizione precedente. Aggiunge il risultato dell'impatto della rivelazione: essa ha inferto un duro colpo emotivo a quelle persone. Il sintagma non ha un soggetto separato espresso. La causa implicita di crushing è la rivelazione della proposizione precedente, mentre those è il complemento oggetto; those who ... significa "le persone che...". Qui crushing è figurato, non fisico.
Esercizio
Quale frase usa un sintagma finale in -ing per aggiungere il risultato dell'evento precedente?
- Because the storm closed the airport, hundreds of travelers were stranded.
- The storm closed the airport and hundreds of travelers waited nearby.
- The storm closed the airport, leaving hundreds of travelers stranded.
Mostra risposta
The storm closed the airport, leaving hundreds of travelers stranded.
would one day be proven or disproven: passivo del futuro visto dal passato
La proposizione è vista dal momento passato espresso da dreamed. In quel momento, quelle persone immaginavano un risultato successivo; quindi would significa “futuro visto dal passato”, non volontà. One day indica un momento futuro non specificato. Be proven or disproven è una forma passiva: ogni affermazione matematica riceve uno dei due risultati. Lo schema riutilizzabile è convinzione o speranza nel passato + would + espressione di tempo + be + participio passato.
Esercizio
Completa la frase con would one day e la forma passiva di solve: In 1995, researchers believed the puzzle ____.
Mostra risposta
would one day be solved
While most ..., some ...: organizzare un contrasto tra gruppi
Qui while introduce un contrasto, non una relazione temporale. La prima proposizione riferisce la reazione della maggioranza; la seconda presenta una reazione diversa da parte di un gruppo più piccolo. Lo schema While most ..., some ... aiuta a organizzare una distribuzione di opinioni o risultati. Non afferma che le due reazioni siano avvenute esattamente nello stesso momento.
Esercizio
Qual è la funzione di while in questa frase? “While most neighbors supported the plan, some opposed it.”
- Fornisce il motivo per cui alcune persone si sono opposte al piano.
- Mette a confronto le reazioni di due gruppi.
- Dice che due azioni sono durate esattamente per lo stesso tempo.
Mostra risposta
Mette a confronto le reazioni di due gruppi.
fervently debated: discutere con forte convinzione
Fervently significa «con forte sentimento, passione o convinzione». Qui descrive l'intensità e l'atteggiamento del dibattito, non quante volte si è svolto. Il pronome it rimanda alla nuova realtà rivelata dal teorema di Gödel. La proposizione presenta la decisa reazione di un gruppo a quell'idea.
Esercizio
In “Some fervently debated it,”, che cosa indica fervently?
- Hanno discusso con forte sentimento e convinzione.
- Hanno discusso a bassa voce per non attirare l'attenzione.
- Hanno discusso molte volte.
Mostra risposta
Hanno discusso con forte sentimento e convinzione.
Others still tried to ignore the newly uncovered hole in the heart of their field. Note
4:19Altri cercarono ancora di ignorare la falla appena scoperta nel cuore del loro campo.
Others still tried to ignore: organizzare la reazione persistente di un altro gruppo
Others sposta la narrazione su un gruppo diverso dalle persone già menzionate. In una sequenza come most, some e others, aiuta a suddividere chiaramente le reazioni in gruppi. Still indica che qualcosa continua anche dopo che la situazione è cambiata. Nel complesso, Others still tried to ignore introduce la reazione di un altro gruppo e mostra che il suo tentativo di evitare il problema continuava nonostante le nuove prove.
Esercizio
Quale frase usa others still per introdurre la reazione persistente di un gruppo diverso?
- Most families went home, but others still waited for the final announcement.
- Most families went home, and every family left at the same time.
- The families stood still while they waited for the final announcement.
Mostra risposta
Most families went home, but others still waited for the final announcement.
newly uncovered hole in the heart of their field: una falla appena scoperta al centro del loro campo
L'espressione è una metafora per una lacuna o un limite grave proprio al centro di una disciplina accademica. A hole suggerisce che manchi qualcosa di importante, mentre the heart of their field indica la parte più centrale del loro campo. Newly uncovered significa che la debolezza è stata appena rivelata, non che si sia appena formata. La frase dice che alcune persone cercavano di ignorare questo problema fondamentale appena riconosciuto, non un vero buco fisico.
Esercizio
Che cosa significa newly uncovered hole in the heart of their field in questa frase?
- Un grave limite appena rivelato al centro del loro campo accademico
- Un buco fisico scavato di recente nel mezzo di una fattoria
- Un problema medico che colpisce il cuore dei ricercatori
Mostra risposta
Un grave limite appena rivelato al centro del loro campo accademico
But as more classical problems were proven to be unprovably true, Grammatica
4:24Ma man mano che sempre più problemi classici venivano dimostrati essere verità indimostrabili,
as more classical problems were proven...: un cambiamento che si sviluppa nel tempo
Qui as significa mentre o con il progressivo sviluppo di una situazione, non come in un paragone. La struttura as + una situazione che cambia presenta uno sviluppo come sfondo per un altro: il numero di problemi classici appartenenti a questa categoria continuava ad aumentare. More aggiunge il senso di un aumento graduale. La forma passiva were proven to be indica che cosa veniva progressivamente stabilito riguardo a quei problemi; la proposizione dopo la virgola esprime la reazione o il risultato che cresceva insieme a questo sviluppo.
Esercizio
Quale frase usa as con lo stesso senso di sviluppo nel tempo della proposizione evidenziata?
- She works as an engineer.
- The box is as heavy as the chair.
- As more evidence emerged, the team grew more confident.
Mostra risposta
As more evidence emerged, the team grew more confident.
some began to worry their life's work would be impossible to complete. Espressioni
4:28alcuni iniziarono a temere che il lavoro della loro vita sarebbe stato impossibile da completare.
began to worry: indicare l'inizio della preoccupazione
began to worry indica il momento in cui è iniziata la preoccupazione. In una narrazione segnala un cambiamento nello stato d'animo delle persone, non semplicemente un'altra azione. Qui worry è seguito da una proposizione che esprime il contenuto della preoccupazione; that è facoltativo: began to worry (that) their life's work.... Questa struttura ci dice che cosa li preoccupava.
Esercizio
Quale frase mette in primo piano il momento in cui inizia la preoccupazione?
- After an hour with no reply, Leo never worried that something was wrong.
- After an hour with no reply, Leo had stopped worrying that something was wrong.
- After an hour with no reply, Leo began to worry that something was wrong.
Mostra risposta
After an hour with no reply, Leo began to worry that something was wrong.
life's work would be impossible to complete: il lavoro di una vita a rischio
Life's work indica il progetto, la missione o il contributo principale a cui una persona dedica molti anni, talvolta un'intera vita. Ha una portata e un'importanza personale molto maggiori rispetto a un compito ordinario. Would be impossible to complete presenta un risultato futuro visto da un momento passato: in quel momento temevano che il lavoro non potesse mai essere completato. La frase riporta la loro preoccupazione; non afferma che completarlo fosse davvero impossibile.
Esercizio
Nell'esempio, a che cosa si riferisce their life's work?
- Alle attività di routine che svolgevano ogni giorno
- Al lavoro principale a cui avevano dedicato molti anni
- Ai lavori che avevano intenzione di svolgere in un pomeriggio
Mostra risposta
Al lavoro principale a cui avevano dedicato molti anni
Still, Gödel's theorem opened as many doors as it closed. Modi di dire
4:33Tuttavia, il teorema di Gödel aprì tante porte quante ne chiuse.
Still ... opened as many doors as it closed: equilibrio tra opportunità e limiti
Open doors e close doors sono qui metafore. Doors indica opportunità, percorsi possibili o linee di ricerca, non porte fisiche. La struttura opened as many doors as it closed mette in parallelo un effetto positivo e uno negativo: il teorema ha creato nuove possibilità mentre ne limitava altre. Still segnala il passaggio dai limiti menzionati prima a una conclusione più positiva ed equilibrata.
Esercizio
Quale frase usa meglio la metafora delle porte per dire che una regola ha creato e limitato opportunità in misura più o meno uguale?
- 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.
Mostra risposta
The new rule opened as many doors as it closed.
Knowledge of unprovably true statements inspired key innovations in early computers. Espressioni
4:37La consapevolezza delle affermazioni vere indimostrabili ispirò innovazioni chiave nei primi computer.
inspired key innovations in early computers: descrivere l’influenza delle idee
Inspired key innovations significa che qualcosa ha contribuito a far nascere sviluppi nuovi e importanti. Qui il soggetto è Knowledge of unprovably true statements, quindi è una forma astratta di conoscenza, non una persona, a essere presentata come un’influenza sulla tecnologia. In early computers identifica l’ambito in cui sono comparse le innovazioni. Inspired indica un’influenza intellettuale; non afferma che quella conoscenza abbia inventato personalmente i computer o che sia stata l’unica causa diretta.
Esercizio
Usa lo schema di quattro parole inspire + key innovations + in, con inspire al passato: The discovery ____ battery design.
Mostra risposta
inspired key innovations in
some mathematicians dedicate their careers to identifying provably unprovable statements. Note
4:43alcuni matematici dedicano le loro carriere all'identificazione di affermazioni dimostrabilmente indimostrabili.
dedicate their careers to identifying: dedicate ... to + forma in -ing
In dedicate their careers to identifying ..., dedicate A to B significa dedicare A a uno scopo. Qui A è their careers e B è identifying qualcosa, quindi l'espressione presenta il lavoro come una missione professionale seria e di lungo periodo. La parola to è una preposizione in dedicate A to B. Quando B è un'azione, si usa la forma in -ing: to identifying, non to identify.
Esercizio
Completa la frase con il passato di dedicate her career to: Maria ____ improving rural health care.
Mostra risposta
dedicated her career to
provably unprovable statements: dimostrare l'indimostrabilità
Provably è un avverbio che modifica unprovable. L'espressione indica enunciati la cui indimostrabilità può essere stabilita mediante una dimostrazione: si può mostrare che non possono essere dimostrati nel sistema formale pertinente. Non significa semplicemente che nessuno abbia ancora trovato una prova, e provably non significa probably. La formulazione fa un'affermazione precisa su ciò che può essere dimostrato.
Esercizio
Quale significato corrisponde meglio a provably unprovable statements?
- Si può dimostrare che gli enunciati non sono dimostrabili.
- È già stato dimostrato che gli enunciati sono falsi.
- Gli enunciati sono probabilmente difficili da dimostrare.
Mostra risposta
Si può dimostrare che gli enunciati non sono dimostrabili.
So while mathematicians may have lost some certainty, Discorso
4:50Quindi, anche se i matematici potrebbero aver perso alcune certezze,
So while ... may have lost ...: fare una concessione prima della conclusione principale
Il So iniziale segnala che il parlante sta traendo una conclusione da quanto detto prima. Qui while ha valore concessivo e significa “sebbene” o “anche se”; non indica contemporaneità. La prima proposizione riconosce una possibile perdita, mentre la principale successiva presenta la conclusione centrale e più positiva. May have lost indica che la perdita potrebbe essere già avvenuta o che è ragionevole considerarla avvenuta. Non significa che ai matematici fosse permesso perdere la certezza. Questa formulazione attenua la concessione prima di bilanciarla con un vantaggio.
Esercizio
Quale seguito completa meglio questo riepilogo concessivo con una conclusione principale positiva: “So while the trip may have cost more than expected, ...”?
- it also took two hours longer than planned.
- the tickets had blue numbers printed on them.
- we still made memories we will always value.
Mostra risposta
we still made memories we will always value.
they can embrace the unknown at the heart of any quest for truth. Modi di dire
4:54possono abbracciare l'ignoto al centro di qualsiasi ricerca della verità.
thanks to Gödel: attribuire il merito di un risultato positivo
Thanks to Gödel è una locuzione prepositiva che significa “per il contributo di Gödel” o “grazie a Gödel”. Presenta il risultato positivo successivo come qualcosa che il suo lavoro ha contribuito a rendere possibile; non è un ringraziamento rivolto direttamente a lui. La struttura è thanks to + sintagma nominale. Qui il sintagma nominale è Gödel, e l’intera espressione spiega perché possono accogliere l’ignoto.
Esercizio
Completa con l’espressione obiettivo di due parole che significa “a causa di, attribuendo un merito positivo”: ____ Noah's quick repair, the robot worked again.
Mostra risposta
Thanks to
accogliere l’ignoto ... al centro di ogni ricerca della verità
In embrace the unknown, embrace è usato in senso figurato: significa accettare volontariamente e affrontare ciò che non è ancora noto, non abbracciare fisicamente qualcosa. Qui, the unknown comprende l’incertezza matematica, come affermazioni che possono essere vere anche quando un determinato sistema non è in grado di dimostrarle. At the heart of significa “nella parte centrale o essenziale di qualcosa”. Quest for truth presenta la ricerca della verità come un viaggio lungo e impegnativo. Come frase conclusiva, la proposizione presenta l’incertezza come una parte centrale della ricerca della verità, non semplicemente come un fallimento, e invita ad accettarla.
Esercizio
Quale opzione spiega meglio la frase?
- Possono accettare l’incertezza come una parte centrale della ricerca della verità.
- Possono evitare le domande senza risposta finché ogni fatto non è stato dimostrato.
- Possono tenere fisicamente qualcosa di sconosciuto durante un viaggio.
Mostra risposta
Possono accettare l’incertezza come una parte centrale della ricerca della verità.
The Pythagorean theorem has more than 350 proofs. Cultura
4:59Il teorema di Pitagora conta più di 350 dimostrazioni.
Pythagorean theorem: un risultato dimostrato della geometria
Pythagorean theorem è il nome stabilito di un risultato geometrico sui triangoli rettangoli: il quadrato dell’ipotenusa, il lato opposto all’angolo retto, è uguale alla somma dei quadrati degli altri due lati. Spesso si scrive a^2 + b^2 = c^2. Nel nome, Pythagorean collega il risultato a Pitagora, mentre theorem indica un enunciato matematico stabilito tramite una dimostrazione, non una regola comune o un’ipotesi non verificata. Per questo la frase può dire che possiede più di 350 dimostrazioni.
Esercizio
Che cosa indica theorem nel nome Pythagorean theorem?
- È un enunciato matematico stabilito tramite una dimostrazione.
- È una normale istruzione scolastica.
- È un’ipotesi non verificata su tutti i triangoli.
Mostra risposta
È un enunciato matematico stabilito tramite una dimostrazione.
So what exactly is this mathematical rule about?
5:03Ma di cosa tratta esattamente questa regola matematica?
And how was it proven in the first place? Espressioni
5:07E come è stata dimostrata la prima volta?
in the first place: chiedere del punto di partenza originario
Qui, in the first place significa «in origine» o «proprio all'inizio». Posta alla fine della domanda, l'espressione riporta l'attenzione dal teorema come lo conosciamo oggi al modo in cui fu dimostrato per la prima volta. È un'espressione idiomatica, quindi place non indica un luogo. Nelle domande, spesso aggiunge enfasi quando si chiede la causa, la ragione o il fondamento originario di qualcosa.
Esercizio
Quale funzione svolge in the first place in questa frase?
- Chiede se la dimostrazione abbia ottenuto il primo posto.
- Chiede come fu stabilita originariamente la dimostrazione.
- Chiede dove fosse situata fisicamente la prima dimostrazione.
Mostra risposta
Chiede come fu stabilita originariamente la dimostrazione.
Explore one of the cornerstones of geometry with this video. Modi di dire
5:10Esplorate una delle pietre miliari della geometria con questo video.
one of the cornerstones of geometry: una metafora delle fondamenta
Cornerstone indica letteralmente una pietra posta all'angolo di un edificio. Qui è una metafora per un'idea fondamentale che sostiene un campo più ampio. Definire il teorema a cornerstone of geometry significa che è fondamentale e molto importante per questa disciplina. La struttura one of the + sostantivo plurale + of indica che si tratta di una base importante fra diverse basi, non dell'unica.
Esercizio
Completa la frase con la struttura one of the cornerstones of: Reliable evidence is one ____ good research.
Mostra risposta
of the cornerstones of