
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
「「証明できない真実」がある?」

この文は偽である。本当なら偽、偽なら本当になる、出口のないパラドックスです。この問いがある論理学者を、数学を永遠に変える発見へと導きました。不完全性定理の入口を、アニメでやさしくのぞけます。
「証明できない真実」というパラドックス(矛盾)が軸です。数学が苦手でも、問いそのものの面白さは伝わるはずです。
難しい話を、絵と例でほぐしてくれる作りです。ゆっくり理解が進んでいく楽しさを、映像ならではの演出で味わえます。
proof や true など、論理を語る語彙が集中して出てきます。抽象的な内容を短い英語で言い換える練習にもなります。
1回目は日本語字幕で、パラドックスを味わう
2回目は英語字幕で、論理の表現を3〜5個メモ
3回目は問いかけの30秒を声に出してまねる
カードをタップで意味、🔊で発音、♥で単語帳に保存。全部見たら4択クイズへ。

「正しい」と「証明できる」は同じなのか、と考える視点が持てます。抽象的な話を、やさしい英語に言い換える感覚もつかめます。
感想・自分の意見・覚えた単語を使った文。この端末に保存されます。
proof、statement、true などの論理語彙が学べます。抽象的な話を短い文で言い換える練習に向き、小論文の「論理」の型づくりにも役立ちます。
TED12:47
TED-Ed4:30
TED8:37
TED-Ed5:20
TED-Ed4:33
TED-Ed6:15
TED-Ed4:56
TED-Ed6:00
TED-Ed4:10
TED12:19