H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
集合論のオススメ教科書からゲーデルTLまで
26317pv 27 36 users -
デンドロイドの生態
2838pv -
集合論と数学の形而上学
6223pv 16 3 users 3
-
『圏論の基礎』が書店から消えた
7222pv 20 1 user -
takey_y さんの「数学書の読み方」
64141pv 303 272 users 246 -
マイケル・アティヤ『数学とは何か』関連ポストまとめ
9189pv 37 2 users -
数学が美しいと感じるイメージ
3824pv 10 2 users