菊池誠 KIKUCHI MAKOTO

研究者番号	60273801
その他のID
所属 (現在)	2025年度: 神戸大学, システム情報学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記	2017年度 – 2024年度: 神戸大学, システム情報学研究科, 教授 2012年度 – 2014年度: 神戸大学, システム情報学研究科, 准教授 2001年度 – 2003年度: 神戸大学, 工学部, 助教授 1998年度 – 1999年度: 神戸大学, 自然科学研究科, 助手 1997年度: 神戸大学, 大学院・自然科学研究科, 助手
審査区分/研究分野	研究代表者小区分01010:哲学および倫理学関連 / 小区分01010:哲学および倫理学関連 / 哲学・倫理学 / 数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) 研究代表者以外小区分01010:哲学および倫理学関連 / システム工学 / 工学基礎 / 数学一般(含確率論・統計数学)
キーワード	研究代表者数学基礎論 / 数理論理学 / 計算の哲学 / 数学の哲学 / 算術 / 証明論 / 論理実証主義 / 科学哲学 / 哲学 / 集合論 … もっと見る / 論理学の哲学 / 矛盾許容型論理 / 算術の超準モデル / 逆理 / 様相論理 / 超準モデル / 不完全性定理 / resolution / 計算量理論 / チャンネル理論 / 命題論理 … もっと見る研究代表者以外数理論理学 / 公理的集合論 / 数理哲学史 / 連続体の哲学 / 連続体問題 / 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階算術 / 形式算術 / 型理論 / 計算論 / 論理構造隠す

科学哲学の基礎としての数理論理学の展開研究代表者
- 研究代表者
  
  菊池誠
- 研究期間 (年度)
  2024 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分01010:哲学および倫理学関連
- 研究機関
  神戸大学
計算可能性理論の哲学的基礎の新たな展開研究代表者
- 研究代表者
  
  菊池誠
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  特別研究員奨励費
- 審査区分
  
  小区分01010:哲学および倫理学関連
- 研究機関
  神戸大学
連続体と集合論の数理と哲理
- 研究代表者
  
  藤田博司
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分01010:哲学および倫理学関連
- 研究機関
  愛媛大学
数学の哲学の新たな展開研究代表者
- 研究代表者
  
  菊池誠
- 研究期間 (年度)
  2017 – 2021
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  哲学・倫理学
- 研究機関
  神戸大学
算術の超準モデルと不完全性定理研究代表者
- 研究代表者
  
  菊池誠
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  神戸大学
インタラクティブ情報場での創発的設計論に関する研究
- 研究代表者
  
  北村新三
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  システム工学
- 研究機関
  神戸大学
抽象設計論の構築とその展開
- 研究代表者
  
  角田譲
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  工学基礎
- 研究機関
  神戸大学
命題論理の証明図の長さに関する研究研究代表者
- 研究代表者
  
  菊池誠
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  神戸大学
算術と計算の論理構造に関する研究
- 研究代表者
  
  田中一之
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東北大学

すべて 2023 2022 2021 2019 2018 2017 2015 2014 2013 2012

すべて雑誌論文学会発表図書

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

1. 長坂一朗 (10314501)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 田中一之 (70188291)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 鹿島亮 (10240756)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 寳来正子 (00015588)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 赤間陽二 (30272454)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 長谷川立 (20243107)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 龍田眞 (80216994)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 角田譲 (50031365)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 北村新三 (80029131)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 玉置久 (10227267)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 村尾元 (70273761)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 藤田博司 (60238582)

共同の研究課題数: 1件

共同の研究成果数: 1件
13. 廣川佐千男 (40126785)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 安本雅洋 (10144114)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 田村直之 (60207248)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 田浦俊春 (00251497)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 下嶋篤 (40303341)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 岡本賢吾 (00224072)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 岡田光弘 (30224025)

共同の研究課題数: 1件

共同の研究成果数: 1件
20. 三好博之 (60286135)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 黒川英徳 (30710230)

共同の研究課題数: 1件

共同の研究成果数: 1件
22. 池田真治 (70634012)

共同の研究課題数: 1件

共同の研究成果数: 1件
23. FAN ZHAO

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 酒井拓史

共同の研究課題数: 0件

共同の研究成果数: 1件
25. 倉橋太志

共同の研究課題数: 0件

共同の研究成果数: 1件

菊池 誠 KIKUCHI MAKOTO

研究課題

研究成果

共同研究者

科学哲学の基礎としての数理論理学の展開研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

計算可能性理論の哲学的基礎の新たな展開研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

連続体と集合論の数理と哲理

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

数学の哲学の新たな展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

算術の超準モデルと不完全性定理研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

インタラクティブ情報場での創発的設計論に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

抽象設計論の構築とその展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

命題論理の証明図の長さに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

算術と計算の論理構造に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] Advances in Mathematical Logic2022

著者名/発表者名

総ページ数

出版者

ISBN

データソース

[図書] 価値創造の考え方2021

著者名/発表者名

総ページ数

出版者

ISBN

データソース

[図書] 不完全性定理2014

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] 連続体を理解する2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] 公理という考え方2022

菊池誠 KIKUCHI MAKOTO