Hilbert's second problem
id:
hilbert-s-second-problem-243-2631461
title:
Hilbert's second problem
text:
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. Hilbert stated that the axioms he considered for arithmetic were the ones given in Hilbert (1900), which include a second order completeness axiom. In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that Gödel's theorems give a negative solution to the
brand slug:
wiki
category slug:
encyclopedia
description:
Consistency of the axioms of arithmetic
original url:
https://en.wikipedia.org/wiki/Hilbert%27s_second_problem
date created:
date modified:
2024-03-19T01:07:14Z
main entity:
{"identifier":"Q13424667","url":"https://www.wikidata.org/entity/Q13424667"}
image:
fields total:
13
integrity:
14