A Polish-American mathematician who, along with Aristotle, Friedrich Frege, and Kurt Gödel is considered one of the greatest logicians of all time and certainly the most prolific: his collected works, excluding books, runs to 2500 pages. Tarski made important contributions in many areas of mathematics, including set theory, topology, algebraic logic, and metamathematics. His most important contribution to logic is the semantic method – a technique that allows a more exacting study of formal scientific languages.
