Kleene,S.C.(英語表記)KleeneSC

世界大百科事典内のKleene,S.C.の言及

【数学基礎論】より

…しかし,連続体問題そのもの,すなわち,連続体の濃度は真にいかなるアレフ数であるか,は今日なお未解決であって,マルティンD.Martinの公理の提唱など,より真実を反映する公理の模索や種々の巨大濃度なる概念の研究などZFCの補強に主たる関心がはらわれている。
[リカージョン・セオリー]
 帰納的関数の理論は有限的手法やアルゴリズムについての数学的研究に端を発したもので,エルブランJ.Herbrandの提唱に基づき,ゲーデル,クリーネS.C.Kleeneによって帰納的関数の定義が確立した(1936)。アルゴリズムや実際に計算可能といった概念についてのまったく異なった様式によるいくつかの数学的定義が同時期に提出されたが,それらはいずれも同等な概念であることが証明されたことなど種々の理由によって,〈その値を計算するアルゴリズムを有する関数とは帰納的関数のことであると解しよう〉というチャーチの提唱Church’s thesisとなった。…

※「Kleene,S.C.」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社世界大百科事典 第2版について | 情報

今日のキーワード

多文化主義

マルチ・カルチュラリズムともいう。さまざまな人種,民族,階層がそれぞれの独自性を保ちながら,他者のそれも積極的に容認し共存していこうという考え方,立場。「人種のるつぼ」的な同化主義に対抗する考え方で,...

続きを読む

コトバンク for iPhone

コトバンク for Android