Хаим Гайфман | |
---|---|
Рожденный | (1934-09-26)26 сентября 1934 г. |
Альма-матер | Калифорнийский университет, Еврейский университет в Беркли |
Научная карьера | |
Поля | Логика , теория вероятностей , философия языка |
Учреждения | Колумбийский университет Еврейский университет |
научный руководитель | Альфред Тарский |
Докторанты | Арнон Аврон |
Хаим Гайфман (родился в 1934 году) — логик, теоретик вероятности и философ языка, профессор философии в Колумбийском университете .
В 1958 году он получил степень магистра наук в Еврейском университете . Затем в 1962 году он получил степень доктора философии в Калифорнийском университете в Беркли под руководством Альфреда Тарского по теме бесконечных булевых алгебр . [1] С тех пор он занимал различные постоянные и временные должности на кафедрах математики, философии и компьютерных наук. Будучи профессором математики в Еврейском университете, он преподавал курсы философии и руководил программой по истории и философии науки.
Гайфман работает в области математической логики и разработал итеративный метод сверхмощности в теории множеств и моделях арифметики Пеано . Кроме того, у него есть результаты в области основ вероятности, определения вероятностей на языках первого порядка и более богатых языках. Он также работал в области философии языка , философии математики и теоретической информатики . [2]