レオン・ヘンキン

From Wikipedia, the free encyclopedia

レオン・ヘンキン

レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。

ゲーデルが1929年に初めて述語論理の完全性を証明したが（→ゲーデルの完全性定理）、ヘンキンは1949年にもっと簡潔な方法を発表した。この方法は初等クラスや入門書ではスタンダードな方法になっている。ヘンキンはもともとチャーチの高階述語論理の完全性を証明したが、同じ方法が述語論理にも応用できることに気づいた。

生涯

参考文献

外部リンク

Related Articles

Wikiwand AI