KIKUCHI MAKOTO 菊池誠

… Alternative Names

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

Mathematics and Philosophy of Set Theory of the ContinuumOngoing
- Principal Investigator
  
  藤田博司
- 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 InvestigatorOngoing
- Principal Investigator
  
  菊池誠
- 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 2019 2018 2017 2015 2014 2013 2012

All Journal Article Presentation Book

[Book] 不完全性定理2014
- Author(s)
  菊池誠
- Total Pages
  368
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-24540125
[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 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 Pages: 307-316
- DOI
  10.1002/malq.201110067
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740076, KAKENHI-PROJECT-24540125
[Presentation] 量子論理と二つの中間層を持つオーソモジュラー束について2019
- Author(s)
  菊池誠，日吉遼太
- Organizer
  日本数学会1019年度総会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] ワークショップ「計算の哲学:推論および物理的現象との関係の再考に向けて」2018
- Author(s)
  菊池誠
- Organizer
  日本科学哲学会第51回大会
- 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
  日本数学会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. 廣川佐千男 (40126785)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 三好博之 (60286135)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 藤田博司 (60238582)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. SAKAI Hiroshi

# of Collaborated Projects: 0 results

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

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

KIKUCHI MAKOTO 菊池 誠

菊池 誠 キクチ マコト

KIKUCHI Makoto 菊池 誠

Research Projects

Research Products

Co-Researchers

Mathematics and Philosophy of Set Theory of the ContinuumOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

New developments of the philosophy of mathematicsPrincipal InvestigatorOngoing

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] 不完全性定理2014

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] GENERALIZATIONS OF GODEL'S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos2012

Author(s)

Journal Title

DOI

Data Source

[Presentation] 量子論理と二つの中間層を持つオーソモジュラー束について2019

Author(s)

Organizer

Data Source

[Presentation] ワークショップ「計算の哲学:推論および物理的現象との関係の再考に向けて」2018

Author(s)

Organizer

Data Source

[Presentation] Some topics on models of arithmetic and set theory2018

Author(s)

Organizer

Data Source

[Presentation] 幾何学の基礎に関するフレーゲとヒルベルトの論争について2018

Author(s)

Organizer

Data Source

[Presentation] ZFC の可算モデル上の包含関係について2017

KIKUCHI MAKOTO 菊池誠

菊池誠キクチマコト

KIKUCHI Makoto 菊池誠