Le paradoxe au cœur des mathématiques : le théorème d'incomplétude de Gödel - Marcus du Sautoy : fiche pour apprendre l’anglais
TED-Ed
Présentation de la vidéo : Un paradoxe autoréférentiel conduit Kurt Gödel à étudier les limites de la preuve mathématique. En codant des énoncés sous forme de nombres, il montre que tout système axiomatique contient des vérités impossibles à démontrer en son sein, ruinant l’espoir d’un système parfaitement complet tout en ouvrant de nouvelles pistes en mathématiques et en informatique. Principaux points d’anglais : 1. Consider the following sentence: — Discours, narration et rhétorique. Apprenez à employer ce repère académique concis pour attirer clairement l’attention sur une phrase, un exemple ou un problème qui va être analysé, et amorcer ainsi une explication de façon maîtrisée. 2. Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, — Grammaire et structures de phrase. Repérez la concession introduite par Even if, puis la manière dont by adding et as précisent la solution envisagée : la conclusion demeure valable malgré l’élargissement du système. Réutilisez cette structure pour tester si un correctif change réellement un résultat inévitable. 3. Still, Gödel's theorem opened as many doors as it closed. — Idiomes et expressions figurées. Comprenez que la métaphore équilibrée des portes signifie qu’une avancée crée des possibilités tout en imposant des limites comparables. Employez as many ... as ... pour résumer des effets contrastés sans les réduire à un bilan uniquement positif ou négatif.
Dans cette fiche
Consider the following sentence: "This statement is false." Notes
0:06Considérez la phrase suivante : « Cette affirmation est fausse. »
“Consider the following sentence:” comme formule d'introduction
“Consider the following sentence:” est une consigne qui attire l'attention sur la phrase placée après les deux-points. Ici, consider signifie « examiner attentivement et réfléchir », et non « décider si l'on accepte quelque chose ». Cette formule organise l'information en annonçant le type d'élément qui va suivre. Le nom peut devenir example, question ou case, tandis que la structure “Consider the following ...” reste la même.
Exercice
Complétez la formule exacte qui introduit une phrase à analyser : ____: "Water freezes at zero degrees Celsius."
Voir la réponse
Consider the following sentence
“This statement is false.” : autoréférence et paradoxe du menteur
Dans cette énigme, “this statement” est compris comme renvoyant à la phrase même qui le contient. La phrase est donc autoréférentielle : elle affirme quelque chose sur sa propre valeur de vérité. Si la phrase est vraie, ce qu'elle dit la rend fausse. Si elle est fausse, son affirmation selon laquelle elle est fausse paraît vraie. Ce basculement entre vrai et faux constitue la forme de base du paradoxe du menteur.
Exercice
Pourquoi “This statement is false.” crée-t-elle un paradoxe dans cette énigme ?
- La phrase n'a pas de sujet.
- Le mot “false” ne peut être utilisé qu'en mathématiques.
- “This statement” renvoie à la phrase elle-même.
Voir la réponse
“This statement” renvoie à la phrase elle-même.
If so, that would make this statement false. Notes
0:12Si c'est le cas, cela rendrait cette affirmation fausse.
If so : renvoyer à une condition précédente
If so signifie « si cela est vrai » ou « si c’est le cas ». Ici, so remplace toute l’idée qui vient d’être mentionnée. Cette expression transforme l’idée précédente en condition pour ce qui suit. Elle permet de garder un raisonnement clair sans répéter l’idée entière.
Exercice
Complétez la phrase avec l’expression de deux mots étudiée ici qui signifie « si cela est vrai » : The library may still be open. ____, we can return the books tonight.
Voir la réponse
If so
would make + objet + adjectif pour un résultat hypothétique
La structure would make + objet + adjectif décrit le résultat d’une condition hypothétique. Dans la phrase, this statement est l’objet et false est l’adjectif qui décrit l’état qu’il aurait. Ici, make est causatif : il signifie « faire devenir ou faire être », et non « créer ». Would indique que le résultat dépend de l’hypothèse précédente au lieu d’être un fait certain.
Exercice
Utilisez would make + objet + adjectif pour compléter le résultat hypothétique : Removing the warning label ____ the box unsafe.
Voir la réponse
would make
But if it's false, then the statement is true. Grammaire
0:14Mais si elle est fausse, alors l'affirmation est vraie.
if ... then ... : marquer une condition et sa conclusion
La proposition introduite par if énonce la condition : « elle est fausse ». La proposition introduite par then énonce la conclusion qui découle de cette condition : « l’énoncé est vrai ». Dans cette structure, then signifie « dans ce cas », et non « ensuite » dans le temps. Cette structure rend une étape du raisonnement facile à suivre : on indique d’abord l’hypothèse, puis ce qui en découle. Ici, le lien clair entre la condition et la conclusion aide à faire apparaître le paradoxe.
Exercice
Complétez l’énoncé logique avec if ... then ... : ____ a number ends in zero, ____ it is divisible by ten.
Voir la réponse
If · then
By referring to itself directly, this statement creates an unresolvable paradox. Notes
0:17En faisant directement référence à elle-même, cette affirmation crée un paradoxe insoluble.
By referring to itself directly : by + forme en -ing pour indiquer la méthode
Le groupe placé au début utilise by + forme en -ing : by + referring. Il indique le processus qui produit le résultat principal. Referring to itself signifie que l’énoncé parle directement de ce même énoncé. Placer ce groupe au début permet de présenter la méthode ou le mécanisme avant le résultat. Le sujet de la proposition principale, this statement, est aussi ce qui effectue l’action de referring ; les deux parties sont donc clairement reliées.
Exercice
Utilisez by + la forme en -ing de read pour compléter la phrase : ____ the instructions carefully, Mia finished the project correctly.
Voir la réponse
By reading
unresolvable paradox : une contradiction sans solution stable
L'expression unresolvable paradox décrit une contradiction à laquelle aucune solution stable ne peut être donnée dans les règles ou le cadre utilisés. Ici, considérer l'affirmation comme true ou false ramène à une contradiction. Unresolvable signifie « qui ne peut pas être résolu », et pas simplement « pas encore résolu ». Paradox nomme la situation de conflit logique ; cette expression est donc plus précise que problem.
Exercice
Quelle situation peut le mieux être décrite comme an unresolvable paradox ?
- Une question reste sans réponse parce que personne ne l'a encore vérifiée.
- Un problème de mathématiques est difficile, mais sa réponse est connue.
- Une règle rend la même affirmation à la fois vraie et fausse, sans offrir aucune issue.
Voir la réponse
Une règle rend la même affirmation à la fois vraie et fausse, sans offrir aucune issue.
S'il n'est ni vrai ni faux, qu'est-il donc ? comme question rhétorique
La proposition introduite par if rassemble en une seule condition les deux classifications qui ont échoué, true et false. La question finale place ensuite la catégorie manquante au premier plan. Dans ce contexte, what is it? ne sert pas principalement à demander le nom d'un objet. C'est une question rhétorique qui montre que le choix habituel entre true et false ne fonctionne plus et qui conduit l'auditeur vers la suite de l'explication. It renvoie à l'affirmation autoréférentielle.
Exercice
Quelle est la principale fonction discursive de la question mise en évidence dans ce contexte ?
- Elle montre que la classification habituelle entre vrai et faux a échoué et introduit l'idée suivante.
- Elle annonce que l'affirmation est certainement fausse.
- Elle demande où l'affirmation se trouve physiquement.
Voir la réponse
Elle montre que la classification habituelle entre vrai et faux a échoué et introduit l'idée suivante.
This question might seem like a silly thought experiment. Notes
0:26Cette question pourrait ressembler à une expérience de pensée stupide.
might seem like : atténuer une première impression
Dans cette phrase, might seem like indique qu'une chose peut donner une certaine première impression. seem like présente une apparence ou une impression, tandis que might rend l'affirmation encore moins directe. Le locuteur reconnaît brièvement la façon dont la question pourrait être perçue par le public sans affirmer qu'elle est réellement absurde. Cette formulation prépare souvent un contraste : une chose peut sembler être d'une certaine façon, mais la suite montre que cette première impression est incomplète.
Exercice
Complétez la phrase avec l'expression cible de trois mots qui présente une première impression de manière atténuée : This shortcut ____ a good idea, but it creates more work.
Voir la réponse
might seem like
silly thought experiment : un test imaginaire d'une idée
Un thought experiment est une situation imaginaire utilisée pour tester une idée, un principe ou une conséquence logique. Il peut ne comporter aucun équipement, aucune mesure ni aucune procédure réelle ; le raisonnement consiste à se demander ce qui arriverait si les conditions imaginées étaient vraies. Ici, silly décrit la première impression créée par l'expression entière might seem like a silly thought experiment. Le locuteur ne rejette pas finalement la question comme étant sans valeur ; la formulation permet de montrer que cette question apparemment absurde est importante.
Exercice
Quelle proposition est une expérience de pensée plutôt qu'une expérience réalisée dans le monde réel ?
- 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.
Voir la réponse
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. Notes
0:29Mais au début du 20e siècle, elle a conduit le logicien autrichien Kurt Gödel à une découverte qui allait changer les mathématiques à jamais.
led Austrian logician Kurt Gödel to a discovery : conduire quelqu'un à un résultat
La structure est lead + personne + to + résultat. Ici, led est le passé de lead. La personne concernée correspond au groupe nominal complet Austrian logician Kurt Gödel, et to a discovery indique le résultat. Dans cette phrase, it renvoie au problème du paradoxe évoqué auparavant. La formulation présente ce problème comme la cause ou le chemin qui a mené Gödel à la découverte, et non comme un déplacement physique. Cette structure permet d'expliquer comment des preuves, des questions ou des expériences produisent un résultat.
Exercice
Complétez la phrase avec le passé de lead et la préposition nécessaire : A strange clue ____ the detective ____ an important discovery.
Voir la réponse
led · to
that would change mathematics forever : le futur vu depuis le passé
La proposition relative that would change mathematics forever se rattache à a discovery et explique pourquoi cette découverte est importante. Elle place l'information nouvelle après le nom : la phrase présente donc d'abord la découverte, puis révèle son influence ultérieure. Comme le point de vue du récit se situe au début du XXe siècle, would change indique qu'à partir de ce moment passé, le changement était encore à venir. Le narrateur connaît déjà le résultat ultérieur, mais il le présente comme futur depuis ce moment antérieur. Il s'agit du futur dans le passé, et non d'une demande polie. Forever souligne de façon marquée l'importance durable.
Exercice
Dans la phrase She found an idea that would change her life, qu'exprime would change ?
- Un changement ultérieur vu depuis un point antérieur du récit.
- Une prédiction faite dans le présent au sujet d'un changement qui ne s'est pas encore produit.
- Une demande polie pour que l'idée change sa vie.
Voir la réponse
Un changement ultérieur vu depuis un point antérieur du récit.
Gödel's discovery had to do with the limitations of mathematical proofs. Notes
0:37La découverte de Gödel concernait les limites des démonstrations mathématiques.
had to do with : était lié à
Had to do with est la forme passée de have to do with. L'expression complète signifie « était lié à » ou « concernait ». Ici, elle relie la découverte de Gödel aux limites des démonstrations mathématiques. Ne séparez pas had to pour lui donner le sens de « devait faire ». Dans cette structure, had met toute l'expression de relation au passé, et with introduit le sujet concerné.
Exercice
Complétez la phrase avec la forme passée de have to do with : The delay ____ a damaged cable.
Voir la réponse
had to do with
limitations of mathematical proofs : des limites, pas des erreurs
Dans cette phrase, limitations of mathematical proofs désigne les limites de ce que les systèmes de démonstration mathématique peuvent établir. Une limitation est une frontière que la méthode ou le système ne peut pas dépasser, et pas forcément une erreur dans une démonstration particulière. Le groupe introduit par of nomme ce dont la capacité a des limites : mathematical proofs. La structure formelle the limitations of X est utile pour parler de ce qu'une méthode, un outil ou un système peut ou ne peut pas faire.
Exercice
Quelle expression désigne les limites de ce que les systèmes de démonstration peuvent établir, plutôt que des erreurs dans des démonstrations individuelles ?
- limitations of mathematical proofs
- mistakes in mathematical proofs
- steps in mathematical proofs
Voir la réponse
limitations of mathematical proofs
A proof is a logical argument that demonstrates why a statement about numbers is true. Notes
0:42Une démonstration est un argument logique qui prouve pourquoi une affirmation sur les nombres est vraie.
A proof is a logical argument that demonstrates ... : une définition en deux parties
Le modèle A proof is a logical argument that demonstrates ... définit proof en deux étapes. A proof is a logical argument classe proof dans la catégorie générale logical argument, puis that demonstrates ... ajoute la fonction qui définit ce type d’argument. Ici, argument désigne un ensemble cohérent de raisons, et non une dispute. Vous pouvez reprendre X is a Y that ... pour définir quelque chose en nommant d’abord sa catégorie, puis son but ou sa caractéristique essentielle.
Exercice
Quelle phrase suit la même organisation de l’information : terme + is + catégorie + proposition en that décrivant sa fonction ?
- 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.
Voir la réponse
An algorithm is a set of steps that solves a specific problem.
why a statement about numbers is true : ordre des mots dans une proposition intégrée en why
Dans demonstrates why a statement about numbers is true, la proposition en why donne le contenu de ce que la preuve démontre. C’est une interrogative indirecte intégrée à la phrase, et non une question directement posée à l’auditeur. Une interrogation intégrée avec why suit l’ordre déclaratif : why + sujet + verbe. La phrase dit donc why a statement ... is true, et non why is a statement ... true.
Exercice
Quelle phrase emploie le bon ordre des mots dans une proposition intégrée en why ?
- Why was the answer correct?
- The teacher explained why was the answer correct.
- The teacher explained why the answer was correct.
Voir la réponse
The teacher explained why the answer was correct.
undeniable statements about the numbers involved. Vocabulaire
0:52des affirmations indéniables sur les nombres impliqués.
building blocks : éléments de base d’un système plus vaste
Building blocks désigne littéralement des pièces utilisées pour construire quelque chose. Ici, l’expression est une métaphore pour les éléments de base à partir desquels se construit un système ou une idée plus vaste. Dans cette phrase, les axiomes sont présentés comme les éléments de base des arguments mathématiques. La structure the building blocks of + nom permet d’indiquer les composants essentiels de nombreuses choses abstraites.
Exercice
Complétez la phrase avec l’expression de deux mots de la leçon qui signifie « éléments de base » : Trust and communication are the ____ of a strong team.
Voir la réponse
building blocks
are called axioms : la structure be called + nom
Dans are called axioms, are called est une forme passive : le sujet reçoit le nom axioms. Le sujet est le groupe pluriel The building blocks of these arguments, donc la forme correcte de be est are. La structure réutilisable est subject + be called + name. Cette structure introduit un terme sans insister sur la personne qui a choisi le nom. La virgule après axioms introduit une courte explication de ce que sont les axiomes.
Exercice
Complétez la phrase avec la structure passive de dénomination be called : Closed shapes with three sides ____ triangles.
Voir la réponse
are called
undeniable statements ... the numbers involved : des énoncés incontestables et les nombres en jeu
Ici, undeniable statements désigne des énoncés présentés comme ne pouvant raisonnablement pas être contestés. L'expression décrit les axiomes comme des énoncés de base qui peuvent soutenir la suite du raisonnement mathématique. Dans the numbers involved, involved est placé après numbers et signifie que ces nombres sont pertinents ou inclus dans le système étudié. Il ne veut pas dire que les nombres sont compliqués.
Exercice
Dans l'expression the numbers involved, que signifie involved ?
- les nombres pertinents pour la question
- les nombres qui ont déjà été démontrés
- les nombres difficiles à calculer
Voir la réponse
les nombres pertinents pour la question
from the most complex proof to basic arithmetic, Fil du propos
0:57de la preuve la plus complexe à l'arithmétique de base,
from the most complex proof to basic arithmetic : indiquer une étendue
Dans cette expression, from A to B nomme les deux extrémités d’une étendue. Ici, ces extrémités sont la démonstration la plus complexe et l’arithmétique élémentaire : l’expression indique donc que tout le contenu situé dans cet intervalle est inclus. Elle ne décrit pas un déplacement. Placée à côté d’un groupe nominal plus large comme every system, cette étendue apporte une information sur la portée. Elle montre qu’une affirmation s’applique à des niveaux très différents, d’un extrême à l’autre.
Exercice
Complétez la phrase avec from ... to ... pour montrer toute l’étendue : The workshop welcomes participants ____ complete beginners ____ experienced designers.
Voir la réponse
from · to
built on ... constructed from axioms : fondement et éléments constitutifs
Les deux expressions utilisent la construction comme métaphore d'un système abstrait. Built on mathematics indique le fondement dont dépend le système ; constructed from axioms indique les éléments de base utilisés pour le former. Dans la phrase, built on mathematics est une forme raccourcie de that is built on mathematics et complète every system. Le prédicat principal est is constructed from axioms.
Exercice
Utilisez built et constructed pour compléter la phrase : The platform is ____ open-source technology and ____ reusable modules.
Voir la réponse
built on · constructed from
mathematicians should be able to confirm it with an axiomatic proof.
1:05les mathématiciens devraient être capables de la confirmer avec une démonstration axiomatique.
if ... should be able to ... : exprimer une capacité attendue
La proposition avec if pose une condition : une affirmation sur les nombres est vraie. La proposition principale dit ensuite que les mathématiciens devraient pouvoir la confirmer par une démonstration axiomatique. Ici, should ne donne pas un ordre aux mathématiciens. Il indique ce que la théorie nous conduit à attendre : si la condition est remplie, la confirmation devrait être possible. Be able to centre cette attente sur la capacité.
Exercice
Quelle phrase exprime une attente raisonnable concernant une capacité à partir d’une condition, plutôt qu’une affirmation directe de capacité ou une obligation ?
- 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.
Voir la réponse
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. Phrases
1:11les mathématiciens utilisaient ce système pour prouver ou réfuter des affirmations mathématiques avec une certitude absolue.
prove or disprove : établir qu'une affirmation est vraie ou fausse
To prove or disprove a claim signifie trancher une affirmation dans l'un des deux sens : prove consiste à montrer qu'elle est vraie, tandis que disprove consiste à montrer qu'elle est fausse. Disprove est plus fort que le simple fait de ne pas être d'accord. Il faut des preuves ou un raisonnement qui invalident l'affirmation. L'objet placé après cette paire est l'énoncé examiné ; dans la phrase d'origine, il s'agit de mathematical claims.
Exercice
Complétez la phrase avec l'expression double de cette leçon qui signifie « établir comme vrai ou établir comme faux » : A second measurement could ____ the scientist's claim.
Voir la réponse
prove or disprove
with total certainty : sans le moindre doute
With total certainty est un groupe prépositionnel qui indique le degré de confiance avec lequel quelque chose est connu ou établi. Dans cette phrase, il modifie prove or disprove et indique que le résultat ne laisse aucun doute. Ici, certainty désigne l'idée abstraite et indénombrable d'être sûr, et non une « chose certaine » particulière. Total porte le degré de certitude au niveau le plus fort.
Exercice
Complétez la phrase avec l'expression de cette leçon qui signifie « sans le moindre doute » : After checking the original file, Maya could identify the author ____.
Voir la réponse
with total certainty
entered the field : commencer à travailler dans un domaine professionnel
Ici, field désigne un domaine d'étude ou de travail professionnel, plus précisément les mathématiques et la logique, et non un champ au sens de terrain. Gödel entered the field signifie que Gödel a commencé à participer aux travaux et aux recherches dans ce domaine. Cet emploi est courant lorsqu'une personne commence une carrière ou devient active dans une discipline. Si le domaine n'a pas encore été nommé, on ajoute of + nom de la discipline, comme dans the field of robotics.
Exercice
Complétez la phrase avec l'expression de trois mots de cette leçon qui signifie « a commencé à travailler dans ce domaine professionnel » : After finishing her cybersecurity training, Ava ____.
Voir la réponse
entered the field
some newly uncovered logical paradoxes were threatening that certainty. Idiomes
1:20de nouveaux paradoxes logiques récemment découverts menaçaient cette certitude.
were threatening that certainty : mettre une idée abstraite en danger
Les paradoxes récemment découverts sont présentés comme un danger actif pour cette certitude. Threaten ne signifie pas qu'ils ont parlé ou formulé un avertissement, mais que leur existence pouvait affaiblir ou détruire le sentiment antérieur de certitude totale. Le passé progressif were threatening présente ce danger comme étant en train de se développer à ce moment du récit. Plus généralement, une cause abstraite peut threaten un résultat abstrait, comme la confiance, la stabilité ou la certitude, lorsqu'elle le met sérieusement en danger.
Exercice
Quelle phrase emploie threaten de la même manière abstraite que l'exemple ?
- Several errors threatened confidence in the report.
- The speaker threatened the audience with punishment.
- The child whispered a warning to her friend.
Voir la réponse
Several errors threatened confidence in the report.
Prominent mathematicians were eager to prove that mathematics had no contradictions. Notes
1:26D'éminents mathématiciens étaient impatients de prouver que les mathématiques n'avaient pas de contradictions.
were eager to prove : la structure be eager to + verbe
Dans were eager to prove, were situe l'idée dans le passé et eager exprime un désir fort et actif. La structure est be eager to + base verbale ; prove reste donc à la base après to. Ici, l'expression présente ces mathématiciens éminents comme très motivés pour établir un résultat. Elle est plus forte que le simple they wanted to prove it.
Exercice
Complétez la phrase avec la forme passée de be eager to : The researchers ____ confirm the result.
Voir la réponse
were eager to
mathematics had no contradictions : cohérence logique
Dans mathematics had no contradictions, contradiction est employé au sens de la logique formelle. Un système contient une contradiction si ses règles permettent d'établir à la fois une proposition et sa négation ; dire qu'il had no contradictions décrit donc sa cohérence. Had présente cette cohérence depuis un point de vue passé, comme l'affirmation que les mathématiciens voulaient établir à ce moment-là. La phrase évalue le système lui-même ; elle ne dit pas que tous les problèmes mathématiques étaient faciles.
Exercice
Dans la phrase mathematics had no contradictions, quelle interprétation est correcte ?
- Les problèmes mathématiques n'étaient jamais difficiles.
- Les mathématiciens étaient d'accord sur toutes les questions.
- Le système ne pouvait pas établir de conclusions incompatibles entre elles.
Voir la réponse
Le système ne pouvait pas établir de conclusions incompatibles entre elles.
himself wasn't so sure : insistance personnelle et doute mesuré
Ici, himself est un pronom réfléchi employé pour insister. Il attire l'attention sur Gödel lui-même et oppose son point de vue à celui des mathématiciens renommés mentionnés auparavant. Wasn't so sure indique qu'il avait des doutes ou des réserves. C'est une manière mesurée d'exprimer l'incertitude, et non d'affirmer qu'il ne savait rien ou qu'il rejetait fermement l'idée.
Exercice
Quelle interprétation correspond le mieux à Gödel himself wasn't so sure ?
- Gödel lui-même avait quelques doutes, contrairement au groupe plus confiant.
- Gödel ignorait complètement le problème.
- Gödel rejetait fermement toute approche mathématique.
Voir la réponse
Gödel lui-même avait quelques doutes, contrairement au groupe plus confiant.
and he was even less confident that mathematics was the right tool to investigate this problem. Notes
1:33et il était encore moins convaincu que les mathématiques étaient le bon outil pour étudier ce problème.
even less confident : even renforce un degré de confiance plus faible
Less confident est une construction comparative qui situe son degré de confiance à un niveau plus bas. Even renforce cette comparaison : even less confident signifie donc que son doute va encore plus loin que celui déjà mentionné. La proposition introduite par that précise ce qui lui inspire moins confiance : l'idée que les mathématiques étaient le bon outil pour cette étude. Le modèle réutilisable est even + comparatif, comme dans even less certain ou even harder.
Exercice
Employez even + la forme comparative de confident pour montrer une nouvelle baisse de confiance : After two more errors, the reviewers were ____ that the figures were accurate.
Voir la réponse
even less confident
the right tool to investigate this problem : choisir une méthode adaptée
Ici, tool est une métaphore désignant une méthode, un domaine ou une technique servant à résoudre ou à étudier quelque chose. On évalue les mathématiques comme moyen d’examiner le problème, et non comme un objet physique. La structure the right tool to + verbe signifie la méthode adaptée à une tâche précise. Right indique si quelque chose convient à l’objectif ; il ne signifie pas simplement que l’outil est correct.
Exercice
Complétez la phrase avec l’expression cible qui signifie la méthode adaptée à cette tâche : A survey may be ____ understand why customers leave.
Voir la réponse
the right tool to
While it's relatively easy to create a self-referential paradox with words, Notes
1:40S'il est relativement facile de créer un paradoxe autoréférentiel avec des mots,
While it's relatively easy to ... : introduire une concession
Ici, While signifie bien que ou même si, et non pendant que. La proposition admet qu’il est relativement facile de créer un paradoxe autoréférentiel avec des mots, puis prépare l’auditeur à une idée principale opposée concernant un autre cas. La structure réutilisable est While + proposition, proposition principale. Elle organise l’information en plaçant d’abord un point de contexte admis, puis le contraste le plus important dans la proposition principale. Relatively easy signifie plus facile par comparaison, et non sans aucun effort.
Exercice
Quelle phrase emploie while dans le même sens concessif que l’exemple ?
- While I was washing the dishes, the doorbell rang.
- Please wait here while I check the schedule.
- While the instructions look simple, the machine is difficult to operate.
Voir la réponse
While the instructions look simple, the machine is difficult to operate.
a self-referential paradox : un paradoxe qui renvoie à lui-même
Self-referential signifie « qui renvoie à lui-même » : self- signifie « soi-même » et referential se rapporte au fait de désigner ou de faire référence. A self-referential paradox est un paradoxe produit lorsqu’un énoncé, une règle ou un système renvoie à lui-même d’une manière qui crée une contradiction ou une boucle impossible. Ici, l’expression indique que les mots peuvent facilement être organisés pour créer ce type d’autoréférence. Tout énoncé autoréférentiel n’est pas forcément un paradoxe : l’autoréférence doit aussi provoquer un problème logique.
Exercice
Quelle description correspond le mieux à a self-referential paradox ?
- Une phrase renvoie à un fait présenté dans un autre livre.
- Une personne refuse de partager avec les autres.
- Un énoncé crée une contradiction en renvoyant à lui-même.
Voir la réponse
Un énoncé crée une contradiction en renvoyant à lui-même.
numbers don't typically talk about themselves. Idiomes
1:45les nombres ne parlent généralement pas d'eux-mêmes.
numbers don't typically talk about themselves : une autoréférence exprimée par personnification
La phrase personnifie les nombres en leur attribuant l’action humaine talk about. Ici, talk about themselves ne signifie pas parler à voix haute, mais renvoyer à eux-mêmes ou contenir une description d’eux-mêmes. Typically signifie « dans la plupart des cas ordinaires », et non « toujours ». Le locuteur établit un contraste général : les mots peuvent facilement se décrire eux-mêmes, tandis que les nombres ne le font normalement pas tout seuls.
Exercice
Que signifie ici “numbers don't typically talk about themselves” ?
- En général, les nombres ne renvoient pas à eux-mêmes et ne se décrivent pas eux-mêmes.
- Les nombres restent généralement silencieux quand on les lit à voix haute.
- Les nombres préfèrent parler d’autres nombres.
Voir la réponse
En général, les nombres ne renvoient pas à eux-mêmes et ne se décrivent pas eux-mêmes.
A mathematical statement is simply true or false, Fil du propos
1:48Une affirmation mathématique est simplement vraie ou fausse,
A mathematical statement is simply true or false : établir un cadre binaire
Le passage en évidence présente un énoncé mathématique comme appartenant à l'une de deux catégories : vrai ou faux. Ici, simply signifie « seulement » ou « dans une classification de base » ; il ne veut pas dire que les mathématiques sont faciles. Placé avant but, ce cadre binaire donne au lecteur une règle de départ familière. La phrase peut ensuite changer de direction et présenter l'idée de Gödel comme un élément qui va compliquer cette image simple.
Exercice
Quel rôle le passage en évidence joue-t-il dans cette phrase ?
- Il établit un cadre familier de vrai ou faux avant que la phrase change de direction.
- Il donne les détails de l'idée de Gödel.
- Il affirme que toutes les parties des mathématiques sont faciles.
Voir la réponse
Il établit un cadre familier de vrai ou faux avant que la phrase change de direction.
but Gödel had an idea : un pivot narratif
But indique que l'explication change de direction. La proposition précédente donne une image simple fondée sur le vrai ou le faux ; but Gödel had an idea déplace l'attention de ce contexte vers la personne et vers la prochaine évolution importante. Had an idea introduit une piste possible sans encore l'expliquer. L'expression crée du mouvement et de l'attente, mais elle ne signifie pas que l'idée a déjà été prouvée ou qu'elle a réussi.
Exercice
Quel rôle but Gödel had an idea joue-t-il dans le récit ?
- Il prouve que l'idée de Gödel était déjà correcte.
- Il répète la règle du vrai ou du faux sans changer de direction.
- Il passe de la règle donnée en contexte à une nouvelle idée qui sera expliquée ensuite.
Voir la réponse
Il passe de la règle donnée en contexte à une nouvelle idée qui sera expliquée ensuite.
First, he translated mathematical statements and equations into code numbers, Phrases
1:54D'abord, il a traduit des affirmations et équations mathématiques en nombres de code,
translate A into B : passer d’une forme à une autre
Translate A into B signifie faire passer A d’une forme ou d’un système à B. Ici, les énoncés et les équations mathématiques sont transformés en codes numériques ; il ne s’agit pas d’une traduction entre langues naturelles. Le résultat placé après into indique le type de transformation. Cette structure peut décrire une traduction, un encodage, une conversion de format ou la présentation d’une idée sous une autre forme.
Exercice
Complétez la structure translate A into B : The scanner translates printed pages ____ searchable text.
Voir la réponse
into
so that a complex mathematical idea could be expressed in a single number. Grammaire
1:59de sorte qu'une idée mathématique complexe puisse être exprimée par un seul nombre.
so that ... could be expressed : but et possibilité rendue possible
So that relie l’action précédente au but ou au résultat qu’elle a rendu possible : le codage a permis à un seul nombre de représenter une idée mathématique complexe. Ici, le sens est proche de in order that, et non d’un simple therefore. Could be expressed associe could à la forme passive be + participe passé. Could indique une possibilité rendue réelle, tandis que le passif met l’accent sur l’idée et sur sa manière d’être représentée, et non sur la personne qui l’exprime.
Exercice
Complétez la phrase avec so that et la forme passive correcte de understand : The safety message was rewritten ____ it could ____ by children.
Voir la réponse
so that · be understood
This meant that mathematical statements written with those numbers Fil du propos
2:03Cela signifiait que les affirmations mathématiques écrites avec ces nombres
were also expressing something about the encoded statements of mathematics. Vocabulaire
2:07exprimaient également quelque chose sur les affirmations codées des mathématiques.
This meant that : relier un fait à sa conséquence
Dans cette phrase, This renvoie à l'étape précédente, qui consistait à encoder des énoncés mathématiques sous forme de nombres. meant that introduit ce qui découlait de cette étape : les énoncés écrits avec ces nombres pouvaient aussi dire quelque chose sur les énoncés mathématiques qu'ils représentaient. La structure This meant that + proposition organise une chaîne de raisonnement. Elle fait d'un fait antérieur le point de départ d'une conséquence ou d'une implication ; ici, meant signifie « a eu pour conséquence que », et non « a donné la définition d'un mot ».
Exercice
Quel est le rôle de This meant that dans l'exemple ?
- Elle introduit un fait sans rapport avec l'étape précédente.
- Elle donne une définition du dictionnaire pour le mot mathematics.
- Elle relie l'étape précédente d'encodage à une conséquence qui en a découlé.
Voir la réponse
Elle relie l'étape précédente d'encodage à une conséquence qui en a découlé.
encoded statements of mathematics : encoded employé comme adjectif
L’expression encoded statements of mathematics désigne des énoncés mathématiques qui ont déjà été convertis en un code, ici sous forme de représentation numérique. encoded est le participe passé de encode, employé comme adjectif devant statements ; of mathematics indique le domaine auquel appartiennent les énoncés. L’encodage modifie la manière dont les informations sont représentées afin qu’un système puisse les stocker ou les traiter. Il ne signifie pas à lui seul que les informations ont été dissimulées pour rester secrètes.
Exercice
Dans encoded statements of mathematics, qu’indique encoded ?
- Les énoncés ont été reconvertis depuis un code vers leur forme d’origine.
- Les énoncés ont forcément été dissimulés afin de rester secrets.
- Les énoncés ont été convertis sous une forme codée.
Voir la réponse
Les énoncés ont été convertis sous une forme codée.
the coding allowed mathematics to talk about itself. Idiomes
2:13le codage permettait aux mathématiques de parler d'elles-mêmes.
allowed mathematics to talk about itself : personnification et structure allow A to do B
La structure allow A to do B signifie « rendre possible le fait que A fasse B ». Ici, le codage donne aux mathématiques une nouvelle capacité : elles peuvent représenter des énoncés sur les mathématiques elles-mêmes. talk about itself est une personnification. Les mathématiques ne parlent pas littéralement ; cette formulation aide à se représenter l’idée abstraite d’autoréférence.
Exercice
Que signifie allowed mathematics to talk about itself dans cette phrase ?
- Cela a autorisé les mathématiciens à discuter du codage.
- Cela a fait parler les mathématiques à voix haute.
- Cela a permis aux mathématiques d’exprimer des énoncés sur elles-mêmes.
Voir la réponse
Cela a permis aux mathématiques d’exprimer des énoncés sur elles-mêmes.
he was able to write: "This statement cannot be proved" as an equation, Notes
2:17il a pu écrire : « Cette affirmation ne peut pas être prouvée » sous forme d'équation,
“This statement cannot be proved” : autoréférence et voix passive
La citation est une version en anglais courant d’un énoncé mathématique autoréférentiel que le codage de Gödel permet d’écrire sous la forme d’une équation. This statement renvoie à l’énoncé entier entre guillemets : l’énoncé affirme donc quelque chose à son propre sujet. cannot be proved est à la voix passive : cela signifie qu’aucune démonstration ne peut établir ce même énoncé au sein du système mathématique concerné. Cela ne signifie pas que l’énoncé est incapable de démontrer autre chose.
Exercice
Qu’affirme l’énoncé entre guillemets ?
- Il affirme que cet énoncé ne peut pas démontrer une autre équation.
- Il affirme que personne n’a le droit d’écrire une démonstration.
- Il affirme que ce même énoncé ne peut pas être démontré dans le système.
Voir la réponse
Il affirme que ce même énoncé ne peut pas être démontré dans le système.
creating the first self-referential mathematical statement.
2:22créant ainsi la première affirmation mathématique autoréférentielle.
write ... as an equation, creating ... : forme et résultat
Dans write X as Y, as introduit la forme prise par X. Ici, l’énoncé est exprimé sous forme d’équation. Le groupe en -ing creating ... placé après la virgule ajoute le résultat de l’action précédente : écrire l’énoncé sous forme d’équation a créé le premier énoncé mathématique autoréférentiel. Creating n’est pas un autre verbe principal indépendant.
Exercice
Complétez la structure cible avec as et la forme en -ing de make : She rewrote the results ____ a chart, ____ the pattern easier to see.
Voir la réponse
as · making
However, unlike the ambiguous sentence that inspired him, Fil du propos
2:27Cependant, contrairement à la phrase ambiguë qui l'a inspiré,
However, unlike ... : organiser un contraste
However annonce que le discours quitte ce qui vient d’être dit pour présenter une différence importante. Unlike nomme ensuite l’élément de comparaison : the ambiguous sentence that inspired him. La structure However, unlike + groupe nominal, ... guide l’auditeur d’un exemple déjà connu vers un cas qui lui est opposé. Ici, unlike est suivi d’un groupe nominal, et non d’une proposition complète avec sujet et verbe ; l’affirmation principale vient après ce groupe initial.
Exercice
Complétez la structure cible However, unlike + groupe nominal : ____, ____ the old model, this one uses less energy.
Voir la réponse
However · unlike
mathematical statements must be true or false. Grammaire
2:31les affirmations mathématiques doivent être vraies ou fausses.
must be true or false : nécessité logique
Ici, must exprime une nécessité imposée par un cadre logique, et non un ordre donné par une personne. L'idée est qu'un énoncé mathématique doit appartenir à l'une de deux catégories de valeur de vérité : vrai ou faux. Interprétez must ainsi lorsque des règles, des définitions ou des preuves rendent une conclusion nécessaire. Demandez-vous si la phrase décrit ce qui découle logiquement ou si elle exige de quelqu'un une action.
Exercice
Dans mathematical statements must be true or false, qu'exprime must ?
- Le cadre logique exige que chaque énoncé ait l'une des deux valeurs.
- Quelqu'un ordonne aux énoncés de choisir leur comportement.
- Les énoncés promettent de dire la vérité.
Voir la réponse
Le cadre logique exige que chaque énoncé ait l'une des deux valeurs.
So, which is it? : une question qui recentre le choix
So relie cette question au raisonnement qui vient d'être présenté. which is it? demande de choisir parmi les possibilités déjà évoquées ; ici, it renvoie à l'énoncé mathématique, et les possibilités sont true et false. Comme procédé d'organisation du discours, cette courte question ramène le raisonnement précédent à une seule décision. Elle crée une pause dans l'explication, recentre l'attention sur le choix principal et introduit l'étape suivante de l'argumentation.
Exercice
Que fait So, which is it? après l'énoncé de deux possibilités ?
- Elle introduit un nouveau sujet sans rapport avec le raisonnement précédent.
- Elle ramène la discussion au choix entre ces possibilités.
- Elle affirme que les deux possibilités sont certainement correctes.
Voir la réponse
Elle ramène la discussion au choix entre ces possibilités.
that means the statement does have a proof. Grammaire
2:37cela signifie que l'affirmation a bel et bien une preuve.
If it's false, that means ... : relier une hypothèse à une conclusion
“If it's false” pose une condition ou une hypothèse provisoire. “that means” introduit la conclusion qui découle de l'acceptation de cette condition : the statement does have a proof. Cette structure organise le raisonnement sous la forme « si A, alors A mène à B ». Ici, “that means” ne traduit pas et ne répète pas simplement “false” ; il fait avancer l'explication vers la conséquence logique.
Exercice
Lisez cette phrase : “If the screen is blank, that means the computer is not receiving a signal.” Quel est le rôle de “that means” ?
- Il introduit la conclusion tirée de la condition.
- Il traduit le mot “blank”.
- Il commence un sujet sans rapport.
Voir la réponse
Il introduit la conclusion tirée de la condition.
does have a proof : le does emphatique dans une phrase affirmative
Dans la proposition affirmative “the statement does have a proof”, does est un do emphatique. Il ajoute l'idée de « vraiment » ou « bel et bien » : le locuteur insiste sur l'existence d'une preuve. Does porte la marque du présent et l'accord avec le sujet singulier “the statement”, donc have reste à la base verbale. Sans does, “the statement has a proof” exprime le même fait fondamental, mais avec moins de correction ou de contraste.
Exercice
Utilisez le does emphatique + la base verbale have pour compléter la correction : “You said the plan has no benefit, but it ____ one important advantage.”
Voir la réponse
does have
if ..., then it must ... : condition et conclusion nécessaire
La proposition introduite par if donne la condition : a mathematical statement has a proof. La proposition principale donne la conclusion, et then rend le lien entre la condition et le résultat facile à suivre. Dans l’anglais courant, then peut parfois être omis, mais ici il organise clairement le raisonnement. Dans must be true, must signifie que quelque chose est nécessairement vrai en raison de la logique. Il n’exprime ni une obligation ni un ordre.
Exercice
Complétez la phrase avec la structure exacte if ..., then it must ... : ____ an integer ends in 0, ____ it ____ divisible by 10.
Voir la réponse
If · then · must be
This contradiction means that Gödel's statement can't be false, Notes
2:44Cette contradiction signifie que l'affirmation de Gödel ne peut pas être fausse,
This contradiction means ... : faire avancer un raisonnement
This contradiction renvoie au conflit déjà établi dans le raisonnement : considérer l’énoncé comme faux mène à la conclusion qu’il est vrai. Means introduit ce qui découle logiquement de ce conflit ; il ne donne pas une définition de dictionnaire. L’expression sert de repère : elle résume le problème et fait avancer le raisonnement vers la conclusion suivante.
Exercice
Dans ce raisonnement, à quoi sert This contradiction means ... ?
- Cette expression résume une incohérence et introduit la conclusion qui en découle.
- Elle donne une définition de dictionnaire du mot contradiction.
- Elle fait passer le sujet à un exemple sans rapport.
Voir la réponse
Cette expression résume une incohérence et introduit la conclusion qui en découle.
Gödel's statement can't be false : impossibilité logique
Dans Gödel's statement can't be false, can't signifie « est logiquement impossible », et non « n’en a pas la capacité ». La contradiction exclut la possibilité que l’énoncé soit faux. Cet emploi de can't exprime une conclusion forte fondée sur un raisonnement ou des preuves : si une hypothèse mène à une impossibilité, cette hypothèse ne peut pas être correcte.
Exercice
Que signifie can't dans « The answer can't be false because it follows from the rule » ?
- Il est logiquement impossible que la réponse soit fausse.
- Le locuteur est incapable de rendre la réponse fausse.
- Il n’est pas permis que la réponse soit fausse.
Voir la réponse
Il est logiquement impossible que la réponse soit fausse.
it must be true that this statement cannot be proved.
2:49il doit être vrai que cette affirmation ne peut pas être prouvée.
and therefore, it must be true that ... : marquer une conclusion
and therefore signale à l’auditeur que ce qui suit est une conclusion tirée du raisonnement précédent. L’expression relie la contradiction antérieure à la nouvelle affirmation au lieu d’ajouter simplement un autre fait. it must be true that présente l’ensemble de la proposition introduite par that comme une conclusion nécessaire. La proposition conclue ici est this statement cannot be proved.
Exercice
Complétez la structure formelle de conclusion : The machine accepts only valid tickets. This ticket was accepted, ____ this ticket is valid.
Voir la réponse
and therefore it must be true that
Yet ... even more surprising because ... : contraste, insistance et raison
Au début de la phrase, Yet signifie « cependant » ou « pourtant », et non le sens temporel de not yet. Il marque un contraste avec ce qui vient d’être établi et indique que le raisonnement avance vers une conséquence supplémentaire et inattendue. La structure this result is even more surprising because ... renforce l’évaluation, puis en introduit la raison. L’ensemble du passage mis en évidence organise donc l’information en présentant une conclusion antérieure, un contraste plus marqué et la raison pour laquelle le nouveau point est plus surprenant.
Exercice
Quel rôle joue le début mis en évidence dans la phrase ?
- Il indique que le résultat ne s’est pas encore produit.
- Il introduit une raison sans créer de contraste avec un point précédent.
- Il crée un contraste avec le point précédent, renforce l’évaluation et introduit une raison.
Voir la réponse
Il crée un contraste avec le point précédent, renforce l’évaluation et introduit une raison.
a true equation : une équation dont l’affirmation est vraie
Dans a true equation, true évalue le contenu mathématique : l’égalité ou l’affirmation exprimée par l’équation est vraie. En anglais, un statement ou un claim mathématique peut également être décrit comme true ou false. Ici, true ne signifie pas simplement « réel », « authentique » ou « qui existe vraiment ». Le caractère surprenant vient du fait que l’équation est mathématiquement vraie, même si, d’après ce qu’elle affirme, elle ne peut pas être démontrée.
Exercice
Dans une discussion mathématique, que signifie ici a true equation ?
- Une équation qui existe réellement, que son affirmation mathématique soit vraie ou non.
- Une équation qui utilise uniquement des nombres réels.
- Une équation dont l’affirmation mathématique est vraie.
Voir la réponse
Une équation dont l’affirmation mathématique est vraie.
asserts it cannot be proved : formuler une affirmation formelle
Dans cette phrase, asserts signifie « déclare ou affirme formellement ». L'équation présente une affirmation que l'on peut juger vraie ou fausse ; le verbe ne suggère pas que l'on parle fort. Les mots it cannot be proved donnent le contenu de l'affirmation. Ici, it renvoie à l'équation elle-même. Après assert, la conjonction that est souvent utilisée, mais elle peut être omise : asserts (that) it cannot be proved.
Exercice
Dans cette phrase, qu'indique asserts au sujet de l'équation ?
- Elle présente formellement une affirmation que l'on peut juger vraie ou fausse.
- Elle parle très fort.
- Elle démontre l'affirmation à l'aide de raisons qui la soutiennent.
Voir la réponse
Elle présente formellement une affirmation que l'on peut juger vraie ou fausse.
This revelation is at the heart of Gödel's incompleteness theorem, Notes
3:04Cette révélation est au cœur du théorème d'incomplétude de Gödel,
is at the heart of ... : identifier l'idée centrale
Be at the heart of est une expression idiomatique qui signifie « constituer une partie centrale ou extrêmement importante de quelque chose ». Heart est employé au sens figuré ; l'expression parle d'importance, et non d'un cœur physique ou d'un emplacement. Dans cette phrase, la révélation est présentée comme l'idée essentielle du théorème d'incomplétude de Gödel. La structure est be + at the heart of + un sujet, un problème, une théorie ou un autre ensemble plus vaste.
Exercice
Utilisez l'expression idiomatique de la leçon pour compléter la phrase : Trust is ____ a healthy friendship.
Voir la réponse
at the heart of
Gödel's incompleteness theorem : le théorème d'incomplétude de Gödel
Ici, Gödel's incompleteness theorem est le nom d'un résultat de logique mathématique. Un theorem est un énoncé établi par une démonstration, tandis que incompleteness désigne une limite d'un système formel, et non une démonstration que quelqu'un aurait laissée inachevée. Pour comprendre cette phrase, il suffit de savoir qu'un système formel suffisamment puissant peut contenir des énoncés mathématiques vrais qui ne peuvent pas être démontrés à l'intérieur de ce même système. La révélation mentionnée auparavant est au cœur de ce théorème.
Exercice
Dans le nom Gödel's incompleteness theorem, que désigne incompleteness ?
- Une démonstration inachevée à laquelle il faut ajouter des pages.
- L'affirmation selon laquelle les mathématiques ne possèdent aucune démonstration valide.
- Une limite de certains systèmes formels : certains énoncés vrais ne peuvent pas être démontrés à l'intérieur du système.
Voir la réponse
Une limite de certains systèmes formels : certains énoncés vrais ne peuvent pas être démontrés à l'intérieur du système.
which introduces an entirely new class of mathematical statement. Grammaire
3:08qui introduit une classe d'affirmations mathématiques entièrement nouvelle.
which introduces ... : ajouter une précision non restrictive
La proposition which introduces an entirely new class of mathematical statement apporte une information sur Gödel's incompleteness theorem, mentionné dans la proposition précédente. Which renvoie au theorem, et introduces décrit ce que fait ce théorème. La virgule signale une proposition relative non restrictive : elle ajoute un commentaire sur un élément déjà identifié au lieu de sélectionner un théorème parmi plusieurs. Elle poursuit la même phrase plutôt que de commencer une idée indépendante.
Exercice
Complétez la phrase avec le mot relatif qui ajoute un commentaire non restrictif : The update adds a search tool, ____ makes old files easier to find.
Voir la réponse
which
but true statements can either be provable or unprovable within a given set of axioms. Vocabulaire
3:17mais les affirmations vraies peuvent être prouvables ou improuvables au sein d'un ensemble donné d'axiomes.
In Gödel's paradigm : paradigm comme cadre organisateur
Ici, paradigm désigne un cadre général permettant de comprendre et d’organiser des idées, et non un seul exemple ou une formule. In Gödel's paradigm signifie dans le cadre introduit par Gödel. Ce cadre sépare deux questions : celle de savoir si un énoncé est vrai et celle de savoir s’il peut être démontré à partir d’un ensemble d’axiomes donné. L’emploi de paradigm indique comment les informations suivantes sont organisées.
Exercice
Dans cette phrase, que signifie paradigm ?
- un cadre général pour comprendre et organiser des idées
- une seule formule mathématique
- un cas illustratif
Voir la réponse
un cadre général pour comprendre et organiser des idées
either true or ... / can either be provable or unprovable : possibilités appariées
Either ... or ... relie deux possibilités. La phrase emploie cette structure deux fois : true face à false, puis provable face à unprovable. Dans ce contexte, chaque paire forme une classification en deux catégories. Les possibilités restent grammaticalement parallèles. True et false sont des adjectifs dans la première paire ; provable et unprovable sont des descriptions parallèles dans la seconde. Les mots communs, comme can et be, n’ont pas besoin d’être répétés. Ici, either fait partie de la paire et ne signifie pas aussi.
Exercice
Complétez la structure avec either ... or: A binary answer is ____ yes ____ no.
Voir la réponse
either · or
within a given set of axioms : délimiter le cadre logique
Ici, within marque une limite abstraite, et non un lieu physique. A given set of axioms désigne les règles de départ précises choisies pour le système logique. Le groupe limite la portée de provable or unprovable : la démontrabilité d'une proposition est évaluée à l'aide de cet ensemble d'axiomes. Il ne signifie pas que le résultat est identique avec tous les ensembles d'axiomes possibles.
Exercice
Qu'indique le groupe mis en évidence dans cette phrase ?
- Chaque ensemble d'axiomes démontre la proposition.
- La proposition est physiquement entourée d'axiomes.
- La démontrabilité est évaluée à l'aide d'un ensemble précis d'axiomes.
Voir la réponse
La démontrabilité est évaluée à l'aide d'un ensemble précis d'axiomes.
Gödel argues these unprovable true statements exist in every axiomatic system. Vocabulaire
3:25Gödel soutient que ces affirmations vraies improuvables existent dans chaque système axiomatique.
unprovable true statements dans tout système axiomatique
Unprovable true statements associe deux jugements différents. True indique que les propositions sont vraies ; unprovable indique qu'aucune démonstration ne peut être produite à partir des axiomes et des règles du système concerné. Unprovable ne signifie donc pas false. In every axiomatic system donne à l'affirmation une portée universelle dans cette phrase : chaque système contient de telles propositions, et non seulement certains systèmes.
Exercice
Quelle option conserve correctement le sens de unprovable true statements ?
- Elles sont fausses puisqu'il n'existe aucune démonstration.
- Elles sont vraies, même si le système ne peut pas les démontrer.
- Ce sont des propositions vraies dont les démonstrations n'ont pas encore été trouvées, mais le seront certainement.
Voir la réponse
Elles sont vraies, même si le système ne peut pas les démontrer.
This makes it impossible to create a perfectly complete system using mathematics Grammaire
3:32Cela rend impossible la création d'un système parfaitement complet en utilisant les mathématiques
make it impossible to create : structure make it + adjectif + to do
La structure make it + adjectif + to do signifie qu’un élément rend une action facile, difficile, possible ou impossible. Ici, This renvoie à la limite mathématique expliquée auparavant, impossible indique le résultat et to create a perfectly complete system nomme l’action jugée impossible. it est un objet formel ou anticipateur. Il ne désigne rien de précis ; il occupe la place de l’objet jusqu’à ce que le contenu réel apparaisse dans l’infinitif avec to.
Exercice
Complétez la phrase avec la structure cible pour indiquer qu’il est impossible d’ouvrir la fenêtre : The broken handle ____ open the window.
Voir la réponse
makes it impossible to
because there will always be true statements we cannot prove. Grammaire
3:38car il y aura toujours des affirmations vraies que nous ne pourrons pas prouver.
there will always be : exprimer une existence qui se poursuit
Because introduit la raison de la conclusion précédente. La construction existentielle there will be indique que quelque chose existera, et le placement de always après will renforce l’affirmation : certains énoncés vrais continueront d’exister, quelle que soit la manière dont le système est développé. Dans true statements we cannot prove, we cannot prove précise de quels énoncés il s’agit. Le relatif that est omis : true statements that we cannot prove. Ici, always exprime une persistance logique, et non la fréquence d’un événement quotidien.
Exercice
Complétez avec la forme future de there be et always pour montrer que la limite persistera : ____ cases the rule does not cover.
Voir la réponse
There will always be
Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, Notes
3:42Même si vous prenez en compte ces affirmations improuvables en les ajoutant comme nouveaux axiomes à un système mathématique élargi,
Even if ... by adding ... as new axioms : concession, moyen et rôle
Even if introduit une concession hypothétique. Le locuteur admet momentanément la possibilité que cette mesure soit prise, mais indique que la conclusion qui suit restera valable. Cela ne signifie pas que la mesure a réellement été prise. Ici, by adding them indique le moyen utilisé pour prendre ces énoncés en compte, tandis que as new axioms indique le rôle qui leur est attribué. Le modèle réutilisable est Even if + condition, by + forme en -ing pour le moyen et as + rôle ou identité.
Exercice
Complétez le modèle concession-moyen-rôle. Utilisez Even if, by et as une fois chacun : ____ you improve the plan ____ adding a checklist ____ a safety tool, some risks may remain.
Voir la réponse
Even if · by · as
you account for : prendre un facteur en compte et le traiter
Account for est ici une locution verbale. You account for these unprovable statements signifie que vous leur faites une place dans le système mathématique et que vous les traitez ; by adding them as new axioms indique comment. Considérez account for comme une seule unité suivie de son complément. Son sens précis dépend du contexte : ici, il est plus proche de traiter ou prendre en compte que d'expliquer pourquoi quelque chose s'est produit.
Exercice
Dans la phrase d'origine, que signifie account for ?
- Expliquer pourquoi les énoncés sont vrais
- Prendre en compte ou traiter les énoncés dans le système
- Dépendre des énoncés
Voir la réponse
Prendre en compte ou traiter les énoncés dans le système
that very process introduces new unprovably true statements. Fil du propos
3:49ce processus même introduit de nouvelles affirmations vraies improuvables.
that very process introduces : mettre l’accent sur ce processus précis
Dans that very process, that renvoie au processus déjà mentionné qui consiste à ajouter des axiomes. Very met directement l’accent sur le nom process : il signifie « ce processus précis » ou « le processus lui-même », et non un processus à un degré extrême. Le fait de placer le groupe ainsi mis en relief comme sujet de introduces souligne la conséquence : le même processus dont on parle fait apparaître de nouveaux énoncés. La structure this/that/the very + nom permet de reprendre un élément et d’insister sur le fait que c’est précisément lui qui produit le résultat.
Exercice
Dans la phrase “That very decision caused the delay,” qu’indique very ?
- The exact decision already mentioned caused the delay.
- A different decision prevented the delay.
- The decision was extremely difficult.
Voir la réponse
The exact decision already mentioned caused the delay.
No matter how many axioms you add : une concession sur la quantité
No matter how many + nom dénombrable au pluriel + sujet + verbe introduit une proposition concessive. Le nombre peut varier sans limite : ici, le nombre d’axiomes ajoutés peut être petit ou grand. Cette proposition ne pose pas de question. Elle prépare une proposition principale dont le résultat reste vrai quelle que soit la quantité ; la virgule indique donc que la phrase continue.
Exercice
Complétez la phrase avec l’expression de quatre mots commençant par No et signifiant « quel que soit le nombre » : ____ books you read, there will always be more to discover.
Voir la réponse
No matter how many
there will always be unprovably true statements in your system. Grammaire
3:57il y aura toujours des affirmations vraies improuvables dans votre système.
there will always be unprovably true statements : il y aura toujours des énoncés vrais indémontrables
there will ... be est une structure existentielle : elle indique que quelque chose existera ou se produira. always rend le résultat inévitable, et non simplement possible. Ici, cette structure conclut le raisonnement en répétant qu'ajouter des axiomes ne supprime pas cette situation. unprovably true statements désigne des énoncés vrais qui ne peuvent pas être démontrés à partir des axiomes du système lui-même. your system renvoie au système mathématique que l'on construit ou étend ; unprovably ne signifie pas probablement.
Exercice
Quelle interprétation correspond le mieux à la phrase ?
- Le système contiendra inévitablement des énoncés vrais qui ne peuvent pas y être démontrés.
- Le système pourrait contenir des énoncés qui sont probablement vrais.
- Tout énoncé vrai a déjà été démontré dans le système.
Voir la réponse
Le système contiendra inévitablement des énoncés vrais qui ne peuvent pas y être démontrés.
It's Gödels all the way down : des limites de Gödel qui réapparaissent sans fin
It's X all the way down est une formule humoristique qui exprime une régression sans fin : le même type d'explication, de problème ou de schéma réapparaît à chaque niveau plus profond. Elle fait écho à la formule connue turtles all the way down ; down est donc figuré et ne désigne pas un déplacement vers le bas. Gödels est un pluriel ludique formé à partir du nom Gödel. Il représente des résultats de type Gödel qui se répètent, et non plusieurs personnes appelées Gödel. Ici, chaque fois que le système mathématique est étendu, le nouveau système présente encore un nouvel énoncé vrai mais indémontrable. Le locuteur transforme cette limite récurrente en une plaisanterie concise.
Exercice
Que signifie ici It's Gödels all the way down ?
- Les limites de type Gödel réapparaissent à mesure que le système est étendu.
- Plusieurs personnes appelées Gödel se déplacent vers le bas.
- Un seul théorème règle toutes les extensions possibles du système.
Voir la réponse
Les limites de type Gödel réapparaissent à mesure que le système est étendu.
This revelation rocked the foundations of the field, Idiomes
4:04Cette révélation a ébranlé les fondations du domaine,
rocked the foundations of the field : une métaphore d'un impact fondamental
Dans cette phrase, rocked the foundations of the field est une métaphore : la révélation a profondément remis en question les croyances ou les hypothèses de base du domaine. Ici, the field désigne les mathématiques ; aucun bâtiment ne bouge réellement. La structure rock the foundations of + une institution, une discipline ou un système décrit un événement qui menace ou transforme quelque chose au niveau le plus fondamental.
Exercice
Dans cette phrase, que signifie rocked the foundations of the field ?
- Cela a profondément remis en question les croyances fondamentales du domaine.
- Cela a physiquement endommagé les fondations d'un bâtiment.
- Cela a apporté un changement mineur et ordinaire dans le domaine.
Voir la réponse
Cela a profondément remis en question les croyances fondamentales du domaine.
crushing those who dreamed that every mathematical claim would one day be proven or disproven. Notes
4:07anéantissant ceux qui rêvaient que chaque affirmation mathématique serait un jour prouvée ou réfutée.
crushing those who dreamed that ... : un groupe en -ing exprimant un résultat
Crushing those who dreamed that ... est un groupe au participe présent (-ing) rattaché à la proposition précédente. Il ajoute le résultat de l'impact de la révélation : celle-ci a porté un coup émotionnel très dur à ces personnes. Le groupe n'a pas de sujet distinct exprimé. La cause implicite de crushing est la révélation de la proposition précédente, tandis que those est le complément d'objet ; those who ... signifie "les personnes qui...". Ici, crushing est figuré et non physique.
Exercice
Quelle phrase utilise un groupe final en -ing pour ajouter le résultat de l'événement précédent ?
- The storm closed the airport and hundreds of travelers waited nearby.
- The storm closed the airport, leaving hundreds of travelers stranded.
- Because the storm closed the airport, hundreds of travelers were stranded.
Voir la réponse
The storm closed the airport, leaving hundreds of travelers stranded.
would one day be proven or disproven : passif du futur vu depuis le passé
La proposition est envisagée depuis le moment passé exprimé par dreamed. À ce moment-là, ces personnes imaginaient un résultat ultérieur : would signifie donc « futur vu depuis le passé », et non volonté. One day désigne un moment futur non précisé. Be proven or disproven est à la voix passive : chaque affirmation mathématique reçoit l’un des deux résultats. Le modèle réutilisable est croyance ou espoir dans le passé + would + expression de temps + be + participe passé.
Exercice
Complétez la phrase avec would one day et la forme passive de solve : In 1995, researchers believed the puzzle ____.
Voir la réponse
would one day be solved
While most mathematicians accepted this new reality, Fil du propos
4:13Si la plupart des mathématiciens ont accepté cette nouvelle réalité,
While most ..., some ... : organiser un contraste entre groupes
Ici, while introduit un contraste, et non une relation temporelle. La première proposition présente la réaction de la majorité ; la seconde présente la réaction différente d’un groupe plus restreint. La structure While most ..., some ... aide à organiser une répartition d’opinions ou de résultats. Elle ne signifie pas que les deux réactions ont eu lieu exactement au même moment.
Exercice
Quel rôle joue while dans cette phrase ? “While most neighbors supported the plan, some opposed it.”
- Il indique que deux actions ont duré exactement aussi longtemps.
- Il donne la raison pour laquelle certaines personnes se sont opposées au projet.
- Il oppose les réactions de deux groupes.
Voir la réponse
Il oppose les réactions de deux groupes.
fervently debated : débattre avec une vive conviction
Fervently signifie « avec une émotion, une passion ou une conviction fortes ». Ici, il décrit l'intensité et l'attitude du débat, et non sa fréquence. Le pronom it renvoie à la nouvelle réalité révélée par le théorème de Gödel. La proposition présente la réaction énergique d'un groupe face à cette idée.
Exercice
Dans “Some fervently debated it,”, que nous indique fervently ?
- Ils ont débattu à voix basse pour éviter d'attirer l'attention.
- Ils ont débattu avec une émotion et une conviction fortes.
- Ils ont débattu de nombreuses fois.
Voir la réponse
Ils ont débattu avec une émotion et une conviction fortes.
Others still tried to ignore the newly uncovered hole in the heart of their field. Notes
4:19D'autres ont encore essayé d'ignorer le trou nouvellement découvert au cœur de leur discipline.
Others still tried to ignore : organiser la réaction persistante d'un autre groupe
Others fait passer le récit à un groupe différent des personnes déjà mentionnées. Dans une suite comme most, some et others, ce mot aide à répartir clairement les réactions entre plusieurs groupes. Still signifie qu'une réaction continue même après un changement de situation. Ainsi, Others still tried to ignore présente la réaction d'un autre groupe et montre que sa tentative d'éviter le problème continuait malgré les nouvelles preuves.
Exercice
Quelle phrase emploie others still pour présenter la réaction persistante d'un groupe différent ?
- 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.
Voir la réponse
Most families went home, but others still waited for the final announcement.
newly uncovered hole in the heart of their field : une faille récemment découverte au cœur de leur domaine
Cette expression est une métaphore désignant une lacune ou une limite grave au centre même d'une discipline universitaire. A hole suggère qu'un élément important manque, et the heart of their field désigne la partie la plus centrale de leur domaine. Newly uncovered indique que cette faiblesse vient d'être révélée, et non qu'elle vient d'apparaître. La phrase dit que certaines personnes ont essayé d'ignorer ce problème fondamental récemment reconnu, et non un véritable trou physique.
Exercice
Que signifie newly uncovered hole in the heart of their field dans cette phrase ?
- Un trou physique récemment creusé au milieu d'une ferme
- Un problème médical touchant le cœur des chercheurs
- Une limite grave récemment révélée au centre de leur domaine universitaire
Voir la réponse
Une limite grave récemment révélée au centre de leur domaine universitaire
But as more classical problems were proven to be unprovably true, Grammaire
4:24Mais à mesure que des problèmes plus classiques se sont révélés être des vérités improuvables,
as more classical problems were proven... : une évolution dans le temps
Ici, as signifie pendant que ou à mesure que la situation évolue, et non comme dans une comparaison. La structure as + une situation qui change présente une évolution comme le contexte d'une autre : le nombre de problèmes classiques appartenant à cette catégorie continuait d'augmenter. More apporte l'idée d'une augmentation progressive. La forme passive were proven to be indique ce qui était de plus en plus établi au sujet de ces problèmes ; la proposition après la virgule donne la réaction ou le résultat qui augmentait en parallèle.
Exercice
Quelle phrase emploie as dans le même sens d'évolution dans le temps que la proposition mise en évidence ?
- The box is as heavy as the chair.
- She works as an engineer.
- As more evidence emerged, the team grew more confident.
Voir la réponse
As more evidence emerged, the team grew more confident.
some began to worry their life's work would be impossible to complete. Phrases
4:28certains ont commencé à craindre que l'œuvre de leur vie ne soit impossible à achever.
began to worry : marquer le début de l'inquiétude
began to worry marque le moment où l'inquiétude commence. Dans un récit, cette expression signale un changement dans l'état d'esprit des personnes, et pas simplement une action supplémentaire. Ici, worry est suivi d'une proposition qui indique le contenu de l'inquiétude ; that est facultatif : began to worry (that) their life's work.... Cette structure précise ce qui les inquiétait.
Exercice
Quelle phrase met l'accent sur le moment où l'inquiétude commence ?
- 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.
Voir la réponse
After an hour with no reply, Leo began to worry that something was wrong.
life's work would be impossible to complete : l'œuvre d'une vie menacée
Life's work désigne le projet, la mission ou la contribution principale à laquelle une personne consacre de nombreuses années, parfois toute sa vie. L'expression donne à ce travail une ampleur et une importance personnelle bien supérieures à celles d'une tâche ordinaire. Would be impossible to complete présente un résultat futur vu depuis un moment passé : à ce moment-là, ces personnes craignaient que le travail ne puisse jamais être achevé. La phrase rapporte leur inquiétude ; elle n'affirme pas que l'achèvement était réellement impossible.
Exercice
Dans l'exemple, que désigne their life's work ?
- Les travaux qu'ils comptaient faire pendant un après-midi
- Le travail principal auquel ils avaient consacré de nombreuses années
- Les tâches routinières qu'ils effectuaient chaque jour
Voir la réponse
Le travail principal auquel ils avaient consacré de nombreuses années
Still, Gödel's theorem opened as many doors as it closed. Idiomes
4:33Néanmoins, le théorème de Gödel a ouvert autant de portes qu'il n'en a fermé.
Still ... opened as many doors as it closed : équilibrer possibilités et limites
Open doors et close doors sont ici des métaphores. Doors désigne des possibilités, des voies envisageables ou des domaines de recherche, et non des portes physiques. La structure opened as many doors as it closed met en parallèle un effet positif et un effet négatif : le théorème a créé de nouvelles possibilités tout en en limitant d’autres. Still marque un passage des limites évoquées auparavant à une conclusion plus positive et équilibrée.
Exercice
Quelle phrase emploie le mieux la métaphore des portes pour dire qu’une règle a créé et limité des possibilités dans des proportions à peu près égales ?
- 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.
Voir la réponse
The new rule opened as many doors as it closed.
Knowledge of unprovably true statements inspired key innovations in early computers. Phrases
4:37La connaissance des affirmations vraies improuvables a inspiré des innovations clés dans les premiers ordinateurs.
inspired key innovations in early computers : décrire l’influence des idées
Inspired key innovations signifie que quelque chose a contribué à faire naître de nouveaux développements importants. Ici, le sujet est Knowledge of unprovably true statements : c’est donc une forme abstraite de connaissance, et non une personne, qui est présentée comme ayant influencé la technologie. In early computers indique le domaine dans lequel les innovations sont apparues. Inspired exprime une influence intellectuelle ; il ne signifie pas que cette connaissance a elle-même inventé les ordinateurs ni qu’elle en a été l’unique cause directe.
Exercice
Utilisez la structure de quatre mots inspire + key innovations + in, avec inspire au passé : The discovery ____ battery design.
Voir la réponse
inspired key innovations in
some mathematicians dedicate their careers to identifying provably unprovable statements. Notes
4:43certains mathématiciens consacrent leur carrière à identifier des affirmations prouvablement improuvables.
dedicate their careers to identifying : dedicate ... to + forme en -ing
Dans dedicate their careers to identifying ..., dedicate A to B signifie consacrer A à un objectif. Ici, A correspond à their careers et B à l'action identifying quelque chose. L'expression présente donc ce travail comme une mission professionnelle sérieuse et durable. Le mot to est une préposition dans dedicate A to B. Lorsque B désigne une action, on emploie une forme en -ing : to identifying, et non to identify.
Exercice
Complétez la phrase avec le passé de dedicate her career to : Maria ____ improving rural health care.
Voir la réponse
dedicated her career to
provably unprovable statements : démontrer l'indémontrabilité
Provably est un adverbe qui modifie unprovable. L'expression désigne des énoncés dont l'indémontrabilité peut elle-même être établie par une démonstration : on peut montrer qu'ils ne peuvent pas être démontrés dans le système formel concerné. Elle ne signifie pas simplement que personne n'a encore trouvé de preuve, et provably ne signifie pas probably. La formulation affirme précisément ce qui peut être démontré.
Exercice
Quel sens correspond le mieux à provably unprovable statements ?
- On a déjà démontré que ces énoncés sont faux.
- Ces énoncés sont probablement difficiles à démontrer.
- On peut démontrer que ces énoncés sont indémontrables.
Voir la réponse
On peut démontrer que ces énoncés sont indémontrables.
So while mathematicians may have lost some certainty, Fil du propos
4:50Ainsi, bien que les mathématiciens aient pu perdre une part de certitude,
So while ... may have lost ... : faire une concession avant la conclusion principale
Le So initial indique que le locuteur tire une conclusion de ce qui précède. Ici, while est concessif et signifie « même si » ou « bien que » ; il n’exprime pas la simultanéité. La première proposition reconnaît une perte possible, puis la proposition principale présente la conclusion centrale et plus positive. May have lost indique que la perte a peut-être déjà eu lieu ou qu’on peut raisonnablement la considérer comme réelle. Cela ne signifie pas que les mathématiciens avaient la permission de perdre leur certitude. Cette formulation atténue la concession avant de l’équilibrer par un gain.
Exercice
Quelle suite complète le mieux ce bilan concessif par une conclusion principale positive : « 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.
Voir la réponse
we still made memories we will always value.
they can embrace the unknown at the heart of any quest for truth. Idiomes
4:54ils peuvent embrasser l'inconnu au cœur de toute quête de vérité.
thanks to Gödel : attribuer le mérite d’un résultat positif
Thanks to Gödel est un groupe prépositionnel qui signifie « en raison de la contribution de Gödel » ou « grâce à Gödel ». Il présente le résultat positif qui suit comme une chose que ses travaux ont contribué à rendre possible ; il ne s’agit pas de remercier directement Gödel. La structure est thanks to + groupe nominal. Ici, le groupe nominal est Gödel, et l’ensemble indique pourquoi ils peuvent accepter l’inconnu.
Exercice
Complétez avec l’expression cible de deux mots qui signifie « en raison de, avec une attribution positive » : ____ Noah's quick repair, the robot worked again.
Voir la réponse
Thanks to
accueillir l’inconnu ... au cœur de toute quête de vérité
Dans embrace the unknown, embrace est employé au sens figuré : il signifie accepter volontairement ce qui n’est pas encore connu et y faire face, et non prendre physiquement quelque chose dans ses bras. Ici, the unknown comprend l’incertitude mathématique, par exemple des énoncés qui peuvent être vrais même lorsqu’un système donné ne peut pas les démontrer. At the heart of signifie « dans la partie centrale ou essentielle de quelque chose ». Quest for truth présente la recherche de la vérité comme un voyage long et exigeant. En guise de conclusion, la phrase présente l’incertitude comme une partie centrale de la recherche de la vérité, et non comme un simple échec, et encourage à l’accepter.
Exercice
Quelle option explique le mieux la phrase ?
- Ils peuvent accepter l’incertitude comme une partie centrale de la recherche de la vérité.
- Ils peuvent tenir physiquement quelque chose d’inconnu pendant un voyage.
- Ils peuvent éviter les questions sans réponse jusqu’à ce que tous les faits soient prouvés.
Voir la réponse
Ils peuvent accepter l’incertitude comme une partie centrale de la recherche de la vérité.
The Pythagorean theorem has more than 350 proofs. Culture
4:59Le théorème de Pythagore a plus de 350 démonstrations.
Pythagorean theorem : un résultat démontré en géométrie
Pythagorean theorem est le nom établi d’un résultat de géométrie concernant les triangles rectangles : le carré de l’hypoténuse, le côté opposé à l’angle droit, est égal à la somme des carrés des deux autres côtés. On l’écrit souvent a^2 + b^2 = c^2. Dans ce nom, Pythagorean associe le résultat à Pythagore, et theorem désigne un énoncé mathématique établi par une démonstration, et non une règle ordinaire ou une supposition non vérifiée. C’est pourquoi la phrase peut dire qu’il existe plus de 350 démonstrations.
Exercice
Que vous indique theorem dans le nom Pythagorean theorem ?
- C’est une consigne ordinaire donnée en classe.
- C’est une supposition non vérifiée concernant tous les triangles.
- C’est un énoncé mathématique établi par une démonstration.
Voir la réponse
C’est un énoncé mathématique établi par une démonstration.
So what exactly is this mathematical rule about?
5:03Alors de quoi parle exactement cette règle mathématique ?
And how was it proven in the first place? Phrases
5:07Et comment a-t-elle été prouvée en premier lieu ?
in the first place : remonter au point de départ
Ici, in the first place signifie « à l'origine » ou « dès le début ». Placée à la fin de la question, l'expression ramène l'attention du théorème tel qu'on le connaît aujourd'hui à la façon dont il a été démontré pour la première fois. Il s'agit d'une expression idiomatique : place ne désigne donc pas un lieu. Dans une question, elle sert souvent à insister sur la cause, la raison ou le fondement d'origine.
Exercice
Quel est le rôle de in the first place dans cette phrase ?
- Elle demande où se trouvait physiquement la première démonstration.
- Elle demande comment la démonstration a été établie à l'origine.
- Elle demande si la démonstration a remporté la première place.
Voir la réponse
Elle demande comment la démonstration a été établie à l'origine.
Explore one of the cornerstones of geometry with this video. Idiomes
5:10Explorez l'une des pierres angulaires de la géométrie avec cette vidéo.
one of the cornerstones of geometry : une métaphore du fondement
Cornerstone désigne littéralement une pierre située à l'angle d'un bâtiment. Ici, le mot sert de métaphore pour une idée fondamentale qui soutient un domaine plus vaste. Qualifier le théorème de a cornerstone of geometry signifie qu'il est essentiel et très important pour cette discipline. La structure one of the + nom pluriel + of montre qu'il s'agit d'un fondement important parmi plusieurs, et non du seul fondement.
Exercice
Complétez la phrase avec la structure one of the cornerstones of : Reliable evidence is one ____ good research.
Voir la réponse
of the cornerstones of