51
数学で理由を表す接続詞「だから」「よって」「したがって」「故に」「それゆえ」「ここから」「このことから」「これより」「以上より」で足りなければ、古文風に「されば」「然れば」とかお堅い教師風に「であるからして」とかYouTuber風に「てな訳で」とか小泉進次郎風に「だからこそ」とか使えそう
52
53
中身のあることを主張することは、それが成り立つような世界(数理論理学的にはモデル、哲学的には可能世界)を限定してしまうことに等しい。彼の言葉は中身がなく、新たな情報をもたらさない。その代わりトートロジーという最も普遍的な正しさを手にしたのだ。何の意味もない。だからこそ正しいのだ。
54
鬼滅の刃 有限列車編
鬼滅の刃 高々可算列車編
鬼滅の刃 無限列車編
鬼滅の刃 弱デデキント無限列車編
鬼滅の刃 デデキント無限列車編
鬼滅の刃 非可算無限列車編
鬼滅の刃 アレフω列車編
鬼滅の刃 ω不動点列車編
鬼滅の刃 到達不能基数列車編
鬼滅の刃 シェラハ基数列車編
鬼滅の刃 真クラス列車編
57
Twitterの数学界隈の一部では中学生でも息を吸うように微積を使うし、平然と論文になるレベルの発見を投稿してるアニメアイコンの中高生が多すぎるので感覚が麻痺して、アニメで謎の天才美少女転校生が黒板に数式を書きまくって無双するシーンを見てもTwitterの日常風景だとしか思えなくなってしまった
61
「そういえばTEDって面白いよね」
児嶋←テディベアの映画がfunnyだと思っている
渡部←意識高い英語のプレゼンがinterestingだと思っている
化学徒←トリエチレンジアミンの話だと思っている
電子工学徒←転送電子素子の話だと思っている
65
小学生A「先生!素人質問で恐縮ですが、そもそも『数』とは何ですか?」
小学生B「先生!選択公理は仮定しますか?」
小学生C「先生!ペアノ算術の無矛盾性は証明しなくていいんですか?」
小学生D「おい、C!その前にペアノの公理系から加法と乗法のwell-defined性を示す必要があるだろ!サボるなよ」
67
スピリチュアル†量子力学†コーチ「引き寄せの法則!愛のエネルギーの波動を高めると幸せになれる」
物理学徒「素人質問で恐縮ですが、それはSchrödinger方程式からどう導けますか」
コーチ「シュレ…?」
終
制作・著作
━━━━━
ⓃⒽⓀ
68
i みょんの「実数は存在して虚数は存在しないと語る君の気持ちが分からない。実数だって抽象概念なのに。複素数は回転を表せて回転は現実に起きるのに。回る回る アイが回るくらい。だから僕らは i の存在を問い続ける。i を知るまでは死ねないI(私)なのだ」という歌詞に感動した
69
70
トンデモ「量子力学は間違っている」(量子力学を理解していない)
天才物理学者「量子力学は間違っている」(既存の量子力学では説明のつかない現象を発見し、新たな仮説を提唱した)
数学者「量子力学は間違っている」(デルタ関数をL^2空間の元と同列に扱ったことに腹を立てている)」
72
メロスは激怒した。必ずかの極限と積分を勝手に交換する王を除かねばならぬと決意した。メロスには物理が分からぬ。メロスは数学科の学生である。実験とは無縁の生活を営んできた。けれども数学的厳密性に対しては、人一倍敏感であった。今日未明、メロスは学科の壁を越え、物理学のセミナーに凸った。
73
学士課程は人生にガックシする過程
修士課程は人生が終止する過程
博士課程は人生が白紙になる過程
これ、誰でも自然と思い至るので絶対昔から言われてると思うけど、ただの駄洒落じゃなくて、学生の心情、大学の実情、人生自体の困難さをひとまとめに簡潔に表せている素晴らしい自由律俳句だと思う。
74