Хаим Гайфман

Американский логик (родился в 1934 году)
Хаим Гайфман
Рожденный(1934-09-26)26 сентября 1934 г.
Альма-матерКалифорнийский университет,
Еврейский университет в Беркли
Научная карьера
ПоляЛогика , теория вероятностей , философия языка
УчрежденияКолумбийский университет
Еврейский университет
научный руководительАльфред Тарский
ДокторантыАрнон Аврон

Хаим Гайфман (родился в 1934 году) — логик, теоретик вероятности и философ языка, профессор философии в Колумбийском университете .

Образование и карьера

В 1958 году он получил степень магистра наук в Еврейском университете . Затем в 1962 году он получил степень доктора философии в Калифорнийском университете в Беркли под руководством Альфреда Тарского по теме бесконечных булевых алгебр . [1] С тех пор он занимал различные постоянные и временные должности на кафедрах математики, философии и компьютерных наук. Будучи профессором математики в Еврейском университете, он преподавал курсы философии и руководил программой по истории и философии науки.

Философская работа

Гайфман работает в области математической логики и разработал итеративный метод сверхмощности в теории множеств и моделях арифметики Пеано . Кроме того, у него есть результаты в области основ вероятности, определения вероятностей на языках первого порядка и более богатых языках. Он также работал в области философии языка , философии математики и теоретической информатики . [2]

Ссылки

  1. ^ Хаим Гайфман в проекте «Генеалогия математики»
  2. Хаим Гайфман. Архивировано 01.05.2015 на Wayback Machine , получено 06.04.2018
  • Работы Хаима Гайфмана
  • Персональная домашняя страница Хаима Гайфмана
Retrieved from "https://en.wikipedia.org/w/index.php?title=Haim_Gaifman&oldid=1252054330"