文献

J-GLOBAL ID：201902233248135277   整理番号：19A1932752

ヒルベルト ヒルベルトのプログラムから逆数学へ

著者 (1件)： 田中一之 (東北大 大学院理学研究科)
資料名： 数理科学  (Mathematical Sciences)
巻： 57  号： 9  ページ： 16-22  発行年： 2019年09月01日 
JST資料番号： F0930A  ISSN： 0386-2240  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・Goedelの不完全性定理の位置づけ。
・Hilbert等の第2不完全性定理の証明に基づく数学基礎論の誕生。
・Hilbertの23個の問題の概説。
・数理論理学の中心的問題としての決定問題。
・Friedman等の逆数学の説明。

シソーラス用語： *数学 ,  *証明 ,  命題 ,  不整 ,  定理 ,  決定問題 ,  量化記号 ,  オートマトン理論
準シソーラス用語： 逆数学 ,  不完全性定理 ,  *数学基礎論 ,  無矛盾性 ,  数理論理学 ,  帰納法

分類 (2件)： 数理物理学  (BA03000W) ,  数学一般  (AB01000K)

タイトルに関連する用語 (1件)： 数学