他の分科の始まりとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 他の分科の始まりの意味・解説 

他の分科の始まり

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/12 02:07 UTC 版)

数理論理学」の記事における「他の分科の始まり」の解説

アルフレッド・タルスキモデル理論基礎発展させた。 1935年初頭著名な数学者らは網羅的な数学教科書シリーズ出版するためにニコラ・ブルバキというペンネーム集結した。これらの教科書禁欲的かつ公理的記述されており、厳格な記述集合論的な基礎強調した。これらの教科書から生まれた用語、例え全単射単射全射や、教科書採用され集合論的な基礎は、広く数学採用された。 計算可能性研究再帰理論として知られるようになった。これはゲーデルクリーネによる計算可能性初期定式化関数再帰的定義基づいていたことによる。 それらの定義がチューリングによるチューリング機械用いた定式化同値であることが示されたことで、計算可能関数という新し概念見出され、またこの定義が多数独立特徴付けを許すようなロバスト性を持つことが明らかになった。1931年不完全性定理に関するゲーデル仕事において、彼は実効的な形式的体系厳格な概念規定)を欠いていた。彼は計算可能性新しい定義不完全性定理設定一般化使えることに気付いた再帰理論における多く結果1940年代スティーヴン・コール・クリーネエミール・ポストによって得られた。クリーネ1943)は相対的計算可能性算術的階層概念導入した前者チューリング1939)で暗示されいたものである。クリーネは後に再帰理論高階汎関数一般化したクリーネクライゼル形式的な直観主義数学、とくに再帰理論文脈でのそれを研究した

※この「他の分科の始まり」の解説は、「数理論理学」の解説の一部です。
「他の分科の始まり」を含む「数理論理学」の記事については、「数理論理学」の概要を参照ください。

ウィキペディア小見出し辞書の「他の分科の始まり」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「他の分科の始まり」の関連用語

他の分科の始まりのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



他の分科の始まりのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの数理論理学 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS