KIKUCHI MAKOTO 菊池誠

… Alternative Names

Kikuchi Makoto 菊池誠

KIKUCHI Makoto 菊池誠

菊池誠キクチマコト

Less

Researcher Number	60273801
Other IDs
Affiliation (Current)	2025: 神戸大学, システム情報学研究科, 教授
Affiliation (based on the past Project Information) *help	2017 – 2024: 神戸大学, システム情報学研究科, 教授 2012 – 2014: 神戸大学, システム情報学研究科, 准教授 2001 – 2003: 神戸大学, 工学部, 助教授 1998 – 1999: 神戸大学, 自然科学研究科, 助手 1997: 神戸大学, 大学院・自然科学研究科, 助手
Review Section/Research Field	Principal Investigator Basic Section 01010:Philosophy and ethics-related / Basic Section 01010:Philosophy and ethics-related / Philosophy/Ethics / General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Basic Section 01010:Philosophy and ethics-related / System engineering / Engineering fundamentals / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 数学基礎論 / 数理論理学 / 計算の哲学 / 数学の哲学 / 算術 / 証明論 / 論理実証主義 / 科学哲学 / 哲学 / 集合論 … More / 論理学の哲学 / 矛盾許容型論理 / 算術の超準モデル / 逆理 / 様相論理 / 超準モデル / 不完全性定理 / resolution / 計算量理論 / チャンネル理論 / 命題論理 … More Except Principal Investigator 数理論理学 / 公理的集合論 / 数理哲学史 / 連続体の哲学 / 連続体問題 / Reinforcement Learning / Evolutionary Computation / Interaction / Information Field / Emergent System / System Design / 発見的推論 / 進化的計算 / 創発的設計 / 強化学習 / 進化的計算法 / インタラクション / 情報場 / 創発システム / システム設計 / set theory of uncertainty ZF^± / uncertain classification / Abstract design theory / Informatign flow / 設計論 / 不確定集合論ZF^± / 不確定分類 / 抽象設計論 / 情報の流れ / lambda calculus / bounded arithmetic / reverse mathematics / second order arithmetic / formal arithmetic / type theory / theory of computation / logical structures / 数学基礎論 / 算術のモデル / 証明論 / ロジック / ラムダ計算 / 限定算術 / 逆数学 / 2階算術 / 形式算術 / 型理論 / 計算論 / 論理構造 Less

Development of Mathematical Logic as Foundation of Philosophy of SciencePrincipal Investigator
- Principal Investigator
  
  菊池誠
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Kobe University
New Developments in the Philosophical Foundations of Computability TheoryPrincipal Investigator
- Principal Investigator
  
  菊池誠
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Kobe University
Mathematics and Philosophy of Set Theory of the Continuum
- Principal Investigator
  
  Fujita Hiroshi
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Ehime University
New developments of the philosophy of mathematicsPrincipal Investigator
- Principal Investigator
  
  Kikuchi Makoto
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kobe University
Non-standard models of arithmetic and the incompleteness theoremsPrincipal Investigator
- Principal Investigator
  
  KIKUCHI Makoto
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
Emergent Design Theories in Interactive Information Fields
- Principal Investigator
  
  KITAMURA Shinzo
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  System engineering
- Research Institution
  Kobe University
The construction of Abstract Design Theory and its development
- Principal Investigator
  
  KAKUDA Yuzuru
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Engineering fundamentals
- Research Institution
  KOBE UNIVERSITY
命題論理の証明図の長さに関する研究Principal Investigator
- Principal Investigator
  
  菊池誠
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
Studies on logical structures of arithmetic and computation
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  TOHOKU UNIVERSITY

All 2023 2022 2021 2019 2018 2017 2015 2014 2013 2012

All Journal Article Presentation Book

[Book] Advances in Mathematical Logic2022
- Author(s)
  T. Arai, M. Kikuchi, S. Kuroda, M. Okada, T. Yorioka (eds.)
- Total Pages
  240
- Publisher
  Springer
- ISBN
  9789811641732
- Data Source
  KAKENHI-PROJECT-17H02263
[Book] 価値創造の考え方2021
- Author(s)
  國部克彦，玉置久，菊池誠
- Total Pages
  256
- Publisher
  日本評論社
- ISBN
  9784535559943
- Data Source
  KAKENHI-PROJECT-17H02263
[Book] 不完全性定理2014
- Author(s)
  菊池誠
- Total Pages
  368
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-24540125
[Journal Article] 連続体を理解する2023
- Author(s)
  菊池誠
- Journal Title
  
  数学セミナー
  
  Volume: 62 Pages: 32-37
- Data Source
  KAKENHI-PROJECT-20K00010
[Journal Article] 公理という考え方2022
- Author(s)
  菊池誠
- Journal Title
  
  数学セミナー
  
  Volume: 730 Pages: 8-15
- Data Source
  KAKENHI-PROJECT-17H02263
[Journal Article] 数と論理の物語2019
- Author(s)
  菊池誠
- Journal Title
  
  数学セミナー
  
  Volume: 690－701
- Data Source
  KAKENHI-PROJECT-17H02263
[Journal Article] Generalizations of Godel's incompleteness theorems for Σ_n-definable theories of arithmetic2017
- Author(s)
  Makoto Kikuchi and Taishi Kurahashi
