Leon A. Henkin(1921 Apr. 19 - 2006 Nov. 01) has died.
一階述語論理の完全性証明でのHenkin Constructionがたぶん一番有名で、UC Berkeleyで多くの論理学者を育てたヘンキンが亡くなったそうです。というより、まだ生きてたのかという印象。
一階述語論理の完全性証明でのHenkin Constructionがたぶん一番有名で、UC Berkeleyで多くの論理学者を育てたヘンキンが亡くなったそうです。というより、まだ生きてたのかという印象。