Haim Gaifman: Difference between revisions
Content deleted Content added
migrating Persondata to Wikidata, please help, see challenges for this article |
No edit summary |
||
| (31 intermediate revisions by 17 users not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|American logician (born 1934)}} |
|||
{{tone|date=July 2015}} |
|||
{{BLP sources|date=February 2020}} |
|||
{{Infobox scientist |
{{Infobox scientist |
||
| ⚫ | |||
| |
|name = Haim Gaifman |
||
| ⚫ | |||
|birth_date = {{birth date|1934|09|26}} |
|||
|name = Haim Gaifman |
|||
|caption = |
|caption = |
||
|fields = [[Logic]], [[ |
|fields = [[Logic]], [[probability theory]], [[philosophy of language]] |
||
|workplaces = [[Columbia University]] |
|workplaces = [[Columbia University]]<br>[[Hebrew University]] |
||
|alma_mater = {{no wrap|[[University of California, Berkeley]]<br>[[Hebrew University]]}} |
|||
|doctoral_advisor = [[Alfred Tarski]] |
|doctoral_advisor = [[Alfred Tarski]] |
||
|doctoral_students = |
|doctoral_students = [[Arnon Avron]] |
||
}} |
}} |
||
'''Haim Gaifman''' (born 1934) is a logician, probability theorist, and philosopher of language who is professor of [[philosophy]] at [[Columbia University]]. |
|||
'''Gaifman''''s first result (obtained when he was a mathematics student) was the equivalence of context-free grammars and categorial grammars. He was [[Rudolf Carnap]]’s research assistant, working on the foundations of probability theory, and got his Ph. D. under [[Alfred Tarski]] (on infinite Boolean algebras). He worked on [[mathematical logic]] (mostly [[set theory]], where he invented the technique of iterated ultrapowers, and models of [[Peano arithmetic]]), foundations of probability (where he defined probabilities on first-order and on richer languages), in [[philosophy of language]] and [[philosophy of mathematics]], as well as in theoretical computer science. He 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. |
|||
==Education and career== |
|||
Gaifman's recent interests include foundations of probability, rational choice, philosophy of mathematics, logical systems that formalize aspects of natural reasoning, Frege and theories of naming. |
|||
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 algebra]]s.<ref>{{MathGenealogy|id=32667}}</ref> 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 [[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]].<ref>[http://philosophy.columbia.edu/directories/faculty/haim-gaifman Haim Gaifman] {{Webarchive|url=https://web.archive.org/web/20150501220228/http://philosophy.columbia.edu/directories/faculty/haim-gaifman |date=2015-05-01 }}, retrieved 2018-04-06</ref> |
|||
==References== |
==References== |
||
{{reflist}} |
|||
==External links== |
|||
*{{MathGenealogy|id=32667}} |
|||
*[http://philosophy.columbia.edu/directories/faculty/haim-gaifman Haim Gaifman] at Columbia |
|||
| ⚫ | |||
*[http://philpapers.org/s/Haim%20Gaifman Works by Haim Gaifman] |
*[http://philpapers.org/s/Haim%20Gaifman Works by Haim Gaifman] |
||
| ⚫ | |||
{{Authority control}} |
{{Authority control}} |
||
{{DEFAULTSORT:Gaifman, Haim}} |
{{DEFAULTSORT:Gaifman, Haim}} |
||
[[Category:Living people]] |
[[Category:Living people]] |
||
[[Category:Columbia University faculty]] |
[[Category:Columbia University faculty]] |
||
[[Category:American logicians]] |
[[Category:American logicians]] |
||
[[Category: |
[[Category:American philosophers of language]] |
||
[[Category:Set theorists]] |
[[Category:Set theorists]] |
||
[[Category:21st-century philosophers]] |
[[Category:21st-century American philosophers]] |
||
[[Category:1934 births]] |
|||
Latest revision as of 15:04, 19 October 2024
 |
Haim Gaifman | |
|---|---|
| Born | September 26, 1934 |
| 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 |
Haim Gaifman (born 1934) is a logician, probability theorist, and philosopher of language who is professor of philosophy at Columbia University.
Education and career
[edit]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
[edit]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]
References
[edit]- ^ Haim Gaifman at the Mathematics Genealogy Project
- ^ Haim Gaifman Archived 2015-05-01 at the Wayback Machine, retrieved 2018-04-06
External links
[edit]- Works by Haim Gaifman
- Haim Gaifman personal home page
| International | |
|---|---|
| National | |
| Academics | |
| People | |
