お茶の間
このサイトは「ふたり」のために作られました:数学が好きなひとと、数学が苦手だと確信しているひと。始める許可は、どちらにも要りません。章は両方の席に食事を出し、学びの階段は二つの速さで歩けます。そしてここ・お茶の間は、それぞれが持ち寄ったものを置く場所。飲み物をご持参ください。式は任意です。
証明の物語 →お茶の間の規則
- 「それは自明です」は全員禁止。一般の場合の解決には数世紀かかりました。どの手順でも「なぜ？」と聞いて大丈夫。
- どちらの席も本物の証拠を持ち寄ります:物語の席は感じたことを、証明の席は指さした場所を。どちらの報告も証拠です。
- 幕間で席替え:証明の席が場面を語り、物語の席が議論を語ります。採点も、テストも、ありません。
一番席 · 不可能なケーキ
この席で読む章第1章 · 注文できないケーキ · 第2章 · 三の場合の事件簿 · 第3章 · 容疑者が多すぎる · 第4章 · 小包のダイエット · 第5章 · あやしい小包
数学が苦手なお客さまへ
式を使わず事件を語ってください。あり得ないケーキの注文、フェルマーが降下法で解いた指数4の場合、証拠つきの小包。あの早い勝利のあと、一般の場合にはなぜ数世紀も必要だったのでしょう。
数学が好きなお客さまへ
小石をひとつ、ゆっくり説明します。平方数を4で割ると余り2にはなりません。そのあとで、すべての指数を個別に調べず、指数4と奇素数の場合を扱えば十分な理由を説明しましょう。
ふたりで言い合うこと
- 余白の書き込みは、約束、自慢、冗談、どれでしょう? 一番席の内容だけで答えを守ってみてください。
- 小包には条件と、その証拠が入っています。どの条件を最初に確かめたいですか。なぜでしょう。
- リボンを剥がす作業(gcd 1):お片付けなのでしょうか。それとも深い必然?
二番席 · 形を保った結び目
この席で読む章第6章 · ハサミ持ち込み事件 · 第7章 · ベテランたちの事件簿 · 第8章 · ひみつの二重奏
数学が苦手なお客さまへ
場面をひとつと、感情をひとつ報告してください:結び目を切ろうとするハサミ、解決ずみの事件をもう一度開ける退役者たちの棚、そして予算がビスケット一枚の二重奏。そのうえで、数学の席に聞いてください——あなたの仕事なら、どの登場人物を雇いますか。
数学が好きなお客さまへ
本当のことを一つ、喋る速度で伝えます:結び目にはほどける糸がない——糸を仮定すると、議論が自分自身を食べて消える。好奇心が顔を出したら、次の小石として有限の檻E[ℓ]を渡しましょう。
ふたりで言い合うこと
- 曲線が歌い、形式が答えます。証明できるパートナーシップは、感じるだけのものより弱いでしょうか。それとも強い?
- 3への迂回は、助っ人の曲線を借ります。数学において——そして友情において——借り物は、いつ正当になる?
- 旅立つのはどちらが難しい:証明書ですか。それとも評判?
三番席 · 橋をかける人たち
この席で読む章第9章 · コンサートへの二つの入口 · 第10章 · 3音だけのオーディション · 第11章 · パスポートを借りる作戦 · 第12章 · 二つの工房、同じ注文 · 第13章 · ピップの無謀なキルト
数学が苦手なお客さまへ
旅の物語を語ってください:自分のモジュラー性パスポートを携えて到着するスーツケース、データを一つも運ばないポーター、貸し出しの助っ人曲線での一回きりの迂回、そして二つの工房——正しい布からキルトを縫う工房と、縫い目を合わせる工房。最後に立っているのは、とても小さな部屋です。
数学が好きなお客さまへ
頂上を平たい言葉で述べましょう。比較写像が変形環とヘッケ代数を同型で結びます。抜粋も確かめてください。写像が全射だと示すことは、その主張の一部分です。
ふたりで言い合うこと
- あなたの鞄にとってのR = Tは何でしょう:中身が本当にあなたのものだと証明する書類。
- スーツケースは生きたまま到着しなければなりません(非ゼロで)。議論の中で「生きて到着」とは、どういう状態?
- キルトには正しい布と、合った縫い目の両方が要ります。あなたのチームワークは普段、どこで崩れるでしょう——布? 縫い目?
四番席 · 空っぽの部屋と静かなフクロウ
この席で読む章第14章 · どんどん小さくなる予約 · 第15章 · 完全なる静寂のコンサート · 第16章 · 入れないはずの客 · 第17章 · 融通のきかない審査官
数学が苦手なお客さまへ
最終幕を泥棒映画のように語ります:旅を渡り切った石が「空と認定された箱」のとなりに置かれる。そのあとの法廷では、フクロウは拍手をせず、三つの名前を挙げるだけ。事件ファイルには検査済みの判。友だちに聞いてください——この結末は、犯罪ドラマですか。それともおとぎ話?
数学が好きなお客さまへ
二つの証明書を並べます。fは非ゼロであり、その空間の形式はすべてゼロです。そのあとで固定した公理チェックポイントを読んでください。サイトはその記録を示しており、Leanによる証明全体の再検証や時間測定はしていません。
ふたりで言い合うこと
- 部屋には、最初から何もいませんでした。では、数学はずっとどこにあった?
- チェックポイントには三つの公理名があります。別の名前が現れたら、主張を信頼する前に何を確かめますか。
- 事件は閉じられました。いまのあなたなら、余白に何と書きますか。
最後の規則:最後の席を出たら、答えを交換しましょう。証明の席が第一幕を「物語として」もう一度語り、物語の席が第一幕を「議論として」もう一度語る。二つの語り直しがどちらも生き残ったら、フェルマーの最終定理には新しい翻訳が二つ増えたことになります。