Haim Gaifman

Haim Gaifman (born 1934) is a logician, probability theorist, and philosopher of language who is professor of philosophy at Columbia University.

Haim Gaifman
Alma materUniversity of California, Berkeley
Hebrew University
Scientific career
FieldsLogic, Probability Theory, Philosophy of Language
InstitutionsColumbia University
Hebrew University
Doctoral advisorAlfred Tarski
Doctoral studentsArnon Avron

Education and career

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.

Philosophical work

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]

gollark: Wokerer: modulate some kind of neutrino generation thing, and have a detector on the other end, so you can just send signals straight through the earth.
gollark: Really? That would be better, then.
gollark: I do wonder how well they're actually going to work in practice, though. I heard that each satellite could handle 6Gbps or so of traffic, and there are maybe 500 of them, which means if they roll it out to 100 000 people they'll get an amazing 4MB/s each.
gollark: SpaceX is apparently going to provide its own hardware.
gollark: Starlink transceivers will apparently be too large to conveniently fit in phones.

References
  1. Haim Gaifman at the Mathematics Genealogy Project
  2. Haim Gaifman, retrieved 2018-04-06
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.