ハイム・ガイフマン

ハイム・ガイフマン（1934年生まれ）は、論理学者、確率論者、言語哲学者であり、コロンビア大学の哲学教授です。

1958年にヘブライ大学で理学修士号を取得。その後1962年にカリフォルニア大学バークレー校でアルフレッド・タルスキの指導の下、無限ブール代数をテーマに博士号を取得。^[1]以来、数学、哲学、コンピュータサイエンスの各学部で常勤および客員の職を歴任。ヘブライ大学で数学教授を務めていた間、哲学のコースを教え、科学史と科学哲学のプログラムを指導した。

ガイフマンは数理論理学を研究し、集合論における反復超べき法とペアノ算術のモデルを開発した。さらに、確率の基礎、一階およびより豊富な言語における確率の定義において成果を上げている。また、言語哲学、数学哲学、理論計算機科学の分野でも研究を行っている。^[2]

• ハイム・ガイフマンの作品
• ハイム・ガイフマンの個人ホームページ