きーねく@通販

スコーレムのパラドックス（の特別な場合）：「集合論は可算モデルを持つ．」 つまり自然数も実数も，すべて可算集合の中で解釈できる． 実数はこのモデル内で(論理式として)非可算だけど，解釈としては可算集合ってことかな．

私的三大びっくりした定理 ・整関数は有界なら定数関数（リウヴィルの定理) ・数学の理論が矛盾していないならば矛盾していないことを証明できない（第二不完全性定理） ・長さ１の線分を一回転させるときの軌跡はいくらでも小さくできる（掛谷定理）

可算濃度のファボありがとうございます． 漢字一文字の数学用語を調べてたらいつの間にか描いてた漫画でした．

文字制限の中で説明するのはムズい このムズさはアゴにヒジをつけるのと同相

質問箱 「同相とホモトピックの違いを直観的に説明して欲しいです」― ﾎﾓﾄﾋﾟｯｸ変形は潰す変換も許します．空間上の連続関数の性質を知りたい場合は同相で調べ，空間の大雑把な形状(成分，穴)を知りたい場合はホモトピーといった感じです．圏論では同相は1cell，ﾎﾓﾄﾋﾟ-は2cellとみなせます．

質問箱において応援メッセージくれる方ありがとうございます． 個人的なことに関する質問(仕事，専門，大学など)も多いのですが，プライベート垢ではないので念のため答弁はなるべく控えてます．

質問箱 「チル数読ませて頂いてるのですが，自然数に0は含むのですか？」― 正確にいうとちょっと難しいのですが，ペアノの公理内の 0 は「一番最初」を表す記号であって，実際に自然数を作るときの「最初」は 0 でも 1 でも -1 でも公理を満たしさえすれば OK なのです．あとは好みの問題になります．

漫画が悲しくなるのはNierのBGMを作業用にしていたせいである

問質箱 「クヌースの矢印は読み方はなんですか」― + 足す，× 掛ける，↑ ~乗，↑↑ 気合，↑↑↑ 根性，↑↑↑↑ 天元突破 「数学を学ぶのに必要な英語はどう勉強されましたか」― 講義が日本語でも，テキストが日本語でも，数学用語は全て英語で書くようにした．

こういう位相空間の病的な例は counterexamples in topology にありそうだけども

wiki調べ「和田の湖」Lakes of Wada 単位正方形を以下のような条件を満たす，互いに交わらない連結な開集合 A,B,C で分割する．（条件）A,B,C は同じ境界を持つ． えぇ…（直観に反し顔)

質問箱 「「和田の湖」について、わかりやすい資料、解説などはご存じでしょうか？」― 和田の湖，初めて知りました(当然資料などはわからないです)．力学系は門外漢でしたが…この空間すごいですね．

質問箱 「数学好きだと変人扱いされます。どうすればいいですか」― 変人扱いされることを誇って下さい．"普通の人間・普通の人生" 扱いされるよりマシなことにいずれ気づきます．

1 次関数から順番に擬人化しようとしたら，流れ上，任意の自然数 n に対して n 次関数を擬人化しなきゃいけなくなったので，有理関数にした

いっぱいあるなぁ 団・樽・鞄は英語にしても知らなかった スタックが園って訳されてるのも見たことなかったhttps://twitter.com/keisankionwykip/status/962927854928326658 …

私も何度も爆死しましたが，理解できたときの喜びは高校数学の比ではなかったです．