Joseph Halpern
Joseph Halpern · Технологии и инженерия
Израильско-американский специалист по информатике, работавший в IBM, а затем в Корнелле, Гальперн разработал строгие логики для рассуждения о знании в распределённых системах и о неопределённости и причинности, соединив информатику, экономику и философию.
1953, Israel — 2026, United States
United States
Израильско-американский специалист по информатике, работавший в IBM, а затем в Корнелле, Гальперн разработал строгие логики для рассуждения о знании в распределённых системах и о неопределённости и причинности, соединив информатику, экономику и философию. В 1997 году он разделил премию Гёделя; он из еврейской семьи.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Израильско-американский специалист по информатике, работавший в IBM, а затем в Корнелле, Гальперн разработал строгие логики для рассуждения о знании в распределённых системах и о неопределённости и причинности, соединив информатику, экономику и философию.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize