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:
“... it is high time that the women of Republican America should know how much the laws that govern them are like the slave laws of the South ...”
—Harriot K. Hunt (1805–1875)
“True it is that she who escapeth safe and unpolluted from out the school of freedom, giveth more confidence of herself than she who cometh sound out of the school of severity and restraint.”
—Michel de Montaigne (1533–1592)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)
“Give a scientist a problem and he will probably provide a solution; historians and sociologists, by contrast, can offer only opinions. Ask a dozen chemists the composition of an organic compound such as methane, and within a short time all twelve will have come up with the same solution of CH4. Ask, however, a dozen economists or sociologists to provide policies to reduce unemployment or the level of crime and twelve widely differing opinions are likely to be offered.”
—Derek Gjertsen, British scientist, author. Science and Philosophy: Past and Present, ch. 3, Penguin (1989)