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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Hilberts zweites Problem (de)
- Compatibilidad de los axiomas de la aritmética (es)
- Hilbert's second problem (en)
- Segundo problema de Hilbert (pt)
- Вторая проблема Гильберта (ru)
- Hilberts andra problem (sv)
- 希爾伯特第二問題 (zh)
|
| 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. (es)
- 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. (en)
- 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. (pt)
- 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. (sv)
- Вторая проблема Гильберта из знаменитых математических проблем, которые Давид Гильберт выдвинул в 1900 году в Париже на II Международном Конгрессе математиков. До сих пор среди математического сообщества нет консенсуса относительно того, решена она или нет. Проблема звучит так: противоречивы или нет аксиомы арифметики? Курт Гёдель доказал, что непротиворечивость аксиом арифметики нельзя доказать, исходя из самих аксиом арифметики (если только арифметика не является на самом деле противоречивой). Кроме Гёделя, многие другие выдающиеся математики занимались этой проблемой. (ru)
- 希爾伯特第二問題，是希爾伯特的23個問題之一，即關於一個公理系統相容性的問題，也就是判定一個公理系統內的所命題是彼此無矛盾的，希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。 奧地利數學家库尔特·哥德尔（Kurt Friedrich Gödel）在1930年證明了哥德尔不完备定理（Gödel's incompleteness theorems），粉碎了希爾伯特的夢想。 (zh)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - 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. (es)
- 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. (en)
- 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. (pt)
- 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. (sv)
- Вторая проблема Гильберта из знаменитых математических проблем, которые Давид Гильберт выдвинул в 1900 году в Париже на II Международном Конгрессе математиков. До сих пор среди математического сообщества нет консенсуса относительно того, решена она или нет. Проблема звучит так: противоречивы или нет аксиомы арифметики? Курт Гёдель доказал, что непротиворечивость аксиом арифметики нельзя доказать, исходя из самих аксиом арифметики (если только арифметика не является на самом деле противоречивой). Кроме Гёделя, многие другие выдающиеся математики занимались этой проблемой. (ru)
- 希爾伯特第二問題，是希爾伯特的23個問題之一，即關於一個公理系統相容性的問題，也就是判定一個公理系統內的所命題是彼此無矛盾的，希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。 奧地利數學家库尔特·哥德尔（Kurt Friedrich Gödel）在1930年證明了哥德尔不完备定理（Gödel's incompleteness theorems），粉碎了希爾伯特的夢想。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)