Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q13424667> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Q13424667 subject Q7158865.
- Q13424667 abstract "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 the 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 problem, while others consider Gentzen's proof as a partial positive solution.".
- Q13424667 wikiPageExternalLink godel.
- Q13424667 wikiPageExternalLink purl?PPN37721857X.
- Q13424667 wikiPageExternalLink problems.html.
- Q13424667 wikiPageExternalLink toc.html.
- Q13424667 wikiPageExternalLink hilbert.pdf.
- Q13424667 wikiPageExternalLink rede.html.
- Q13424667 wikiPageWikiLink Q1319773.
- Q13424667 wikiPageWikiLink Q1403155.
- Q13424667 wikiPageWikiLink Q1417326.
- Q13424667 wikiPageWikiLink Q1548746.
- Q13424667 wikiPageWikiLink Q191780.
- Q13424667 wikiPageWikiLink Q191849.
- Q13424667 wikiPageWikiLink Q200787.
- Q13424667 wikiPageWikiLink Q273167.
- Q13424667 wikiPageWikiLink Q376166.
- Q13424667 wikiPageWikiLink Q395.
- Q13424667 wikiPageWikiLink Q41390.
- Q13424667 wikiPageWikiLink Q41585.
- Q13424667 wikiPageWikiLink Q449711.
- Q13424667 wikiPageWikiLink Q5384443.
- Q13424667 wikiPageWikiLink Q60502.
- Q13424667 wikiPageWikiLink Q7100782.
- Q13424667 wikiPageWikiLink Q7158865.
- Q13424667 wikiPageWikiLink Q7243580.
- Q13424667 wikiPageWikiLink Q7442973.
- Q13424667 wikiPageWikiLink Q7678179.
- Q13424667 wikiPageWikiLink Q8019843.
- Q13424667 wikiPageWikiLink Q840810.
- Q13424667 wikiPageWikiLink Q842755.
- Q13424667 comment "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 the 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.".
- Q13424667 label "Hilbert's second problem".