Haim Gaifman

Haim Gaifman (* 1934 ) is an Israeli mathematician, logician and philosopher.

Haim Gaifman received his Master of Science degree from the Hebrew University of Jerusalem in 1958 . There he was a student of Abraham Robinson and Jehoschua Bar-Hillel , who also placed him with Rudolf Carnap at the University of California, Los Angeles . In 1962 he received his doctorate with the dissertation Two Contributions to the Theory of Boolean Algebras under Alfred Tarski at the University of California, Berkeley . He worked as a professor of mathematics at the Hebrew University, where he is now an emeritus .

Gaifman conducts research in the field of mathematical logic and set theory . He introduced the technique of iterated ultra products , worked on models of Peano arithmetic as well as on the fundamentals of probability theory . In finite model theory , the terms Gaifman graph and Gaifman locality as well as Gaifman's theorem are associated with his name. As a philosopher, he is interested in the philosophy of language and the philosophy of mathematics .

Web links