In mathematical logic, Tarski's high school algebra problem was a question posed by Alfred Tarski. It asks whether there are identities involving addition, multiplication, and exponentiation over the positive integers that cannot be proved using eleven axioms about these operations that are taught in high school-level mathematics. The question was solved in 1980 by Alex Wilkie who showed that such unprovable identities do exist.
Read more about Tarski's High School Algebra Problem: Statement of The Problem, Example of A Provable Identity, History of The Problem, Solution, Generalisations
Famous quotes containing the words high, school, algebra and/or problem:
“I swear by the mighty power of Amon-Ra, whose anger can shatter the world, and by the dread power of Set, that I will never betray my trust as High Priest of Karnak.”
—Griffin Jay, Maxwell Shane (1905–1983)
“I’m tired of playing worn-out depressing ladies in frayed bathrobes. I’m going to get a new hairdo and look terrific and go back to school and even if nobody notices, I’m going to be the most self-fulfilled lady on the block.”
—Joanne Woodward (b. 1930)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)
“The problem is simply this: no one can feel like CEO of his or her life in the presence of the people who toilet trained her and spanked him when he was naughty. We may have become Masters of the Universe, accustomed to giving life and taking it away, casually ordering people into battle or out of their jobs . . . and yet we may still dirty our diapers at the sound of our mommy’s whimper or our daddy’s growl.”
—Frank Pittman (20th century)