JH
Технологии и инженерия

Joseph Halpern

Поделиться
Кто

Joseph Halpern · Технологии и инженерия

Что

Израильско-американский специалист по информатике, работавший в IBM, а затем в Корнелле, Гальперн разработал строгие логики для рассуждения о знании в распределённых системах и о неопределённости и причинности, соединив информатику, экономику и философию.

Когда

1953, Israel — 2026, United States

Где

United States

Биография

Израильско-американский специалист по информатике, работавший в IBM, а затем в Корнелле, Гальперн разработал строгие логики для рассуждения о знании в распределённых системах и о неопределённости и причинности, соединив информатику, экономику и философию. В 1997 году он разделил премию Гёделя; он из еврейской семьи.

Источники и внешние ссылки

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jewish recipients of the Gödel Prize

Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.

Достижения и источники

Израильско-американский специалист по информатике, работавший в IBM, а затем в Корнелле, Гальперн разработал строгие логики для рассуждения о знании в распределённых системах и о неопределённости и причинности, соединив информатику, экономику и философию.

1997

Источник: Jinfo.org — Jewish recipients of the Gödel Prize