Haim Gaifman (nacido en 1934) es un lógico, teórico de la probabilidad y filósofo del lenguaje, profesor de filosofía en la Universidad de Columbia .
En 1958 recibió su M.Sc. en la Universidad Hebrea . Luego, en 1962, recibió su doctorado. en la Universidad de California, Berkeley, con Alfred Tarski, sobre el tema de las álgebras booleanas infinitas . [1] Desde entonces, ha ocupado varios puestos permanentes y visitantes en departamentos de matemáticas, filosofía e informática. Mientras fue profesor de matemáticas en la Universidad Hebrea, impartió cursos de filosofía y dirigió el programa de Historia y Filosofía de la Ciencia.
Gaifman trabaja en lógica matemática y desarrolló la técnica de ultrapotencia iterada en teoría de conjuntos y modelos de aritmética de Peano . Además, tiene resultados sobre los fundamentos de la probabilidad, definiendo probabilidades en lenguajes de primer orden y más ricos. También ha trabajado en filosofía del lenguaje , filosofía de las matemáticas e informática teórica . [2]