Haim Gaifman: Difference between revisions
Ira Leviton (talk | contribs) m Deleted a duplicate 'the'. |
No edit summary |
||
| Line 7: | Line 7: | ||
|alma_mater = {{no wrap|[[University of California, Berkeley]]<br>[[Hebrew University]]}} |
|alma_mater = {{no wrap|[[University of California, Berkeley]]<br>[[Hebrew University]]}} |
||
|doctoral_advisor = [[Alfred Tarski]] |
|doctoral_advisor = [[Alfred Tarski]] |
||
|doctoral_students = Shlomo Vinner, Leo Marcus, Arnon Avron, Liu Yang |
|doctoral_students = Shlomo Vinner, Leo Marcus, [[Arnon Avron]], Liu Yang |
||
}} |
}} |
||
'''Haim Gaifman''' is a logician, probability theorist, and philosopher of language. He works in [[mathematical logic]] and developed the iterated [[Ultraproduct|ultrapower]] technique in [[set theory]] and models of [[Peano arithmetic]]. Further, he has results in the foundations of probability, defining probabilities on [[First-order logic|first-order]] and on richer languages. He has also worked in [[philosophy of language]], [[philosophy of mathematics]], and [[Theoretical computer science|theoretical computer science]].<ref>[http://philosophy.columbia.edu/directories/faculty/haim-gaifman Haim Gaifman], retrieved 2018-04-06</ref> |
'''Haim Gaifman''' is a logician, probability theorist, and philosopher of language. He works in [[mathematical logic]] and developed the iterated [[Ultraproduct|ultrapower]] technique in [[set theory]] and models of [[Peano arithmetic]]. Further, he has results in the foundations of probability, defining probabilities on [[First-order logic|first-order]] and on richer languages. He has also worked in [[philosophy of language]], [[philosophy of mathematics]], and [[Theoretical computer science|theoretical computer science]].<ref>[http://philosophy.columbia.edu/directories/faculty/haim-gaifman Haim Gaifman], retrieved 2018-04-06</ref> |
||
Revision as of 14:47, 19 February 2019
Haim Gaifman | |
|---|---|
| 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 | Shlomo Vinner, Leo Marcus, Arnon Avron, Liu Yang |
Haim Gaifman is a logician, probability theorist, and philosopher of language. He 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.[1]
Early in his studies, he was the research assistant of Rudolf Carnap and worked on the foundations of probability theory. 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.[2] 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 currently holds the position of professor emeritus at Hebrew University and a professorship at Columbia University. His recent interests include foundations of probability, rational choice, philosophy of mathematics, logical systems that formalize aspects of natural reasoning, Frege and theories of naming.
References
- ^ Haim Gaifman, retrieved 2018-04-06
- ^ Haim Gaifman at the Mathematics Genealogy Project
External links
- Works by Haim Gaifman
- Haim Gaifman personal home page
| International | |
|---|---|
| National | |
| Academics | |
| People | |
