- 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/; Polish: [ˈtarskʲi]; born
Alfred Teitelbaum;
January 14, 1901 –
October 26, 1983) was a Polish-American
logician and mathematician...
-
Tarski's undefinability theorem,
stated and
proved by
Alfred Tarski in 1933, is an
important limitative result in
mathematical logic, the foundations...
- may
refer to:
Tarsky District, a
district of Omsk Oblast,
Russia Alfred Tarski (1901–1983),
Polish logician and
mathematician Tarsky (rural locality),...
-
areas of
order and
lattice theory, the Knaster–
Tarski theorem,
named after Bronisław
Knaster and
Alfred Tarski,
states the following: Let (L, ≤) be a complete...
-
Tarski's theorem may
refer to the
following theorems of
Alfred Tarski:
Tarski's theorem about choice Tarski's undefinability theorem Tarski's theorem...
- 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...
- In com****bility
theory and
mathematical logic the
Tarski–Kuratowski
algorithm is a non-deterministic
algorithm that
produces an
upper bound for the complexity...
-
deflationary conceptions, is due to work by
Polish logician Alfred Tarski.
Tarski, in "On the
Concept of
Truth in
Formal Languages" (1935), attempted...
