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

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

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
n23http://www.krkediciones.com/
foafhttp://xmlns.com/foaf/0.1/
n8http://dbpedia.org/resource/Kurt_G%C3%B6
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n22http://thales.cica.es/rd/Recursos/rd97/Biografias/08-1-b-godel.
n10https://web.archive.org/web/20110411231853/http:/cs.nyu.edu/kandathi/goedel_fom.
n11http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n21http://www.20minutos.es/noticia/1960640/0/ser-superior/ciencia/informatica/%23xtor=AD-15&xts=
n12http://es.dbpedia.org/resource/Gödel,_Escher,_Bach:
n5http://www.filmacademie.
n18http://rdf.freebase.com/ns/m.
n14http://es.dbpedia.org/resource/Princeton_(Nueva_Jersey)
n16http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n19https://web.archive.org/web/20070611221230/http:/divulgamat.ehu.es/weborriak/historia/Gaceta/historia93a.
n28https://web.archive.org/web/20120911135341/http:/cs.nyu.edu/kandathi/goedel_viewpoint.
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n25http://es.wikipedia.org/wiki/Kurt_Gödel?oldid=130008377&ns=
wikidatahttp://www.wikidata.org/entity/
Subject Item
dbpedia-es:Adele_Gödel
prop-es:cónyuge
dbpedia-es:Kurt_Gödel
dbo:spouse
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Godel
dbo:wikiPageRedirects
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Goedel
dbo:wikiPageRedirects
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Gödel
dbo:wikiPageRedirects
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Kurt_Godel
dbo:wikiPageRedirects
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Kurt_Goedel
dbo:wikiPageRedirects
dbpedia-es:Kurt_Gödel
Subject Item
n8:del
owl:sameAs
dbpedia-es:Kurt_Gödel
Subject Item
dbr:Kurt_Gödel
owl:sameAs
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Bertrand_Russell
prop-es:influyó
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Premio_Gödel
prop-es:inspirador
dbpedia-es:Kurt_Gödel
Subject Item
dbpedia-es:Kurt_Gödel
rdf:type
dbo:Agent n11:NaturalPerson wikidata:Q24229398 wikidata:Q215627 foaf:Person schema:Person dbo:Person owl:Thing n11:Agent wikidata:Q5
rdfs:label
Kurt Gödel
rdfs:comment
Kurt Gödel o también Kurt Goedel ([ˈkʊʁt ˈɡøːdəl]; Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978) fue un lógico, matemático y filósofo austríaco.​ Se le considera uno de los lógicos más importantes de todos los tiempos. Su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. Al igual que otros pensadores —como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert—, Gödel intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática.
owl:sameAs
n18:048c2
foaf:name
Kurt Gödel
dct:subject
category-es:Graduados_honorarios_de_la_Universidad_de_Princeton category-es:Filósofos_cristianos category-es:Círculo_de_Viena category-es:Graduados_honorarios_de_la_Universidad_Yale category-es:Filósofos_analíticos category-es:Miembros_extranjeros_de_la_Royal_Society category-es:Filósofos_de_Estados_Unidos category-es:Alumnado_de_la_Universidad_de_Viena category-es:National_Medal_of_Science category-es:Protestantes_de_Austria category-es:Fallecidos_por_inanición category-es:Doctores_honoris_causa_por_la_Universidad_de_Viena category-es:Científicos_exiliados_del_nazismo category-es:Lógicos category-es:Matemáticos_de_Austria_del_siglo_XX category-es:Informáticos_teóricos_de_Austria category-es:Filósofos_de_Austria_del_siglo_XX category-es:Nacidos_en_Brno category-es:Matemáticos_de_Estados_Unidos
foaf:isPrimaryTopicOf
wikipedia-es:Kurt_Gödel
prop-es:almaMáter
dbpedia-es:Universidad_de_Viena
prop-es:apellidos
Wang Fernández-Prida Fresán Alonso Dawson Hofstadter Goldstein
prop-es:apellidosEditor
Bosch
prop-es:año
1979 2006 2007 1991 1989 1997
prop-es:conocidoPor
dbpedia-es:Teorema_de_incompletitud_de_Gödel
prop-es:cónyuge
dbpedia-es:Adele_Gödel
prop-es:edición
segunda tercera
prop-es:editorial
TusQuets editories Alianza Universidad Universidad Complutense de Madrid A K Peters Montesinos Nivola
prop-es:empleador
dbpedia-es:Institute_for_Advanced_Study
prop-es:fechaDeFallecimiento
14
prop-es:fechaDeNacimiento
28
prop-es:firma
Kurt Gödel signature.svg
prop-es:isbn
9781568810256 978 84
prop-es:lugarDeFallecimiento
Princeton,
prop-es:lugarDeNacimiento
Brünn
prop-es:nombre
Javier Enrique Douglas R. John William Hao José Kurt Gödel Rebecca
prop-es:nombreEditor
Antoni
prop-es:pieDeImagen
Kurt Gödel
prop-es:premios
dbpedia-es:Premio_Albert_Einstein
prop-es:residencia
dbpedia-es:Estados_Unidos dbpedia-es:Austria
prop-es:supervisorDoctoral
dbpedia-es:Hans_Hahn
prop-es:tamañoDeImagen
255
prop-es:título
n12:_un_Eterno_y_Grácil_Bucle Una prueba algebraica de los teoremas de Löwenheim-Skolem y Gödel Sócrates en Viena. Una biografía intelectual de Kurt Gödel Gödel. La lógica de los escépticos Logical Dilemmas: The Life and Work of Kurt Gödel Gödel. Paradoja y vida Reflexiones sobre Kurt Gödel
prop-es:ubicación
Madrid Barcelona
prop-es:área
dbpedia-es:Matemáticas dbpedia-es:Filosofía
dbo:deathPlace
n14:
dbo:birthPlace
dbpedia-es:Brno
dbo:wikiPageID
38192
dbo:wikiPageRevisionID
130008377
dbo:wikiPageExternalLink
n5:nl n10:html n16:pdf n19:pdf n21:467263 n22:html n23: n28:html
dbo:wikiPageLength
29251
dbo:almaMater
dbpedia-es:Universidad_de_Viena
dbo:award
dbpedia-es:Premio_Albert_Einstein
dbo:employer
dbpedia-es:Instituto_de_Estudios_Avanzados_de_Princeton
dbo:residence
dbpedia-es:Austria dbpedia-es:Estados_Unidos
dbo:spouse
dbpedia-es:Adele_Gödel
prov:wasDerivedFrom
n25:0
dbo:abstract
Kurt Gödel o también Kurt Goedel ([ˈkʊʁt ˈɡøːdəl]; Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978) fue un lógico, matemático y filósofo austríaco.​ Se le considera uno de los lógicos más importantes de todos los tiempos. Su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. Al igual que otros pensadores —como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert—, Gödel intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática. Se le conoce sobre todo por sus dos teoremas de la incompletitud, publicados en 1931, un año después de finalizar su doctorado en la Universidad de Viena. El más célebre establece que para todo sistema axiomático recursivo autoconsistente lo suficientemente poderoso como para describir la aritmética de los números naturales (la aritmética de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema, desarrolló una técnica denominada ahora numeración de Gödel, que codifica expresiones formales como números naturales. También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes. Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal.
Subject Item
wikipedia-es:Kurt_Gödel
foaf:primaryTopic
dbpedia-es:Kurt_Gödel