Tarski, Alfred

Tarski, Alfred

(tär`skē), 1901–83, Polish-American mathematician and philosopher, Ph.D. Univ. of Warsaw, 1924, b. Alfred Teitelbaum, changed his named 1923. He lectured at Warsaw until 1939, emigrated to the United States, and then taught at the Univ. of California, Berkeley (1942–68, emeritus until his death). Tarski made extensive, basic contributions to the field of metamathematics, a branch of mathematical logic. His most important contribution to logic is the semantic method, a method that allows a more exacting study of formal scientific languages. His work is characterized by a basic acceptance and free use of the assumptions of set theory. For this reason he is regarded by some as a nominalist. His publications include A Decision Method for Elementary Algebra and Geometry (1948, rev. ed. 1957) and Undecidable Theories (with others, 1953; repr. 1968).

Tarski, Alfred

 

Born Jan. 14, 1902, in Warsaw. Polish logician and mathematician.

Tarski emigrated to the USA in 1939. He has done important work in set theory, the theory of Boolean algebras, logics with formulas of infinite length, and other branches of mathematical logic and the foundations of mathematics. He has made basic contributions to model theory, logical semantics, metalogic, and the methodology of deductive sciences.

WORKS

Undecidable Theories. New York, 1954. (With others.)
Logic, Semantics, Metamathematics. Oxford, 1956.
In Russian translation:
Vvedenie v logiku imetodologiiu deduktivnykh nauk. Moscow, 1948.

Tarski, Alfred

(1901–83) mathematical logician; born in Warsaw, Poland. Fleeing Nazism, he eventually settled at the University of California: Berkeley (1942) where he was an inspiring teacher. A member of the National Academy of Science, he discovered interconnections between logic, algebra, set theory, and measure theory. He also brought clarity to the semantics of mathematical logic, legitimizing semantic concepts such as truth and definability with his work on definitions of truth in formalized languages (1933–35). He was known especially for the mathematicians he influenced as a professor.
Mentioned in ?
References in periodicals archive ?
Tarski, Alfred. "La concepcion semantica de la verdad".
TARSKI, Alfred (1944): La concepcion semantica de la verdad y los fundamentos de la semantica.
Tarski, Alfred, 1936, "On the Concept of Logical Consequence", en Alfred Tarski, 1956, Logics, Semantics, Metamathematics, Clarendon Press, Oxford, pp.
Tarski, Alfred y Steven Givant, 1987, A Formalization of Set Theory without Variables, American Mathematical Society, Providence.
Tarski, Alfred. "The Semantic Conception of Truth and the Foundations of Semantics." The Philosophy of Language.
For an authoritative brief account of Tarski's work, see Andrzej Mostowski, "Tarski, Alfred," in Paul Edwards, ed., The Encyclopedia of Philosophy, Vol.
Tarski, Alfred. "The concept of truth in formalized languages".