logo

Video encyclopedia

Tarski's high school algebra problem

3:21

Counterexample

3:21

Star Hexagon Triangle Circle Puzzle!! Viral Maths Shapes Puzzle!! Best tricky puzzle!!

2:05

মজার গণিত-১। Interesting math-1//Dive in knowledge..”টুকিটাকি গণিত”..

0:13

Math is scary.

3:58

Chocolate Math Challenge #16 SOLVED! (word problems)

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.
    Explore contextually related video stories in a new eye-catching way. Try Combster now!
    • Statement of the problem 

    • History of the problem 

    • Generalisations