Tarski, Alfred

Tarski, Alfred
(1901/2–1983)
Born and educated in Warsaw, Tarski went to the USA in 1939. He taught at Harvard, and then moved to the university of California at Berkeley in 1942. It was in the 1930s that he began his pioneering work on the concept of truth in formalized languages, culminating in 1933 in the celebrated paper of that name (see also convention T, truth theory ). Together with Abraham Robinson (1918–74) he created the mathematical theory of models . His work on decidable and undecidable axiomatic systems made him a pioneer of computer science, and in the course of his mathematical career he published over 300 papers and books, on topics ranging from set theory to geometry and algebra. Tarski's logical work is well seen in A Decision Method for Elementary Algebra and Geometry (1948), and for philosophers he is best represented in the collection Logic, Semantics, and Metamathematics (1956).

Philosophy dictionary. . 2011.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • TARSKI, ALFRED — (1902–1983), mathematical logician and founder of logical semantics. Born Teitelbaum in Warsaw, Poland, he studied logic at Warsaw University, a course disrupted by the events of World War I. In 1923 he changed his name to Tarski and became a… …   Encyclopedia of Judaism

  • Tarski , Alfred — (1902–1983) Polish–American mathematician and logician Tarski served as a professor at the university in his native city of Warsaw (1925–39). In 1942 he joined the staff at the University of California and became professor there in 1949 and… …   Scientists

  • Tarski, Alfred — ▪ American mathematician and logician born Jan. 14, 1902, Warsaw, Pol., Russian Empire died Oct. 26, 1983, Berkeley, Calif., U.S.       Polish born American mathematician and logician who made important studies of general algebra, measure theory …   Universalium

  • Tarski, Alfred — ► (1902 83) Matemático y filósofo polaco. Destaca por su teoría semántica de la verdad y la doctrina de los niveles de lenguaje y metalenguaje. Autor de Introducción a la lógica y a la metodología de las ciencias deductivas (1951) …   Enciclopedia Universal

  • Tarski — Tarski, Alfred …   Philosophy dictionary

  • Tarski — Tarski, Alfred …   Enciclopedia Universal

  • Alfred Tarski — Alfred Tarski, né le 14 janvier 1902 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie était un logicien et un philosophe polonais …   Wikipédia en Français

  • Tarski — Alfred Tarski Alfred Tarski Alfred Tarski, né le 14 janvier 1902 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie était un logicien et un philosophe …   Wikipédia en Français

  • Alfred Teitelbaum — Alfred Tarski in Berkeley Alfred Tarski bzw. ursprünglich Alfred Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnisch US amerikanischer …   Deutsch Wikipedia

  • Tarski — Alfred Tarski in Berkeley Alfred Tarski bzw. ursprünglich Alfred Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnisch US amerikanischer …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”