Alfred Tarski
Alfred Tarski · Tecnología e ingeniería
Tarski fue uno de los mayores lógicos del siglo XX; formuló la definición formal moderna de la verdad en su teoría semántica y realizó trabajos fundacionales sobre decidibilidad, teoría de modelos y teoría de conjuntos.
1901, Varsovia, Polonia (entonces Imperio ruso) — 1983, Berkeley, California, Estados Unidos
Polonia · Estados Unidos
Tarski fue uno de los mayores lógicos del siglo XX; formuló la definición formal moderna de la verdad en su teoría semántica y realizó trabajos fundacionales sobre decidibilidad, teoría de modelos y teoría de conjuntos. Nació como Alfred Teitelbaum en una familia judía polaca y, aunque se convirtió al catolicismo de joven, siguió siendo de origen judío y perdió familiares en el Holocausto. Emigró a Estados Unidos en 1939 y fundó la influyente escuela de lógica de Berkeley.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jews in Computer Science
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.
Tarski fue uno de los mayores lógicos del siglo XX; formuló la definición formal moderna de la verdad en su teoría semántica y realizó trabajos fundacionales sobre decidibilidad, teoría de modelos y teoría de conjuntos.
Fuente: Jinfo.org — Jews in Computer Science
Contribuidores similares
Frank Proschan
Laurence Wolsey
Martin Reiman
Ronald Fagin
Abraham Wald
