4 ms·
Right, but Hilbert wanted to axiomatize arithmetics and all of mathematics in order to make proofs rigorous. It was one of his 23 problems, and Godel solved it
by bonzini 9y ago
Right, but Hilbert wanted to axiomatize arithmetics and all of mathematics in order to make proofs rigorous. It was one of his 23 problems, and Godel solved it (negatively).
- n4r9 9y agoIt wasn't so much to make proofs rigorous, as to determine whether or not there would always exist "true" statements which could not be proved. Hilbert had already proposed a set axioms for second-order arithmetic - he just didn't know whether they were both complete and consistent.