Teoremas De Incompletitud De Gödel

Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas. El primer teorema de incompletitud afirma que, bajo ciertas condiciones, ninguna teoría matemática formal capaz de describir los números naturales y la aritmética con suficiente expresividad, es a la vez consistente y completa.

Apellido	Gödel (es)
Apellidos	[13 values]
Authorlink	Kurt Gödel (es)
Año	[11 values]
rdfs:comment	Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas. El primer teorema de incompletitud afirma que, bajo ciertas condiciones, ninguna teoría matemática formal capaz de describir los números naturales y la aritmética con suficiente expresividad, es a la vez consistente y completa. (es)
foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/1925_kurt_gödel.png>
Doi	101007 (xsd:integer)
Editor	Jesús Mosterín (es) Peter Lang (es)
Editorial	Alianza Editorial (es) Cambridge University Press (es) Elsevier (es) KRK Ediciones (es) NYU Press (es) Oxford University Press (es) Seix Barral (es) Tusquets editores (es)
Enlace-Autor	Guillermo Martinez (es)
Enlaceautor	Kurt Gödel (es)
Fechaacceso	2011-07-27-05:00 (xsd:date)
First	K (es)
Idioma	alemán (es) inglés (es)
foaf:isPrimaryTopicOf	wiki-latam:Teoremas_de_incompletitud_de_Gödel
Isbn	0 (xsd:integer) 3 (xsd:integer) 84 (xsd:integer) 978 (xsd:integer) 9780444863881 (xsd:integer) 9780521701464 (xsd:integer)
rdfs:label	Teoremas de incompletitud de Gödel (es)
Last	Gödel (es)
Máscaraautor	3 (xsd:integer)
Nombre	[14 values]
Número	3 (xsd:integer)
Is foaf:primaryTopic of	wiki-latam:Teoremas_de_incompletitud_de_Gödel
Publicación	Journal of Symbolic Logic (es) Monatshefte für Mathematik (es) Monatshefte für Mathematik und Physik (es)
Publisher	University Of Vienna. (es)
Páginas	173 (xsd:integer) 349 (xsd:integer) 87 (xsd:integer)
dcterms:subject	dbpedia-latam:Categoría:1931 dbpedia-latam:Categoría:Metalógica dbpedia-latam:Categoría:Teoremas_de_lógica dbpedia-latam:Categoría:Teoremas_epónimos_de_las_matemáticas
dbpedia-owl:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/1925_kurt_gödel.png?width=300>
Title	Über die Vollständigkeit des Logikkalküls (es)
Título	[13 values]
Url	http://www.emis.de/cgi-bin/zmen/ZMATH/en/quick.html?nombre=1&maxdocs=3&type=html&an=0724.03003&formato=complete Zentralblatt MATH (es) http://www.jstor.org/stable/2269028 (es) http://www.uv.es/ivorra/Libros/Logica.pdf (es)
Version	Doctoral dissertation (es)
Volumen	1 (xsd:integer) 37 (xsd:integer) 38 (xsd:integer)
prov:wasDerivedFrom	wiki-latam:Teoremas_de_incompletitud_de_Gödel?oldid=75653146
Is dbpedia-owl:wikiPageDisambiguates of	dbpedia-latam:Completitud
dbpedia-owl:wikiPageExternalLink	<http://aleph0.clarku.edu/~djoyce/hilbert/problems.html#prob2> <http://citeseer.ist.psu.edu/106920.html> <http://citeseer.ist.psu.edu/laforte98why.html> <http://cs.nyu.edu/cs/faculty/davism/penrose.ps> <http://cs.nyu.edu/cs/faculty/davism/penrose2.ps> <http://divulgamat.ehu.es/weborriak/historia/Gaceta/historia93b.pdf> <http://redalyc.uaemex.mx/redalyc/pdf/294/29406405.pdf> <http://www.emis.de/cgi-bin/zmen/ZMATH/en/quick.html?nombre=1&maxdocs=3&type=html&an=0724.03003&formato=complete> <http://www.ltn.lv/~podnieks/gt.html>
dbpedia-owl:wikiPageID	69722 (xsd:integer)
dbpedia-owl:wikiPageLength	37444 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	93 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of	dbpedia-latam:Teorema_de_Godel dbpedia-latam:Teorema_de_incompletitud dbpedia-latam:Teorema_de_incompletitud_de_Godel dbpedia-latam:Teorema_de_la_incompletud_de_Godel dbpedia-latam:Teoremas_de_incompletitud_de_Godel dbpedia-latam:Teoremas_de_la_incompletitud_de_Gödel
dbpedia-owl:wikiPageRevisionID	75653146 (xsd:integer)
prop-latam:wikiPageUsesTemplate	dbpedia-latam:Plantilla:AP dbpedia-latam:Plantilla:Cita_libro dbpedia-latam:Plantilla:Cita_publicación dbpedia-latam:Plantilla:Definición dbpedia-latam:Plantilla:Demostración dbpedia-latam:Plantilla:Listaref dbpedia-latam:Plantilla:Math dbpedia-latam:Plantilla:Obra_citada dbpedia-latam:Plantilla:Teorema
dbpedia-owl:wikiPageWikiLink	[77 values]
Is dbpedia-owl:wikiPageWikiLink of	[51 values]
Year	1929 (xsd:integer)