[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

923(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)15:59 ID:w2gV7wtr(11/38) AAS
>>898
(引用開始)
あなたはなぜ検索しないのですか？
新井氏の研究は、証明論における順序数解析です
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
証明論で扱う体系の中に当然自然数論も含まれます
論理学者で、自然数論について知らない人はいませんよ　
論理学における一般常識ですから
(引用終り)

笑えます。そのURLを開くと、下記
「研究分野 数学基礎論」「著書 数学基礎論　岩波書店(2011)」とあるじゃないですか！ｗ
「学会 科学基礎論学会」
「自然数論」という言葉は出てこないｗ（＾＾
「基礎論」でしょ！ｗ

外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
新 井 敏 康　(ARAI Toshiyasu)
講　　　座 離散数理学大講座　教授
研究分野 数学基礎論
研究テーマ
証明論
研究概要
証明論は数学における証明を対象にしています。その中で主に順序数解析を研究しています。これは公理系に対して順序数を結びつけてその公理系の内部に潜む構造を解き明かそうとする分野です。

主要論文
Intuitionistic fixed point theories over set theories,Arch. Math Logic 54(2015), 531-553
Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory,Jour. Symb. Logic 79(2014), 325-354
Proof theory of weak compactness, Jour. Math. Logic 13(2013), 1350003
Proof theories of ordinals I: recursively Mahlo ordinals, Ann. Pure Appl. Logic 122(2003), 1-85
Ordinal diagrams for recursively Mahlo universes, Arch. Math. Logic 39(2000), 353-391
著書 計算とは何か　東京図書(2009)（新井紀子と共著）
数学基礎論　岩波書店(2011)
集合・論理と位相　東京図書(2016)
学会 日本数学会、 Association for Symbolic Logic、 科学基礎論学会
受賞 日本数学会秋季賞(2003)

---

上下前次1-新書関写板覧索設栞歴

---

あと 79 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.015s