Joseph Halpern
Joseph Halpern · Technologia i inżynieria
Izraelsko-amerykański informatyk w IBM, a następnie w Cornell, Halpern opracował rygorystyczne logiki do rozumowania o wiedzy w układach rozproszonych oraz o niepewności i przyczynowości, łącząc informatykę, ekonomię i filozofię.
1953, Israel — 2026, United States
United States
Izraelsko-amerykański informatyk w IBM, a następnie w Cornell, Halpern opracował rygorystyczne logiki do rozumowania o wiedzy w układach rozproszonych oraz o niepewności i przyczynowości, łącząc informatykę, ekonomię i filozofię. W 1997 roku podzielił się Nagrodą Gödla, a pochodzi z rodziny żydowskiej.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Izraelsko-amerykański informatyk w IBM, a następnie w Cornell, Halpern opracował rygorystyczne logiki do rozumowania o wiedzy w układach rozproszonych oraz o niepewności i przyczynowości, łącząc informatykę, ekonomię i filozofię.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Podobni twórcy
Yoram Moses
Alon Itai
Baruch Awerbuch
Moshe Vardi
Noam Nisan
