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:
“Brutes are deprived of the high advantages which we have; but they have some which we have not. They have not our hopes, but they are without our fears; they are subject like us to death, but without knowing it; even most of them are more attentive than we to self-preservation, and do not make so bad a use of their passions.”
—Charles Louis de Secondat Montesquieu (1689–1755)
“But there are advantages to being elected President. The day after I was elected, I had my high school grades classified Top Secret.”
—Ronald Reagan (b. 1911)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)
“I tell you, sir, the only safeguard of order and discipline in the modern world is a standardized worker with interchangeable parts. That would solve the entire problem of management.”
—Jean Giraudoux (1882–1944)