スタンフォード、アムステルダム、プリンストン 1963–1972
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/07 21:50 UTC 版)
「デイナ・スコット」の記事における「スタンフォード、アムステルダム、プリンストン 1963–1972」の解説
ロバート・ソロヴェイ（英語版）の初期の観測に続き、ソロヴェイやペトル・ヴォピェンカとほぼ同時期にスコットはブール値モデル（英語版）の概念を定式化した。1967年の論文 A Proof of the Independence of the Continuum Hypothesis で、ブール値モデルを使い、ポール・コーエンが連続体仮説の独立性を証明したのとは別の証明を与えた。この業績により1972年にスティール賞を受賞している。
※この「スタンフォード、アムステルダム、プリンストン 1963–1972」の解説は、「デイナ・スコット」の解説の一部です。
「スタンフォード、アムステルダム、プリンストン 1963–1972」を含む「デイナ・スコット」の記事については、「デイナ・スコット」の概要を参照ください。
ウィキペディア小見出し辞書の「スタンフォード、アムステルダム、プリンストン 1963–1972」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- スタンフォード、アムステルダム、プリンストン 1963–1972のページへのリンク
