Takayuki Kihara @tri_iro
数学の研究中。 専門→ [次数の理論 / 再帰理論 / 数学基礎論] 今の興味→ [実解析 / エルゴード理論 / ラムゼー理論 / 連続体論] mathematical logic, recursion theory
-
集合論のオススメ教科書からゲーデルTLまで
26080pv 27 36 users
数学の研究中。 専門→ [次数の理論 / 再帰理論 / 数学基礎論] 今の興味→ [実解析 / エルゴード理論 / ラムゼー理論 / 連続体論] mathematical logic, recursion theory