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:
“Manhattan. Sometimes from beyond the skyscrapers, across the hundreds of thousands of high walls, the cry of a tugboat finds you in your insomnia in the middle of the night, and you remember that this desert of iron and cement is an island.”
—Albert Camus (1913–1960)
“For those parents from lower-class and minority communities ... [who] have had minimal experience in negotiating dominant, external institutions or have had negative and hostile contact with social service agencies, their initial approaches to the school are often overwhelming and difficult. Not only does the school feel like an alien environment with incomprehensible norms and structures, but the families often do not feel entitled to make demands or force disagreements.”
—Sara Lawrence Lightfoot (20th century)
“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)