ぐあー
知り合いを集めて勉強発表会みたいなのをやっていて、それはとても良いのだけど、もう少しちゃんとした会として整備したほうがよさそうだなーと思いつつ、いろいろやるのが面倒で放置している
誰うま
第二不完全性定理はメタメタ数学だと思うんだけどほかのそういう例があんまりわからない。
私が興味あることの一つは「メタメタ数学」かもしれない。もちろん、階層をただ一つあげるということではなくて、数学とメタ数学の関係（あるいは、数学とメタ数学とさらにそのメタと……の関係）を数学するの。
数学する日常へ
休みすぎた〜
わぁ
イタリアンブレインロットという TikTok 方面のミームが小学生などに流行っている（いた？）らしいのだが、元の文脈にはかなりアレなイスラム風刺が入っているとかで、いろいろ大変だなと思った
