Statement of The Problem
Tarski considered the following eleven axioms about addition ('+'), multiplication ('·'), and exponentiation to be standard axioms taught in high school:
- x + y = y + x
- (x + y) + z = x + (y + z)
- x · 1 = x
- x · y = y · x
- (x · y) · z = x · (y · z)
- x · (y + z) = x · y + x ·z
- 1x = 1
- x1 = x
- xy + z = xy · xz
- (x · y)z = xz · yz
- (xy)z = xy · z.
These eleven axioms, sometimes called the high school identities, are related to the axioms of an exponential ring. Tarski's problem then becomes: are there identities involving only addition, multiplication, and exponentiation, that are true for all positive integers, but that cannot be proved using only the axioms 1–11?
Read more about this topic: Tarski's High School Algebra Problem
Famous quotes containing the words statement of the, statement of, statement and/or problem:
“It is commonplace that a problem stated is well on its way to solution, for statement of the nature of a problem signifies that the underlying quality is being transformed into determinate distinctions of terms and relations or has become an object of articulate thought.”
—John Dewey (1859–1952)
“Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
—Robert Benchley (1889–1945)
“Eloquence must be grounded on the plainest narrative. Afterwards, it may warm itself until it exhales symbols of every kind and color, speaks only through the most poetic forms; but first and last, it must still be at bottom a biblical statement of fact.”
—Ralph Waldo Emerson (1803–1882)
“The problem with marriage is that it ends every night after making love, and it must be rebuilt every morning before breakfast.”
—Gabriel García Márquez (b. 1928)