Definition:Hilbert 23/2

From ProofWiki
Jump to navigation Jump to search

Hilbert $23$: Problem $2$

Previous  ... Next

Consistency of Axioms of Mathematics

Proof that the axioms of mathematics are consistent.

Consistency of Axioms of Mathematics

Historical Note

The Hilbert 23 were delivered by David Hilbert in a famous address at Paris in $1900$.

He considered them to be the oustanding challenges to mathematicians in the future.

There was originally going to be a $24$th problem, on a criterion for simplicity and general methods in proof theory, but Hilbert decided not to include it, as it was (like numbers $4$, $6$, $16$ and $23$) too vague to ever be described as "solved".


(translated by Mary Winston Newson from "Mathematische Probleme")