Alfred Tarski

(redirected from Tarsky)
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

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.
The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.
Mentioned in ?
References in periodicals archive ?
Whilst Russell's paradox could be avoided by imposing a hierarchical structure to the space of logical possibilities, no ad hoc solution could outflank Godel's and Tarsky's theorems.
Sue Tarsky, publisher of children's books, BBC Worldwide, said: "The six finalists' submissions stood out in the midst of stiff competition.