コトバンクはYahoo!辞書と技術提携しています。

竹内外史 たけうち がいし

1件 の用語解説(竹内外史の意味・用語解説を検索)

デジタル版 日本人名大辞典+Plusの解説

竹内外史 たけうち-がいし

1926- 昭和後期-平成時代の数学者。
大正15年1月25日生まれ。昭和37年東京教育大教授,41年アメリカイリノイ大教授となる。解析学の基礎付けなど,数学基礎論の研究で世界的に知られる。57年朝日賞。石川県出身。東京帝大卒。著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」など。

出典|講談社 この辞書の凡例を見る
(C)Kodansha 2015.
書籍版「講談社 日本人名大辞典」をベースに、項目の追加・修正を加えたデジタルコンテンツです。この内容は2015年9月に更新作業を行った時点での情報です。時間の経過に伴い内容が異なっている場合がございます。

世界大百科事典内の竹内外史の言及

【形式主義】より

…しかし,K.ゲーデルによって,1931年,算術以上の数学的内容をもった形式的体系がもし無矛盾ならば,その無矛盾性の証明はその体系の中で形式化されうるようなしかたによっては証明できない(不完全性定理)ことが示され,ヒルベルトの計画の遂行は至難なことがわかった。有限の立場を発展させることによって,36年ゲンツェンG.Gentzen(1909‐45)は算術(純粋数論)の無矛盾性を,67年竹内外史は広範な内容を有する解析学の部分体系の無矛盾性を達成した。【柘植 利之】。…

【数学基礎論】より

… 本質的に算術を超える内容をもつ実数論ないしは解析学となると,不可避的に集合概念を含むためその無矛盾性の証明は極度に困難である。竹内外史は,53年にLKを拡張して高階の述語論理をゲンツェン・タイプで形式化(GLCと呼ばれる)し,GLCに対してもゲンツェンの基本定理と同様な定理が成り立つという予想(基本予想と呼ばれる)を立て,基本予想が有限的構成的しかたで証明できれば,解析学の無矛盾性は一挙に解決されることを示した。竹内は基本予想の部分的解決を重ねるとともに,その補助手段として構成的順序数の一種であるオーディナル・ダイヤグラムordinal diagramなる概念を導入,その理論の発展と整備補強に努め,広範な内容をもつ解析学の部分体系の無矛盾性を証明した。…

※「竹内外史」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

竹内外史の関連キーワード森毅飯高茂伊原康隆柏原正樹河合隆裕小松彦三郎鈴木通夫一松信藤田宏村田全

今日のキーワード

大寒

二十四節気の一つ。元来,太陰太陽暦の 12月中 (12月後半) のことで,太陽の黄経が 300°に達した日 (太陽暦の1月 20日か 21日) から立春 (2月4日か5日) の前日までの約 15日間で...

続きを読む

コトバンク for iPhone