Tarski's high school algebra problem

Wikipedia:

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.

Posted by Jim Zellmer at March 15, 2013 12:46 AM
Subscribe to this site via RSS/Atom: Newsletter signup | Send us your ideas