| Property |
Value |
| dbo:abstract
|
- 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 decir, si los axiomas de dicha teoría no se contradicen entre sí, entonces existen enunciados que no se pueden probar ni refutar a partir de ellos. En particular, la conclusión del teorema se aplica siempre que la teoría aritmética en cuestión sea recursiva, esto es, una teoría en la que el proceso de deducción se pueda llevar a cabo mediante un algoritmo. La prueba del teorema es totalmente explícita y en ella se construye una fórmula, denotada habitualmente G en honor a Gödel, para la que dada una demostración de la misma, se puede construir una refutación, y viceversa. Sin embargo, la interpretación natural de dicha sentencia en términos de números naturales es verdadera. El segundo teorema de incompletitud es un caso particular del primero: afirma que una de las sentencias indecidibles de dicha teoría es aquella que «afirma» la consistencia de la misma. Es decir, que si el sistema de axiomas en cuestión es consistente, no es posible demostrarlo mediante dichos axiomas. Los teoremas de incompletitud de Gödel son uno de los grandes avances de la lógica matemática, y supusieron —según la mayoría de la comunidad matemática— una respuesta negativa al segundo problema de Hilbert. Los teoremas implican que los sistemas axiomáticos de primer orden tienen severas limitaciones para fundamentar las matemáticas, y supusieron un duro golpe para el llamado programa de Hilbert para la fundamentación de las matemáticas. Por otra parte, durante algún tiempo ni Hilbert ni otros de sus colaboradores fueron conscientes de la importancia del trabajo de Gödel para su programa. (es)
- 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 decir, si los axiomas de dicha teoría no se contradicen entre sí, entonces existen enunciados que no se pueden probar ni refutar a partir de ellos. En particular, la conclusión del teorema se aplica siempre que la teoría aritmética en cuestión sea recursiva, esto es, una teoría en la que el proceso de deducción se pueda llevar a cabo mediante un algoritmo. La prueba del teorema es totalmente explícita y en ella se construye una fórmula, denotada habitualmente G en honor a Gödel, para la que dada una demostración de la misma, se puede construir una refutación, y viceversa. Sin embargo, la interpretación natural de dicha sentencia en términos de números naturales es verdadera. El segundo teorema de incompletitud es un caso particular del primero: afirma que una de las sentencias indecidibles de dicha teoría es aquella que «afirma» la consistencia de la misma. Es decir, que si el sistema de axiomas en cuestión es consistente, no es posible demostrarlo mediante dichos axiomas. Los teoremas de incompletitud de Gödel son uno de los grandes avances de la lógica matemática, y supusieron —según la mayoría de la comunidad matemática— una respuesta negativa al segundo problema de Hilbert. Los teoremas implican que los sistemas axiomáticos de primer orden tienen severas limitaciones para fundamentar las matemáticas, y supusieron un duro golpe para el llamado programa de Hilbert para la fundamentación de las matemáticas. Por otra parte, durante algún tiempo ni Hilbert ni otros de sus colaboradores fueron conscientes de la importancia del trabajo de Gödel para su programa. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellido
| |
| prop-es:apellidos
|
- Rosser (es)
- Jeffrey (es)
- Hofstadter (es)
- Ivorra (es)
- Martínez (es)
- Nagel (es)
- Gödel (es)
- Newman (es)
- Burgess (es)
- Boolos (es)
- Smullyan (es)
- Barwise (es)
- Rosser (es)
- Jeffrey (es)
- Hofstadter (es)
- Ivorra (es)
- Martínez (es)
- Nagel (es)
- Gödel (es)
- Newman (es)
- Burgess (es)
- Boolos (es)
- Smullyan (es)
- Barwise (es)
|
| prop-es:authorlink
|
- Kurt Gödel (es)
- Kurt Gödel (es)
|
| prop-es:año
|
- 1930 (xsd:integer)
- 1931 (xsd:integer)
- 1936 (xsd:integer)
- 1981 (xsd:integer)
- 1989 (xsd:integer)
- 1992 (xsd:integer)
- 2002 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
- 2009 (xsd:integer)
|
| prop-es:doi
| |
| prop-es:editor
|
- Jesús Mosterín (es)
- Jesús Mosterín (es)
|
| prop-es:editorial
| |
| prop-es:enlaceAutor
|
- Guillermo Martinez (es)
- Guillermo Martinez (es)
|
| prop-es:enlaceautor
|
- Kurt Gödel (es)
- Kurt Gödel (es)
|
| prop-es:first
| |
| prop-es:idioma
|
- inglés (es)
- alemán (es)
- inglés (es)
- alemán (es)
|
| prop-es:isbn
|
- 0 (xsd:integer)
- 84 (xsd:integer)
- 978 (xsd:integer)
- 9780444863881 (xsd:double)
- 9780521701464 (xsd:double)
|
| prop-es:last
| |
| prop-es:máscaraautor
| |
| prop-es:nombre
|
- Kurt (es)
- Guillermo (es)
- Raymond (es)
- Jon (es)
- B. (es)
- K. (es)
- George (es)
- Carlos (es)
- Ernest (es)
- Richard C. (es)
- John P. (es)
- Douglas R. (es)
- James Roy (es)
- Kurt (es)
- Guillermo (es)
- Raymond (es)
- Jon (es)
- B. (es)
- K. (es)
- George (es)
- Carlos (es)
- Ernest (es)
- Richard C. (es)
- John P. (es)
- Douglas R. (es)
- James Roy (es)
|
| prop-es:publicación
|
- Monatshefte für Mathematik (es)
- Journal of Symbolic Logic (es)
- Monatshefte für Mathematik und Physik (es)
- Monatshefte für Mathematik (es)
- Journal of Symbolic Logic (es)
- Monatshefte für Mathematik und Physik (es)
|
| prop-es:publisher
|
- Universidad de Viena (es)
- Universidad de Viena (es)
|
| prop-es:páginas
|
- 87 (xsd:integer)
- 173 (xsd:integer)
- 349 (xsd:integer)
|
| prop-es:title
|
- Über die Vollständigkeit des Logikkalküls (es)
- Über die Vollständigkeit des Logikkalküls (es)
|
| prop-es:título
|
- dbpedia-es:Gödel,_Escher,_Bach:_un_Eterno_y_Grácil_Bucle
- Obras completas (es)
- Lógica y teoría de conjuntos (es)
- Handbook of mathematical logic (es)
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I (es)
- Die Vollständigkeit der Axiome des logischen Funktionenkalküls (es)
- Computability and logic (es)
- Extensions of some theorems of Gödel and Church (es)
- Gödel para todos (es)
- Gödel's Incompleteness Theorems (es)
- Gödel's Proof (es)
- Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines (es)
|
| prop-es:url
| |
| prop-es:version
|
- Disertación doctoral (es)
- Disertación doctoral (es)
|
| prop-es:volumen
|
- 1 (xsd:integer)
- 37 (xsd:integer)
- 38 (xsd:integer)
|
| prop-es:year
| |
| dct:subject
| |
| 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. La prueba del teorema es totalmente explícita y en ella se construye una fórmula, denotada habitualmente G en honor a Gödel, para la que dada una demostración de la misma, se puede construir una refutación, y viceversa. Sin embargo, la interpretación natural de dicha sentencia en términos de números naturales es verdadera. (es)
- 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. La prueba del teorema es totalmente explícita y en ella se construye una fórmula, denotada habitualmente G en honor a Gödel, para la que dada una demostración de la misma, se puede construir una refutación, y viceversa. Sin embargo, la interpretación natural de dicha sentencia en términos de números naturales es verdadera. (es)
|
| rdfs:label
|
- Teoremas de incompletitud de Gödel (es)
- Teoremas de incompletitud de Gödel (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
