数学の中心にある矛盾、ゲーデルの不完全性定理
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
「「証明できない真実」がある？」
動画はここから
スマホで読み取ると、動画と音声つき単語のページが開きます。
この文は偽である。本当なら偽、偽なら本当になる、出口のないパラドックスです。この問いがある論理学者を、数学を永遠に変える発見へと導きました。不完全性定理の入口を、アニメでやさしくのぞけます。
| # | 英語 | 知ってる度 | 観る前：意味を予想 | 観たあと：正しい意味 |
|---|---|---|---|---|
| 1 | paradox | 知ってる見たことある初めて | ||
| 2 | proof | 知ってる見たことある初めて | ||
| 3 | axiom | 知ってる見たことある初めて | ||
| 4 | statement | 知ってる見たことある初めて | ||
| 5 | logic | 知ってる見たことある初めて |
1回目は日本語字幕で、パラドックスを味わう
2回目は英語字幕で、論理の表現を3〜5個メモ
3回目は問いかけの30秒を声に出してまねる
それぞれの部分で、話し手が何を言ったか・何を見せたかを、日本語でメモしよう（キーワードだけでOK）。
| # | 聞き取れた英語（単語・フレーズ） | 意味 | 何分ごろ |
|---|---|---|---|
| 1 | |||
| 2 | |||
| 3 | |||
| 4 | |||
| 5 |
・英語字幕なしで1分 → 英語字幕で確かめる、を区間ごとにくり返そう。
・主張と具体例の切りかえ（For example / What this means is / In other words）を聞き分けよう。
In my opinion, ...
The main reason is ...
In the talk, the speaker ...
So, I believe ...
このトークは入試の「哲学・倫理・思考」テーマとつながっています。下の語から選んで入れよう（形を変えてもOK）。
トークの内容を1分で人に説明しよう（日本語→英語の順でもOK）。使えたキーワードに✓。
気に入った30秒を選んで、3日続けよう。
2・9 キーワードの意味
- paradox パラドックス
- proof 証明
- axiom 公理
- statement 命題
- logic 論理
9A マッチング
1-b 2-e 3-d 4-c 5-a
9B スペル
statement / axiom / logic / proof / paradox
10 テーマ単語（哲学・倫理・思考）
- duty
- dilemma
- obligation
- ethics
- fallacy
- bias
7 要点の例
- 数学の限界に挑む：「証明できない真実」というパラドックス（矛盾）が軸です。数学が苦手でも、問いそのものの面白さは伝わるはずです。
- たとえとアニメ：難しい話を、絵と例でほぐしてくれる作りです。ゆっくり理解が進んでいく楽しさを、映像ならではの演出で味わえます。
- 論理の英語：proof や true など、論理を語る語彙が集中して出てきます。抽象的な内容を短い英語で言い換える練習にもなります。
観終わると身につくこと
「正しい」と「証明できる」は同じなのか、と考える視点が持てます。抽象的な話を、やさしい英語に言い換える感覚もつかめます。
このトークで伸びる力
proof、statement、true などの論理語彙が学べます。抽象的な話を短い文で言い換える練習に向き、小論文の「論理」の型づくりにも役立ちます。
授業プラン（50分）
| 0〜5分 | 導入 | ワークシート①の問いをペアで話す（日本語OK） |
| 5〜10分 | 単語 | キーワード予習。知ってる度チェック→意味の予想 |
| 10〜16分 | 1回目 | 日本語字幕で全体を観る。②の話の流れマップを書く |
| 16〜21分 | 確認 | ペアで話の流れを説明し合う。聞き取れた英語をシェア |
| 21〜27分 | 2回目 | 英語字幕で。聞き取れた英語メモを増やす |
| 27〜46分 | 書く | ③観たあとの問い＋英語で意見（PREP） |
| 46〜50分 | 共有 | 2〜3人が発表。④の自己評価 |
こんな人に
- 数学や哲学の話が好きな人
- 抽象的な英語に挑戦したい人
- 論理的な文章を書きたい人
採点のめやす（英作文 8）
内容（問いに答えている）3点／理由と例 3点／英語の正確さ 2点。キーワードを使えたら＋1点のボーナス。