はじめて Lv1
数学の中心にある矛盾、ゲーデルの不完全性定理
▶ タップで再生(YouTube)。字幕は再生後に右下の[CC]→[設定]で英語/日本語
TED-Edむずかしい日本語字幕あり

数学の中心にある矛盾、ゲーデルの不完全性定理

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

「「証明できない真実」がある?」

407万回再生回数
5:20長さ
★★★☆☆入試に出そう度
🖨️ ワークシート
ホーキー
HOOKY の見どころ紹介

この文は偽である。本当なら偽、偽なら本当になる、出口のないパラドックスです。この問いがある論理学者を、数学を永遠に変える発見へと導きました。不完全性定理の入口を、アニメでやさしくのぞけます。

1数学の限界に挑む

「証明できない真実」というパラドックス(矛盾)が軸です。数学が苦手でも、問いそのものの面白さは伝わるはずです。

2たとえとアニメ

難しい話を、絵と例でほぐしてくれる作りです。ゆっくり理解が進んでいく楽しさを、映像ならではの演出で味わえます。

3論理の英語

proof や true など、論理を語る語彙が集中して出てきます。抽象的な内容を短い英語で言い換える練習にもなります。

🔮 観る前に、予想してみよう (和訳はタップで表示)

Can everything true be proved?
真実なことはすべて証明できるのだろうか?
What is a paradox?
パラドックスとは何だろう?

👀 こう観ると効く

11回目

1回目は日本語字幕で、パラドックスを味わう

22回目

2回目は英語字幕で、論理の表現を3〜5個メモ

33回目

3回目は問いかけの30秒を声に出してまねる

💡 一度で全部わからなくても平気です。止めては戻りしながら、たとえ話の部分だけでも追ってみてください。

カードをタップで意味、🔊で発音、♥で単語帳に保存。全部見たら4択クイズへ。

paradoxタップで意味
パラドックスparadox
proofタップで意味
証明proof
axiomタップで意味
公理axiom
statementタップで意味
命題statement
logicタップで意味
論理logic
ゲームで覚える

💬 観たあとに答えてみよう

What is the main idea of Gödel's theorem?
ゲーデルの定理の中心的な考えは何ですか?
Why is it surprising for mathematics?
それが数学にとって驚きなのはなぜですか?
観終わると…

「正しい」と「証明できる」は同じなのか、と考える視点が持てます。抽象的な話を、やさしい英語に言い換える感覚もつかめます。

✍️ 英語で1〜3文、書いてみよう(+15XP)

感想・自分の意見・覚えた単語を使った文。この端末に保存されます。

0 words

🎓 このトークで伸びる力

proof、statement、true などの論理語彙が学べます。抽象的な話を短い文で言い換える練習に向き、小論文の「論理」の型づくりにも役立ちます。

WORKSHEET ・ PDF

トーク別ワークシート(A4・5ページ)

観る前の予想とキーワード予習 → 3回観る視聴ログと話の流れマップ → 観たあとの問いと PREP 英作文 → 単語ドリル・テーマ単語の穴埋め・リテル・シャドーイング・自己評価 → 解答と50分の授業プラン。

無料・登録不要。最後のページは解答(先生用メモつき)。授業・塾・自習でご自由にどうぞ。

NEXT

つぎに観るなら

哲学・倫理・思考をもっと