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:
“Like all high functionaries, he deemed it indispensable religiously to sustain his dignity; one of the most troublesome things in the world, and one calling for the greatest self-denial.”
—Herman Melville (1819–1891)
“Bodily offspring I do not leave, but mental offspring I do. Well, my books do not have to be sent to school and college, and then insist on going into the church, or take to drinking, or marry their mother’s maid.”
—Samuel Butler (1835–1902)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)
“I don’t have any problem with a reporter or a news person who says the President is uninformed on this issue or that issue. I don’t think any of us would challenge that. I do have a problem with the singular focus on this, as if that’s the only standard by which we ought to judge a president. What we learned in the last administration was how little having an encyclopedic grasp of all the facts has to do with governing.”
—David R. Gergen (b. 1942)