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)
“One is apt to be discouraged by the frequency with which Mr. Hardy has persuaded himself that a macabre subject is a poem in itself; that, if there be enough of death and the tomb in one’s theme, it needs no translation into art, the bold statement of it being sufficient.”
—Rebecca West (1892–1983)
“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 thinking person has the strange characteristic to like to create a fantasy in the place of the unsolved problem, a fantasy that stays with the person even when the problem has been solved and truth made its appearance.”
—Johann Wolfgang Von Goethe (1749–1832)