JH
Tecnología e ingeniería

Joseph Halpern

Compartir
Quién

Joseph Halpern · Tecnología e ingeniería

Qué

Informático israelí-estadounidense en IBM y luego en Cornell, Halpern desarrolló lógicas rigurosas para razonar sobre el conocimiento en sistemas distribuidos y sobre la incertidumbre y la causalidad, tendiendo puentes entre la informática, la economía y la filosofía.

Cuándo

1953, Israel — 2026, Estados Unidos

Dónde

Estados Unidos

Premios y distinciones
Biografía

Informático israelí-estadounidense en IBM y luego en Cornell, Halpern desarrolló lógicas rigurosas para razonar sobre el conocimiento en sistemas distribuidos y sobre la incertidumbre y la causalidad, tendiendo puentes entre la informática, la economía y la filosofía. Compartió el Premio Gödel de 1997 y provenía de una familia judía.

Fuentes y enlaces externos

Verifique y profundice con estas referencias externas.

Fuente: Jinfo.org — Jewish recipients of the Gödel Prize

Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.

Contribuciones y fuentes

Informático israelí-estadounidense en IBM y luego en Cornell, Halpern desarrolló lógicas rigurosas para razonar sobre el conocimiento en sistemas distribuidos y sobre la incertidumbre y la causalidad, tendiendo puentes entre la informática, la economía y la filosofía.

1997

Fuente: Jinfo.org — Jewish recipients of the Gödel Prize