菊池 誠
神戸大学
大学院システム情報学研究科 教授
住所: 〒657-8501神戸市灘区六甲台町1-1
研究室: 神戸大学六甲台第2キャンパス 自然科学総合研究棟3号館426室
E-mail: mkikuchi
@
kobe-u
.ac
.jp
Tel/Fax: 078-803-6453 (dial in)
[English / Japanese]
研究分野
研究集会とセミナー
- 数学基礎論サマースクール (世話人, 証明論, 特に算術の無矛盾性証明, 神戸大, 2018年9月3日から6日)
- 人工知能の哲学 (オーガナイザ, 日本科学哲学会年次大会シンポジウム, 信州大, 2016年11月19日)
- 数学基礎論とその応用 (世話人, 京都大数理解析研究所, 2016年9月26日から29日)
- 数学基礎論サマースクール (世話人, 非古典論理, とくに様相論理, 神戸大, 2015年8月18日から21日)
国際会議
- 竹内外史追悼シンポジウム (世話人, 神戸大, 2018年9月18日から20日)
- 10th Asian Logic Conference (Local Organizing Committee, 神戸大, 2008年9月1日から6日)
- 竹内シンポジウム (Local Organizing Committee, 神戸大, 2003年12月17日から19日)
著書
- 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠,
"数学における証明と真理：様相論理と数学基礎論", 304ページ, 共立出版, 2016.
- 菊池誠,
"不完全性定理", 368ページ, 共立出版, 2014.
(正誤表 2014/11/9更新，情報を提供して下さった皆様に深く感謝します．)
- 田中一之, 鹿島亮, 角田法也, 菊池誠,
"数学基礎論講義", 218ページ, 日本評論社, 1997.
最近の論文
- Hamkins, J.D. and Kikuchi, M., "The Inclusion Relations of the Countable Models of Set Theory are All Isomorphic", submitted.
- Kikuchi, M. and Kurahashi, T., "Generalizations of Goedel's Incompleteness Theorems for Sigma_n-Definable Theories of Arithmetic", Review in Symbolic Logic, 10 (4), 603-616, 2017.
- Kikuchi, M. and Kurahashi, T., "Universal Rosser Predicates", Journal of Symbolic Logic, 82 (1), 292-302, 2017.
- Kikuchi, M. and Kurahashi, T., "Illusory Models of Peano Arithmetic", Journal of Symbolic Logic, 81 (3), 1163-1175, 2016.
- Hamkins, J.D. and Kikuchi, M., "Set-Theoretic Mereology", Logic and Logical Philosophy, 25 (3), 285-308, 2016.
- Kikuchi, M. and Kurahashi, T.,
"Liar-Type Paradoxes and the Incompleteness Phenomena", Journal of Philosophical Logic, 45 (4), 381-391, 2016.
- 菊池誠, "証明概念の形式化と量化子の解釈", 科学哲学, 48 (2), 33-48, 2015.
解説等
- 菊池誠, "ヒルベルトの第10問題", 数学セミナー, 2017年10月号.
- 菊池誠, "ルベーグ非可測集合の存在とバナッハ-タルスキの逆理", 数学セミナー, 2016年10月号.
- 菊池誠, "不完全性定理：形式化された数学の限界と可能性", 日本数学会2015年度秋季総合分科会, 企画特別講演, 2015年9月.
- 菊池誠, "実数の連続性がわからない", 数学セミナー, 2015年6月号.
- 菊池誠,
"
書評 竹内外史：証明論と計算量, 裳華房, 1995年, 205ページ", 数学, 50 (3), 327-328, 1998.
- 菊池誠, "自然数", 数学セミナー, 1996年4月号.
その他
- 菊池誠,
"
数学と哲学における学術情報流通", 情報の科学と技術, 63 (11), 485-463, 2013.
- 菊池誠,
"
学会の役割を考える: 科学基礎論学会の学術誌刊行に関する議論を通して", 情報管理, 55 (12), 874-881, 2012.
所属学会
情報数理グループ