Alfred Tarski
Life
In Warsaw in 1933, 32-year-old Tarski published Pojęcie prawdy w językach nauk dedukcyjnych. He showed how to construct recursive truth definitions for specified formal languages in a stronger metalanguage. Convention T is not the definition itself but a material-adequacy condition that a satisfactory definition must meet; “Snow is white” is true iff snow is white is one T-sentence instance. The Polish original appeared in 1933, an expanded German version in 1935, and the English translation of that work in 1956. The 1944 article The Semantic Conception of Truth and the Foundations of Semantics is a separate publication. Tarski came to the United States in 1939 to attend a Unity of Science congress and could not return after the invasion of Poland. He joined UC Berkeley in 1942 and helped build a major research community in logic and model theory.
Decisive moments
Banach-Tarski paradox — a volume-breaking decomposition
WarsawWith Stefan Banach — a 3D ball can be decomposed into 5 pieces and reassembled into two balls of the original size. Uses the axiom of choice and a free subgroup of the 3D rotation group. The strongest demonstration of non-measurable sets — the start of the philosophical burden of axiom selection.
Truth definitions for formal languages — the adequacy condition of Convention T
WarsawPojęcie prawdy w językach nauk dedukcyjnych constructs recursive truth definitions for specified formal languages in a stronger metalanguage. Convention T is an adequacy condition, not the definition itself; the snow biconditional is one instance. Polish original 1933, expanded German version 1935, English translation 1956. The 1944 article is a separate work.
Joining UC Berkeley — building a logic research community
BerkeleyTarski came to the United States for a Unity of Science congress in 1939 and could not return after the invasion of Poland. He joined Berkeley in 1942, led research in logic and model theory, and established the Group in Logic and the Methodology of Science in 1958.
If this person hadn't existed
This is a thought experiment about influence, not a verified historical fact.
Tarski's work on truth definitions and semantics became a core tool of modern logic and model theory. The Banach–Tarski paradox (1924) made the counterintuitive reach of the axiom of choice vivid. After coming to the United States for a Unity of Science congress in 1939 and being unable to return to Poland, he built a Berkeley research community that became an important postwar center of mathematical logic.
Beyond MathVoyage
Loading…