TARSKI, ALFRED (Alfred Tajtelbaum) (1902-1983)
Nac. en Varsovia, profesó en la Universidad de Varsovia (1926-1939). Trasladado a Estados Unidos en 1939, profesó matemáticas en la Universidad de California (Berkeley) desde 1942 hasta su jubilación en 1973.
Se deben a Tarski numerosos trabajos en matemáticas —teoría numérica, teoría de los conjuntos, álgebra— en la fundamentación de la matemática, en lógica, metalógica y semántica. Especialmente importantes, e influyentes, han sido sus investigaciones metamatemáticas y semánticas, o semántico-formales. El estudio y axiomatización de sistemas formales se han desarrollado grandemente por obra de los trabajos de Tarski.
Entre lógicos y filósofos Tarski es conocido, y ha influido, por su elaboración de la semántica, sus investigaciones sobre las nociones de modelo, decibilidad, definibilidad y verdad. La exposición de ideas de Tarski en estos respectos se encuentra en varios artículos de la
