17/09/29 19:07:19.41 .net
俺、オレオレ指数定理中でマーチ文系学部卒止まりだけど俺は正真正銘男だから。
ラッセルの逆理というより自己言及全般や対角線論法や中間値の定理ビヨンド不動点定理やチャイティンオメガの方が好きだから。
集合論より今ナウいのは圏論だよね。20.5世紀って感じ。
17/09/29 19:07:19.41 .net
俺、オレオレ指数定理中でマーチ文系学部卒止まりだけど俺は正真正銘男だから。
ラッセルの逆理というより自己言及全般や対角線論法や中間値の定理ビヨンド不動点定理やチャイティンオメガの方が好きだから。
集合論より今ナウいのは圏論だよね。20.5世紀って感じ。