Haim Gaifman

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Haim Gaifman
Born Haim Gaifman
Fields Logic, Probability Theory, Philosophy of Language
Institutions Columbia University
Doctoral advisor Alfred Tarski
Doctoral students Anubav Vasudevan, Arnon Avron, Leo Marcus, Shlomo Vinner

Haim Gaifman is a mathematician and philosopher at Columbia University. He received his Ph.D. under Alfred Tarski (on infinite Boolean algebras). He worked on a spectrum in mathematical logic (mostly set theory and models of Peano arithmetic), foundations of probability, as well as theoretical computer science and the philosophy of language. Before moving to Columbia in 1990, he was professor of mathematics at the Hebrew University of Jerusalem, where he also directed the program in History and Philosophy of Science.

Gaifman's recent work include logical systems that formalize aspects of natural reasoning (pointer logic for solving the semantic paradoxes, contextual logic for handling vagueness and the Sorites paradox), phenomena of self-reference, metaphysical realism, philosophy of logic, philosophy of mathematics, Frege, Russell, and the early Wittgenstein.