大学時代と計算可能性についての研究とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 大学時代と計算可能性についての研究の意味・解説 

大学時代と計算可能性についての研究

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/05 04:54 UTC 版)

アラン・チューリング」の記事における「大学時代と計算可能性についての研究」の解説

ケンブリッジ大学キングス・カレッジ進学した1931年から1934年まで学生として学び数学優秀な成績修めて卒業した1935年に、中心極限定理証明した論文認められキングス・カレッジフェロー特別研究員)に選ばれた。ただし、中心極限定理1922年J・W・リンデベルグ(英語版)が証明済みだったが、チューリングその業績知らなかった1928年ドイツ数学者ダフィット・ヒルベルトは、「決定問題」への注目呼びかけた。チューリングは、重要な論文 "On Computable Numbers, with an Application to the Entscheidungsproblem"(「計算可能数ならびにそのヒルベルト決定問題への応用」、1936年5月28日提出11月12日配布)で、この問題解決重要な役割果たした。 この論文重要な点を、現代数学および数学基礎論およびコンピュータ科学視点からまとめると次のうになる。(1)「チューリングマシン」という計算モデル提示し19世紀以前数学では数理論理視点からすると自然言語記述されるなど曖昧な点があったアルゴリズム形式的に表現する手法(のひとつ)を確立し、「何らかのチューリングマシン計算可能な関数計算可能関数とする」という計算可能性理論における重要なテーゼであるチャーチ=チューリングのテーゼ示したチャーチ業績とは独立であり、チューリングのほうがよりわかりやすく直感的であった。人によってはチューリングチャーチのテーゼ、の順とすることもある)。(2)どんなチューリングマシン動作をも、現代言葉言えば「エミュレート」できる、「万能チューリングマシン」が可能であることを証明しその構成法を示した。(注意: この(1)と(2)が表現していることを曖昧に理解しないように注意すること。「テーゼ」は証明ではない(証明できるような性質のものではない)。しばしば、万能チューリングマシンによりあらゆる計算が可能であることを証明した、というような誤解見受けられる。)(3)万能チューリングマシン」の概念利用して停止性問題否定的に証明した(これはゲーデルの不完全性定理同等結果とも言えるのである詳細停止性問題記事参照)。 1936年9月から1938年7月にかけて、プリンストン高等研究所においてアロンゾ・チャーチ前述の「チャーチ=チューリングのテーゼ」のチャーチである)に師事した1938年プリンストン博士号得た博士論文では、数の広がり正の整数負数無理数虚数)とその公理体系進化に関して、それらすべてを包含する順序数」という概念体系整理しようとしたその中でチューリング還元概念提案している。純粋数学とは別に暗号理論もここで学び電気機械乗算器試作している。また、この時期ジョン・フォン・ノイマン同じくプリンストンにおり、二人親交があったと言われている。ノイマンは、チューリングアメリカに残ることを勧めたという。 1939年ケンブリッジに戻ると、ウィトゲンシュタインとの講義参加した。そこでは、ウィトゲンシュタインが「数学絶対的真実発見するではなく発明している」という立場取ったに対してチューリング形式主義擁護する立場取った

※この「大学時代と計算可能性についての研究」の解説は、「アラン・チューリング」の解説の一部です。
「大学時代と計算可能性についての研究」を含む「アラン・チューリング」の記事については、「アラン・チューリング」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「大学時代と計算可能性についての研究」の関連用語

大学時代と計算可能性についての研究のお隣キーワード
検索ランキング

   

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



大学時代と計算可能性についての研究のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS