Property |
Value |
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. (es)
- 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. (es)
|
dbo:almaMater
| |
dbo:award
| |
dbo:birthPlace
| |
dbo:deathPlace
| |
dbo:employer
| |
dbo:residence
| |
dbo:spouse
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:almaMáter
| |
prop-es:apellidos
|
- Goldstein (es)
- Hofstadter (es)
- Wang (es)
- Alonso (es)
- Fresán (es)
- Dawson (es)
- Fernández-Prida (es)
- Goldstein (es)
- Hofstadter (es)
- Wang (es)
- Alonso (es)
- Fresán (es)
- Dawson (es)
- Fernández-Prida (es)
|
prop-es:apellidosEditor
| |
prop-es:año
|
- 1979 (xsd:integer)
- 1989 (xsd:integer)
- 1991 (xsd:integer)
- 1997 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
|
prop-es:conocidoPor
| |
prop-es:cónyuge
| |
prop-es:edición
|
- segunda (es)
- tercera (es)
- segunda (es)
- tercera (es)
|
prop-es:editorial
|
- Universidad Complutense de Madrid (es)
- Nivola (es)
- Alianza Universidad (es)
- Montesinos (es)
- A K Peters (es)
- TusQuets editories (es)
- Universidad Complutense de Madrid (es)
- Nivola (es)
- Alianza Universidad (es)
- Montesinos (es)
- A K Peters (es)
- TusQuets editories (es)
|
prop-es:empleador
| |
prop-es:fechaDeFallecimiento
| |
prop-es:fechaDeNacimiento
| |
prop-es:firma
|
- Kurt Gödel signature.svg (es)
- Kurt Gödel signature.svg (es)
|
prop-es:isbn
|
- 84 (xsd:integer)
- 978 (xsd:integer)
- 9781568810256 (xsd:double)
|
prop-es:lugarDeFallecimiento
|
- Princeton, (es)
- Princeton, (es)
|
prop-es:lugarDeNacimiento
| |
prop-es:nombre
|
- Enrique (es)
- Hao (es)
- Kurt Gödel (es)
- Rebecca (es)
- José (es)
- Javier (es)
- John William (es)
- Douglas R. (es)
- Enrique (es)
- Hao (es)
- Kurt Gödel (es)
- Rebecca (es)
- José (es)
- Javier (es)
- John William (es)
- Douglas R. (es)
|
prop-es:nombreEditor
| |
prop-es:pieDeImagen
|
- Kurt Gödel (es)
- Kurt Gödel (es)
|
prop-es:premios
| |
prop-es:residencia
| |
prop-es:supervisorDoctoral
| |
prop-es:tamañoDeImagen
| |
prop-es:título
|
- dbpedia-es:Gödel,_Escher,_Bach:_un_Eterno_y_Grácil_Bucle
- Gödel. La lógica de los escépticos (es)
- Gödel. Paradoja y vida (es)
- Logical Dilemmas: The Life and Work of Kurt Gödel (es)
- Reflexiones sobre Kurt Gödel (es)
- Sócrates en Viena. Una biografía intelectual de Kurt Gödel (es)
- Una prueba algebraica de los teoremas de Löwenheim-Skolem y Gödel (es)
|
prop-es:ubicación
|
- Barcelona (es)
- Madrid (es)
- Barcelona (es)
- Madrid (es)
|
prop-es:área
| |
dct:subject
| |
rdf:type
| |
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. (es)
- 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. (es)
|
rdfs:label
|
- Kurt Gödel (es)
- Kurt Gödel (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- Kurt Gödel (es)
- Kurt Gödel (es)
|
is dbo:spouse
of | |
is dbo:wikiPageRedirects
of | |
is prop-es:cónyuge
of | |
is prop-es:influyó
of | |
is prop-es:inspirador
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |