Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Hilberts_second_problem> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples per page.
- Hilberts_second_problem 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.".
- Hilberts_second_problem wikiPageExternalLink godel.
- Hilberts_second_problem wikiPageExternalLink purl?PPN37721857X.
- Hilberts_second_problem wikiPageExternalLink problems.html.
- Hilberts_second_problem wikiPageExternalLink toc.html.
- Hilberts_second_problem wikiPageExternalLink hilbert.pdf.
- Hilberts_second_problem wikiPageExternalLink rede.html.
- Hilberts_second_problem wikiPageID "14261".
- Hilberts_second_problem wikiPageID "152759".
- Hilberts_second_problem wikiPageLength "105".
- Hilberts_second_problem wikiPageLength "12579".
- Hilberts_second_problem wikiPageOutDegree "1".
- Hilberts_second_problem wikiPageOutDegree "29".
- Hilberts_second_problem wikiPageRedirects Hilberts_second_problem.
- Hilberts_second_problem wikiPageRevisionID "610436805".
- Hilberts_second_problem wikiPageRevisionID "696448645".
- Hilberts_second_problem wikiPageWikiLink Category:Hilberts_problems.
- Hilberts_second_problem wikiPageWikiLink Consistency.
- Hilberts_second_problem wikiPageWikiLink Cut-elimination_theorem.
- Hilberts_second_problem wikiPageWikiLink David_Hilbert.
- Hilberts_second_problem wikiPageWikiLink Epsilon_numbers_(mathematics).
- Hilberts_second_problem wikiPageWikiLink Equiconsistency.
- Hilberts_second_problem wikiPageWikiLink Finitism.
- Hilberts_second_problem wikiPageWikiLink Gerhard_Gentzen.
- Hilberts_second_problem wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Hilberts_second_problem wikiPageWikiLink Hilberts_problems.
- Hilberts_second_problem wikiPageWikiLink Hilberts_second_problem.
- Hilberts_second_problem wikiPageWikiLink Jean_van_Heijenoort.
- Hilberts_second_problem wikiPageWikiLink Kurt_Gödel.
- Hilberts_second_problem wikiPageWikiLink Mathematics.
- Hilberts_second_problem wikiPageWikiLink Ordinal_analysis.
- Hilberts_second_problem wikiPageWikiLink Ordinal_number.
- Hilberts_second_problem wikiPageWikiLink Peano_axioms.
- Hilberts_second_problem wikiPageWikiLink Primitive_recursive_arithmetic.
- Hilberts_second_problem wikiPageWikiLink Second-order_arithmetic.
- Hilberts_second_problem wikiPageWikiLink Second-order_logic.
- Hilberts_second_problem wikiPageWikiLink Takeutis_conjecture.
- Hilberts_second_problem wikiPageWikiLink Transfinite_induction.
- Hilberts_second_problem wikiPageWikiLink William_W._Tait.
- Hilberts_second_problem wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Hilberts_second_problem wikiPageWikiLinkText "2nd".
- Hilberts_second_problem wikiPageWikiLinkText "Hilbert's second problem".
- Hilberts_second_problem wikiPageWikiLinkText "Modern viewpoints on the status of the problem".
- Hilberts_second_problem wikiPageWikiLinkText "second problem".
- Hilberts_second_problem wikiPageWikiLinkText "second".
- Hilberts_second_problem wikiPageUsesTemplate Template:Citation.
- Hilberts_second_problem wikiPageUsesTemplate Template:Cite_conference.
- Hilberts_second_problem wikiPageUsesTemplate Template:Cite_journal.
- Hilberts_second_problem wikiPageUsesTemplate Template:DOI.
- Hilberts_second_problem wikiPageUsesTemplate Template:Harvtxt.
- Hilberts_second_problem wikiPageUsesTemplate Template:Hilberts_problems.
- Hilberts_second_problem wikiPageUsesTemplate Template:Main.
- Hilberts_second_problem wikiPageUsesTemplate Template:Nahmc.
- Hilberts_second_problem wikiPageUsesTemplate Template:Redr.
- Hilberts_second_problem subject Category:Hilberts_problems.
- Hilberts_second_problem type Redirect.
- Hilberts_second_problem 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.".
- Hilberts_second_problem label "Hilbert's second problem".
- Hilberts_second_problem label "Hilberts second problem".
- Hilberts_second_problem sameAs Q13424667.
- Hilberts_second_problem sameAs Segundo_problema_de_Hilbert.
- Hilberts_second_problem sameAs m.025rwmq.
- Hilberts_second_problem sameAs Вторая_проблема_Гильберта.
- Hilberts_second_problem sameAs Hilberts_andra_problem.
- Hilberts_second_problem sameAs Q13424667.
- Hilberts_second_problem sameAs 希爾伯特第二問題.
- Hilberts_second_problem wasDerivedFrom Hilberts_second_problem?oldid=610436805.
- Hilberts_second_problem wasDerivedFrom Hilberts_second_problem?oldid=696448645.
- Hilberts_second_problem isPrimaryTopicOf Hilberts_second_problem.