In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that arithmetic is consistent – free of any internal contradictions.
In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that these results resolved the problem, while others feel that the problem is still open.
Read more about Hilbert's Second Problem: Hilbert's Problem and Its Interpretation, Gödel's Incompleteness Theorem, Gentzen's Consistency Proof, Modern Viewpoints On The Status of The Problem
Famous quotes containing the word problem:
“I tell you, sir, the only safeguard of order and discipline in the modern world is a standardized worker with interchangeable parts. That would solve the entire problem of management.”
—Jean Giraudoux (1882–1944)