This HTML5 document contains 88 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n20http://resolver.sub.uni-goettingen.de/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n12https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://aleph0.clarku.edu/~djoyce/hilbert/
dbpedia-svhttp://sv.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
n17https://web.archive.org/web/20120205025851/http:/www.mathematik.uni-bielefeld.de/~kersten/hilbert/
dbpedia-pthttp://pt.dbpedia.org/resource/
n23http://www.math.psu.edu/simpson/papers/
n26http://home.ddc.net/ygg/etext/godel/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4https://web.archive.org/web/20060705205103/http:/home.ddc.net/ygg/etext/godel/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n18http://d-nb.info/gnd/

Statements

Subject Item
dbr:Hilbert's_second_problem
rdf:type
yago:Attribute100024264 owl:Thing yago:Problem114410605 yago:Difficulty114408086 yago:Abstraction100002137 yago:State100024720 yago:WikicatHilbert'sProblems yago:Condition113920835
rdfs:label
Segundo problema de Hilbert Hilberts zweites Problem 希爾伯特第二問題 Hilberts andra problem Вторая проблема Гильберта Hilbert's second problem Compatibilidad de los axiomas de la aritmética
rdfs:comment
La cuestión de la compatibilidad de los axiomas de la aritmética, también conocida como segundo problema de Hilbert (uno de los 23 problemas expuestos en 1900 por el matemático alemán David Hilbert), señala la importancia y la necesidad de formalizar la matemática. Esta inquietud nace a partir de la incertidumbre que se generó al hacer deducciones sobre axiomas que no son tan evidentes como podrían parecer a primera vista, y en este punto se hace notar el contraste de las matemáticas con la geometría, donde los axiomas son de algún modo visibles como es el caso de los postulados de Euclides. 希爾伯特第二問題，是希爾伯特的23個問題之一，即關於一個公理系統相容性的問題，也就是判定一個公理系統內的所命題是彼此無矛盾的，希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。 奧地利數學家库尔特·哥德尔（Kurt Friedrich Gödel）在1930年證明了哥德尔不完备定理（Gödel's incompleteness theorems），粉碎了希爾伯特的夢想。 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 , 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 andra problem är ett av David Hilbert 23 matematiska problem. Det formulerades år 1900. Hypotesen är att aritmetikens axiom är konsistenta, det vill säga att aritmetik är ett formellt system utan motsägelser. Problemet är delvis löst. Vissa anser att det har bevisats vara omöjligt att bevisa avsaknad av motsägelser i ett axiomatiskt system med en ändlig mängd axiom. Se Gödels ofullständighetsteorem. Na matemática, o segundo problema de Hilbert foi proposto por David Hilbert em 1900, sendo esse um dos seus 23 problemas. Esse problema consiste em provar que a aritmética é consistente - livre de qualquer contradição interna.No anos de 1930, Kurt Gödel e Gerhard Gentzen provaram resultados que voltaram a chamar atenção para esse problema. Alguns acham que esses resultados resolveram o problema, enquanto outros acham que ele ainda está em aberto. Вторая проблема Гильберта из знаменитых математических проблем, которые Давид Гильберт выдвинул в 1900 году в Париже на II Международном Конгрессе математиков. До сих пор среди математического сообщества нет консенсуса относительно того, решена она или нет. Проблема звучит так: противоречивы или нет аксиомы арифметики? Курт Гёдель доказал, что непротиворечивость аксиом арифметики нельзя доказать, исходя из самих аксиом арифметики (если только арифметика не является на самом деле противоречивой). Кроме Гёделя, многие другие выдающиеся математики занимались этой проблемой.
dcterms:subject
dbc:Hilbert's_problems
dbo:wikiPageID
152759
dbo:wikiPageRevisionID
1106495612
dbo:wikiPageWikiLink
dbr:Ordinal_analysis dbr:Gödel's_incompleteness_theorems dbr:Second-order_arithmetic dbr:Zermelo–Fraenkel_set_theory dbr:Second-order_logic dbr:Takeuti_conjecture dbc:Hilbert's_problems dbr:Hilbert's_problems dbr:Ordinal_number dbr:David_Hilbert dbr:Finitism dbr:Ordinal_numbers dbr:Cut_elimination dbr:Transfinite_induction dbr:Gerhard_Gentzen dbr:Jean_van_Heijenoort dbr:Epsilon_numbers_(mathematics) dbr:Second_incompleteness_theorem dbr:William_W._Tait dbr:Kurt_Gödel dbr:Mathematics dbr:Peano_arithmetic dbr:Consistency_proof dbr:Consistency_strength dbr:Primitive_recursive_arithmetic
dbo:wikiPageExternalLink
n4: n11:toc.html n17:rede.html n20:purl%3FPPN37721857X n11:problems.html n23:hilbert.pdf n26:
owl:sameAs
wikidata:Q13424667 n12:LtbX yago-res:Hilbert's_second_problem dbpedia-ru:Вторая_проблема_Гильберта n18:4743684-0 dbpedia-zh:希爾伯特第二問題 dbpedia-es:Compatibilidad_de_los_axiomas_de_la_aritmética freebase:m.025rwmq dbpedia-pt:Segundo_problema_de_Hilbert dbpedia-sv:Hilberts_andra_problem dbpedia-de:Hilberts_zweites_Problem
dbp:wikiPageUsesTemplate
dbt:Citation dbt:Reflist dbt:Cite_conference dbt:Authority_control dbt:Cite_journal dbt:Doi dbt:Hilbert's_problems dbt:Main dbt:Mathematical_logic dbt:Harvtxt dbt:ISBN dbt:Short_description
dbo: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 , 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 andra problem är ett av David Hilbert 23 matematiska problem. Det formulerades år 1900. Hypotesen är att aritmetikens axiom är konsistenta, det vill säga att aritmetik är ett formellt system utan motsägelser. Problemet är delvis löst. Vissa anser att det har bevisats vara omöjligt att bevisa avsaknad av motsägelser i ett axiomatiskt system med en ändlig mängd axiom. Se Gödels ofullständighetsteorem. 希爾伯特第二問題，是希爾伯特的23個問題之一，即關於一個公理系統相容性的問題，也就是判定一個公理系統內的所命題是彼此無矛盾的，希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。 奧地利數學家库尔特·哥德尔（Kurt Friedrich Gödel）在1930年證明了哥德尔不完备定理（Gödel's incompleteness theorems），粉碎了希爾伯特的夢想。 Вторая проблема Гильберта из знаменитых математических проблем, которые Давид Гильберт выдвинул в 1900 году в Париже на II Международном Конгрессе математиков. До сих пор среди математического сообщества нет консенсуса относительно того, решена она или нет. Проблема звучит так: противоречивы или нет аксиомы арифметики? Курт Гёдель доказал, что непротиворечивость аксиом арифметики нельзя доказать, исходя из самих аксиом арифметики (если только арифметика не является на самом деле противоречивой). Кроме Гёделя, многие другие выдающиеся математики занимались этой проблемой. Na matemática, o segundo problema de Hilbert foi proposto por David Hilbert em 1900, sendo esse um dos seus 23 problemas. Esse problema consiste em provar que a aritmética é consistente - livre de qualquer contradição interna.No anos de 1930, Kurt Gödel e Gerhard Gentzen provaram resultados que voltaram a chamar atenção para esse problema. Alguns acham que esses resultados resolveram o problema, enquanto outros acham que ele ainda está em aberto. La cuestión de la compatibilidad de los axiomas de la aritmética, también conocida como segundo problema de Hilbert (uno de los 23 problemas expuestos en 1900 por el matemático alemán David Hilbert), señala la importancia y la necesidad de formalizar la matemática. Esta inquietud nace a partir de la incertidumbre que se generó al hacer deducciones sobre axiomas que no son tan evidentes como podrían parecer a primera vista, y en este punto se hace notar el contraste de las matemáticas con la geometría, donde los axiomas son de algún modo visibles como es el caso de los postulados de Euclides.
prov:wasDerivedFrom
wikipedia-en:Hilbert's_second_problem?oldid=1106495612&ns=0
dbo:wikiPageLength
13024
foaf:isPrimaryTopicOf
wikipedia-en:Hilbert's_second_problem