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:
“Parents do not give up their children to strangers lightly. They wait in uncertain anticipation for an expression of awareness and interest in their children that is as genuine as their own. They are subject to ambivalent feelings of trust and competitiveness toward a teacher their child loves and to feelings of resentment and anger when their child suffers at her hands. They place high hopes in their children and struggle with themselves to cope with their children’s failures.”
—Dorothy H. Cohen (20th century)
“What a wise and good parent will desire for his own children a nation must desire for all children.”
—Consultative Committee On The Prima. Report of the Consultative Committee on the Primary School (HADOW)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)
“But a problem occurs about nothing. For that from which something is made is a cause of the thing made from it; and, necessarily, every cause contributes some assistance to the effect’s existence.”
—Anselm of Canterbury (1033–1109)