Loading AI tools
American logician (born 1934) From Wikipedia, the free encyclopedia
Haim Gaifman (born 1934) is a logician, probability theorist, and philosopher of language who is professor of philosophy at Columbia University.
![]() |
Haim Gaifman | |
---|---|
Born | 1934 (age 89–90) |
Alma mater | University of California, Berkeley Hebrew University |
Scientific career | |
Fields | Logic, probability theory, philosophy of language |
Institutions | Columbia University Hebrew University |
Doctoral advisor | Alfred Tarski |
Doctoral students | Arnon Avron |
In 1958 he received his M.Sc. at Hebrew 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. Further, he has results in the foundations of probability, defining probabilities on first-order and on richer languages. He has also worked in philosophy of language, philosophy of mathematics, and theoretical computer science.[2]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.