菊池誠

キクチマコト | Kikuchi Makoto

所属機関・部署：
職名：教授
ホームページURL (2件)： http://www2.kobe-u.ac.jp/~mkikuchi/ , http://www2.kobe-u.ac.jp/~mkikuchi/index-e.html

研究分野 (1件)：数学基礎

研究キーワード (1件)：数学基礎論

競争的資金等の研究課題 (7件)：

全件表示

論文 (28件)：

Makoto Kikuchi, Taishi Kurahashi. GENERALIZATIONS OF GÖDEL'S INCOMPLETENESS THEOREMS FOR Σn-DEFINABLE THEORIES OF ARITHMETIC. Review of Symbolic Logic. 2017. 10. 4. 603-616
Makoto Kikuchi, Taishi Kurahashi. ILLUSORY MODELS OF PEANO ARITHMETIC. JOURNAL OF SYMBOLIC LOGIC. 2016. 81. 3. 1163-1175
Makoto Kikuchi, Taishi Kurahashi. Liar-type Paradoxes and the Incompleteness Phenomena. JOURNAL OF PHILOSOPHICAL LOGIC. 2016. 45. 4. 381-398
菊池誠. 特集「数学と論理学の60年」序文(<特集>「数学と論理学の60年」). 科学基礎論研究. 2016. 43. 1. 1-2
KIKUCHI MAKOTO, KURAHASHI TAISHI. Universal Rosser Predicates. Journal of Symbolic Logic. 2016. 82. 1. 292-302

MISC (8件)：

菊池誠. 1936年の奇跡:チューリング機械の誕生. 数学セミナー. 2018. 2018年11月号. 30-34
菊池誠. ヒルベルトの第10問題. 数学セミナー. 2017. 2017年. 10月. 19-23
菊池誠. ルベーグ非可測集合の存在とバナッハ-タルスキの逆理. 数学セミナー. 2016
菊池誠. 実数の連続性がわからない. 数学セミナー. 2015
菊池誠. 数学と哲学における学術情報流通 (特集今後の学術情報流通). 情報の科学と技術 = The journal of Information Science and Technology Association. 2013. 63. 11. 458-463

書籍 (2件)：

講演・口頭発表等 (28件)：

量子論理と二つの中間層を持つオーソモジュラー束について
(日本数学会2019年度年会 2019)
計算の哲学:推論および物理的現象との関係の再考に向けて
(日本哲学会第51回大会 2018)
幾何学の基礎に関するフレーゲとヒルベルトの論争について
(日本数学会2018年度秋季総合分科会 2018)
ZFC の可算モデル上の包含関係について
(日本数学会2017年度秋季総合分科会 2017)
人工知能の哲学:知能の理解と実現に挑む工学と哲学の対話
(日本科学哲学会第49回大会 2016)

学歴 (1件)：

学位 (2件)：

委員歴 (5件)：

所属学会 (6件)：

精密工学会 , 日本認知科学会 , 日本科学哲学会 , 科学基礎論学会 , Association for Symbolic Logic , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

菊池 誠