Haim Gaifman (Hebrew: חיים גייפמן; born 1934) is a logician, probability theorist, and philosopher of language who is professor of philosophy at Columbia University.
Then in 1962, he received his Ph.D. at University of California, Berkeley under Alfred Tarski on the topic of infinite Boolean algebras.
[1] Since, he has held various permanent and visiting positions in mathematics, philosophy and computer science departments.
While he was professor of mathematics at the Hebrew University, he taught courses in philosophy and directed the program in History and Philosophy of Science.
Gaifman works in mathematical logic and developed the iterated ultrapower technique in set theory and models of Peano arithmetic.