旧限界数学ゼミガール

某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）

[hexcap]

寿司虚空編って噛み砕いてマンガにしてくれていたんだなあ

[altar]

きらら系美術科4コマ(というかGA)から一般読者向けの説明を全部排除したらわりとこんな感じになるかもしれない。

[Sephy]

うだつがあがらない数学ガール……？うだつがあがらないSEどもを集めてモブプログラミングやってるとこんな感じでぐだぐだするからおすすめ（ツッコミが追い付かないのでしばらく放牧すると良い）

[bfms350]

寿司虚空編ってまだ理解させようとした痕跡があったんだなと痛感した。いやこの置いていきぼりスタイルも好きだけど。

[q-Anomaly]

凄いなー 内容理解できたらもっと面白いのだろうな　会話がリアル。「ごめん嘘ついた」「ごめん今の嘘」懐かしいノリ

[ad2217]

基礎論、ほとんどの数学人は分野が違う人になるのでは。

[sangping]

解のヒント　→　①UNHEX関数を使ったAES暗号複合　 ②WGS84座標系、ユニバーサルメルカトル図法　ここまできたらサルでも時間をかければ複合化できます。

[go_kuma]

一コマ目から「うる覚え」に引っかかって先に進めない。

[capriccio-bwv-993]

これはすごい。数学基礎論を専門に扱う研究室が少ないだけに。しかもまさか強制法がまんがになるとは。まんがで読める強制法 (´・ω・｀)

[upran]

このマンガのLINEスタンプが有るんだけど、結構使い勝手よさげ bit.ly/37brrDc ／自分がブコメで紹介したこのページがずっとたくさんブクマ集めてるのにたった今気付いて、スターを貰いそこねた気持ちになりました。

[nagaichi]

「両辺から１を引けよ」だけ分かった。それ以外は宇宙語の世界であった。

[ysfm]

この感じで中学受験算数の問題をやって欲しい。特にクセがすごいやつ。

[skythief]

巨大な数の漫画が世の中に複数あるとは

[atashi9]

新しい版どこにあるの

[Akech_ergo]

マンガの文脈的にこのセリフはたぶんボケなんだろうな、みたいなセリフの意味が分からないの悔しい。。。

[Hagalaz]

異世界語

[yoshiyoc]

数学でもマニアックなところ攻めてるね

[dhrname]

自然数列のゲーデル数について、ゲーデル関数をGとおき、G(x_0, x_1, ..., x_m-1) = G(y_0, y_1, ..., y_m-1) <=> x_i = y_i (i=0, 1, ..., m-1)のとき、G(x_0, x_1, ..., x_m-1)はゲーデル数となるのは理解しやすい。一つの二進数は配列だと一意なので

[tyosuke2011]

勉強になった

[usomegane]

全然わからんのに最後まで読んじゃった。対談とか座談会だと全然わからん分野でも読めちゃうのと同じ原理やな。

[lalupin4]

高等数学の話。

[sisopt]

うる覚えってなんだ？って思って調べたけど、茨城の一部で使われてる方言なのか

[filinion]

戦車やキャンプなど、実際は男が多い分野を若い女子にやらせる系マンガの系譜。（なお当方何を言ってるのかまったくわからない系男子）

[azzr]

基礎論わかんない。古典論理とZFCの外には出たくない。排中律と選択公理は基本的人権。

[robamoto]

内容が理解できなくてもこんなに面白いのなんで、、？？

[kemononeko]

大学でやってるのは多分ほぼすべてこんな感じでなんというか専門外からしたらよくわからんになるよなあという感覚。みんなの専門も大体こんな感じじゃないの。

[kamanobe]

植芝理一は全然感じなくて、顔のバランスが今（ブランクスペース）の熊倉献だなと思って読んでた。／「うるおぼえ」はキャラクタ演出でしょ。

[kianos]

ディスコミとか彼女Xの人？

[fraction]

.下にもコメあるけど学部生ならではのグダグダぶり(非体系的な知識の重なり)が上手く描写されてる。なおT大院生は学部レベルの数学全制覇が当然なんだと前世紀に物理系の集中講義で主任が宣ってた。

[nmcli]

さっぱりだぁ　わかるようになりたい

[beginnerchang]

早くグロタンディーク宇宙の話するんだよ あくしろよ

[t-tanaka]

不完全性定理の第一をとばせ，といわれて処理落ちする部分の面白さは理解できた。ゲーデル数やら対角線やらが一番の見せ場なのにね。あとはほとんど意味がわからん。

[pwatermark]

やっべえ単語すら分からんのがあったりするやっべえ何だコレ

[poponponpon]

あーなるほどね、いいとこ突いてくるよねー（なにやってんのかさっぱりわからん

[c_shiika]

イーガンの漫画かな？（白熱光ってこんな感じで話が進む物理版Dr.Stoneだった気がする）

[kuzumaji]

植芝理一のような絵柄

[uzusayuu]

何故かsafebrowse.ioとかいうところにリダイレクトされてしまい見れない。

[monbobori]

理系の人に見せたら「ゲーデルの不完全性定理以外は大したこと言ってないよ〜」って…永遠に理解し合えない…

[hatebu_ai]

ここまで中身と登場人物が乖離してくると、女子学生設定や服装への制服の採用がやっぱりただのポルノ要素みたいなものでしかないように見えてくるよなぁ・・・