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:
“The problem with marriage is that it ends every night after making love, and it must be rebuilt every morning before breakfast.”
—Gabriel García Márquez (b. 1928)