Tarski's High School Algebra Problem - Statement of The Problem

Statement of The Problem

Tarski considered the following eleven axioms about addition ('+'), multiplication ('·'), and exponentiation to be standard axioms taught in high school:

  1. x + y = y + x
  2. (x + y) + z = x + (y + z)
  3. x · 1 = x
  4. x · y = y · x
  5. (x · y) · z = x · (y · z)
  6. x · (y + z) = x · y + x ·z
  7. 1x = 1
  8. x1 = x
  9. xy + z = xy · xz
  10. (x · y)z = xz · yz
  11. (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, statement and/or problem:

    “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)

    “Truth is used to vitalize a statement rather than devitalize it. Truth implies more than a simple statement of fact. “I don’t have any whisky,” may be a fact but it is not a truth.”
    —William Burroughs (b. 1914)

    “The disesteem into which moralists have fallen is due at bottom to their failure to see that in an age like this one the function of the moralist is not to exhort men to be good but to elucidate what the good is. The problem of sanctions is secondary.”
    —Walter Lippmann (1889–1974)