| 翻訳と辞書 |
レオン・ヘンキン
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。
レオン・ヘンキン
レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。
== 完全性の証明 ==
ゲーデルが1929年に初めて述語論理の完全性を証明したが（→ゲーデルの完全性定理）、ヘンキンは1949年にもっと簡潔な方法を発表した。この方法は初等クラスや入門書ではスタンダードな方法になっている。ヘンキンはもともとチャーチの高階述語論理の完全性を証明したが、同じ方法が述語論理にも応用できることに気づいた。
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「レオン・ヘンキン」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|