- Journal Title
  
  The Review of Symbolic Logic
  
  Volume: 10 Issue: 4 Pages: 603-616
- DOI
  10.1017/s1755020317000235
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
[Journal Article] On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos2012
- Author(s)
  Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 57 Issue: 4-5 Pages: 307-316
- DOI
  10.1002/malq.201110067
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740076, KAKENHI-PROJECT-24540125
[Presentation] ワークショップ「連続体の謎―実数の理解に対する数学的及び哲学的再考」2023
- Author(s)
  菊池誠・池田真治・藤田博司・黒川英徳
- Organizer
  科学哲学会第56回大会
- Data Source
  KAKENHI-PROJECT-20K00010
[Presentation] システムという考え方2022
- Author(s)
  菊池誠
- Organizer
  科学基礎論学会2021年度総会と講演会（シンポジウム「システム・情報・数理モデル」）
- Invited
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] 量子論理と二つの中間層を持つオーソモジュラー束について2019
- Author(s)
  菊池誠，日吉遼太
- Organizer
  日本数学会1019年度総会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] 数の理解と圧搾論法2019
- Author(s)
  菊池誠
- Organizer
  科学基礎論学会2019年度講演会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Some topics on models of arithmetic and set theory2018
- Author(s)
  Makoto Kikuchi
- Organizer
  Logic, Language and Ontology
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] ワークショップ「計算の哲学:推論および物理的現象との関係の再考に向けて」2018
- Author(s)
  菊池誠
- Organizer
  日本科学哲学会第51回大会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] 幾何学の基礎に関するフレーゲとヒルベルトの論争について2018
- Author(s)
  菊池誠
- Organizer
  日本数学会2018年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] ZFC の可算モデル上の包含関係について2017
- Author(s)
  菊池誠，J.D. Hamkins
- Organizer
  日本数学会2017年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Σn 定義可能な算術の不完全性定理2015
- Author(s)
  倉橋太志，菊池誠
- Organizer
  日本数学会2015年度年会
- Place of Presentation
  明治大学駿河台キャンパス（東京都・千代田区）
- Year and Date
  2015-03-22
- Data Source
  KAKENHI-PROJECT-24540125
[Presentation] 状況理論としてのチャンネル理論2014
- Author(s)
  菊池誠
- Organizer
  科学基礎論学会秋の研究例会
- Place of Presentation
  東京大学駒場キャンパス（東京都・目黒区）
- Year and Date
  2014-11-01
- Data Source
  KAKENHI-PROJECT-24540125
[Presentation] 不完全性定理の構成的性質について2014
- Author(s)
  菊池誠，渕野昌
- Organizer
  日本数学会2014年度秋季総合分科会
- Place of Presentation
  広島大学東広島キャンパス（広島県・東広島市）
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-24540125
[Presentation] 算術の超準モデルにおける定理と証明について2014
- Author(s)
  菊池誠，倉橋太志
- Organizer
  日本数学会2014年度秋季総合分科会
- Place of Presentation
  広島大学東広島キャンパス（広島県・東広島市）
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-24540125
[Presentation] 嘘つき型の矛盾による不完全性定理の証明について2013
- Author(s)
  菊池誠，倉橋太志
- Organizer
  日本数学会2013年度秋季総合分科会
- Place of Presentation
  愛媛大学
- Data Source
  KAKENHI-PROJECT-24540125

1. NAGASAKA Ichiro (10314501)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. HORAI Masako (00015588)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. AKAMA Yohji (30272454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. HASEGAWA Ryu (20243107)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. TATSUTA Makoto (80216994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. KAKUDA Yuzuru (50031365)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. KITAMURA Shinzo (80029131)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TAMAKI Hisashi (10227267)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. MURAO Hajime (70273761)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. Fujita Hiroshi (60238582)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
13. 廣川佐千男 (40126785)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 安本雅洋 (10144114)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 田村直之 (60207248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 田浦俊春 (00251497)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 下嶋篤 (40303341)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 岡本賢吾 (00224072)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 岡田光弘 (30224025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
20. 三好博之 (60286135)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 黒川英徳 (30710230)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
22. 池田真治 (70634012)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
23. FAN ZHAO

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. SAKAI Hiroshi

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
25. 倉橋太志

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

KIKUCHI MAKOTO 菊池 誠

Kikuchi Makoto 菊池 誠

KIKUCHI Makoto 菊池 誠

菊池 誠 キクチ マコト

Research Projects

Research Products

Co-Researchers

Development of Mathematical Logic as Foundation of Philosophy of SciencePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

New Developments in the Philosophical Foundations of Computability TheoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Mathematics and Philosophy of Set Theory of the Continuum

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

New developments of the philosophy of mathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Non-standard models of arithmetic and the incompleteness theoremsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Emergent Design Theories in Interactive Information Fields

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The construction of Abstract Design Theory and its development

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

命題論理の証明図の長さに関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on logical structures of arithmetic and computation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Advances in Mathematical Logic2022

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] 価値創造の考え方2021

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] 不完全性定理2014

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] 連続体を理解する2023

Author(s)

KIKUCHI MAKOTO 菊池誠

Kikuchi Makoto 菊池誠

KIKUCHI Makoto 菊池誠

菊池誠キクチマコト