한
A likeness-informed AI editorial scene of Tarski separating a lower language of colored shapes from an upper classifier while comparing a distinct sphere-decomposition project with Banach at the side
AI editorial interpretation

Separating sentences in a language from the level that defines truth for it

The face uses a public photograph. The two-level theatre metaphorically joins the Warsaw truth definitions with the Berkeley community; it is not a final truth machine for unrestricted natural language. Convention T is an adequacy condition rather than the whole definition, and sphere decomposition remains a distinct joint project with Banach.

MathVoyage editorial direction · OpenAI image generation · historical photograph identity reference · generated-text correction · 2026-08-07

Remember the mind, not only the dates

Alfred Tarski

AD 1901 - AD 1983
Thinking ground · Berkeley
Born · Warsaw
Modern EraA colored-shape stage for the object languageA stronger metalanguage balconySphere decomposition kept distinct with Banach

Enter through one scene

AD 1924

Banach-Tarski paradox — a volume-breaking decomposition

With 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.

Questions this person helps open

Concept ports to revisit, not another achievement list

These are reverse projections of existing editorial routes, not claims of direct influence or sole invention.

No concept port has yet been reviewed for this person.

Browse every concept route

PROFILE 02 · DEEP VOYAGE

How Alfred Tarski’s ideas moved

Instead of memorizing more dates, follow the world that shaped this mind, the scenes that changed its direction, and the questions carried onward.

CHAPTER 01 · PERSON AND PERIOD

What questions surrounded Alfred Tarski?

Before the finished achievement, read what this person treated as a problem and where the surviving evidence reaches its limit.

About 1 min read

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.

CHAPTER 02 · TURNING SCENES

3 turning scenes

Follow the moments when the idea moved one step further. Every scene continues through an evidenced place or an honestly labelled time context.

  1. Scene 1 / 3

    AD 1924Warsaw

    Banach-Tarski paradox — a volume-breaking decomposition

    With 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.

    Continue from this scene's place

  2. Scene 2 / 3

    AD 1933Warsaw

    Truth definitions for formal languages — the adequacy condition of Convention T

    Poję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.

    Continue from this scene's place

  3. Scene 3 / 3

    AD 1942Berkeley

    Joining UC Berkeley — building a logic research community

    Tarski 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.

    Continue from this scene's place

THOUGHT EXPERIMENT · NOT A FACT CLAIM

Erase Alfred Tarski from the map

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

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.