- The Banach–
Tarski paradox is a
theorem in set-theoretic geometry,
which states the following:
Given a
solid ball in three-dimensional space,
there exists...
-
Alfred Tarski (/
ˈtɑːrski/, born
Alfred Teitelbaum;
January 14, 1901 –
October 26, 1983) was a Polish-American
logician and mathematician. A
prolific author...
- may
refer to:
Tarsky District, a
district of Omsk Oblast,
Russia Alfred Tarski (1901–1983),
Polish logician and
mathematician Tarsky (rural locality),...
-
Tarski's undefinability theorem,
stated and
proved by
Alfred Tarski in 1933, is an
important limitative result in
mathematical logic, the foundations...
-
Tarski's axioms are an
axiom system for
Euclidean geometry,
specifically for that
portion of
Euclidean geometry that is
formulable in first-order logic...
- In
mathematical logic, the Lindenbaum–
Tarski algebra (or
Lindenbaum algebra) of a
logical theory T
consists of the
equivalence classes of
sentences of...
- the area of
modern algebra known as
group theory, a
Tarski monster group,
named for
Alfred Tarski, is an
infinite group G, such that
every proper subgroup...
-
Tarski's World is a computer-based
introduction to first-order
logic written by Jon
Barwise and John Etchemendy. It is
named after the
mathematical logician...
-
Tarski's circle-squaring
problem is the challenge,
posed by
Alfred Tarski in 1925, to take a disc in the plane, cut it into
finitely many pieces, and...
- The
Alfred Tarski Lectures are an
annual distinction in
mathematical logic and
series of
lectures held at the
University of California, Berkeley. Established...