Rchr
J-GLOBAL ID：200901074817948415   Update date: Jan. 30, 2024

Kikuchi Makoto

キクチ マコト | Kikuchi Makoto
Affiliation and department：
Kobe University Graduate School of System Informatics Department of Information Science

About Kobe University Graduate School of System Informatics Department of Information Science


Job title： Professor
Homepage URL  (2)： http://www2.kobe-u.ac.jp/~mkikuchi/ ,  http://www2.kobe-u.ac.jp/~mkikuchi/index-e.html
Research field  (1)： Basic mathematics
Research keywords  (1)： Mathematical Logic
Research theme for competitive and other funds  (7)：
  • 2020 - 2024 Mathematics and Philosophy of Set Theory of the Continuum
  • 2017 - 2022 数学の哲学の新たな展開
  • 2012 - 2015 算術の超準モデルと不完全性定理
  • 2002 - 2003 Emergent Design Theories in Interactive Information Fields
  • 2001 - 2002 The construction of Abstract Design Theory and its development
Show all
Papers (28)：
ｍore...
MISC (8)：
ｍore...
Books (2)：
  • Proof and Truth in Mathematics: Modal Logic and the Foundations of Mathematics
    Kyoritsu Shuppan 2016 ISBN:4320111486
  • The Incompleteness Theorems
    Kyoritsu Shuppan 2014 ISBN:9784320110960
Lectures and oral presentations  (28)：
  • 量子論理と二つの中間層を持つオーソモジュラー束について
    (日本数学会2019年度年会 2019)
  • 計算の哲学:推論および物理的現象との関係の再考に向けて
    (日本哲学会第51回大会 2018)
  • 幾何学の基礎に関するフレーゲとヒルベルトの論争について
    (日本数学会2018年度秋季総合分科会 2018)
  • ZFC の可算モデル上の包含関係について
    (日本数学会2017年度秋季総合分科会 2017)
  • 人工知能の哲学:知能の理解と実現に挑む工学と哲学の対話
    (日本科学哲学会第49回大会 2016)
ｍore...
Education (1)：
  • - 1995 東北大学 大学院理学研究科博士課程後期課程数学専攻退学
Professional career (2)：
  • 修士(理学) (東京工業大学)
  • 博士(理学) (東北大学)
Committee career (5)：
  • 日本科学哲学会 評議員
  • 日本数学会 評議員
  • 科学基礎論学会 理事
  • 科学基礎論学会 評議員
  • 科学基礎論学会 企画委員会委員
Association Membership(s) (6)：
精密工学会 ,  日本認知科学会 ,  日本科学哲学会 ,  科学基礎論学会 ,  Association for Symbolic Logic ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM