La mansión de los enunciados: una refutación del Primer Teorema de Incompletitud de Gödel
Fuente:
Zenodo
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Sprache: | Spanisch |
| Veröffentlicht: |
Zenodo
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866902113390428160 |
|---|---|
| author | Huerta Álvarez, Ángel |
| author_facet | Huerta Álvarez, Ángel |
| contents | <p>El presente artículo propone una refutación técnica del Primer Teorema de Incompletitud de Gödel. No se trata de una cuestión de interpretación filosófica, sino de una crítica directa a la estructura lógica de la demostración. La tesis central consiste en que no es posible construir un enunciado verdaderamente autorreferente dentro del lenguaje de la aritmética. Los enunciados autorreferentes no son verdaderos, ni falsos, ni indecidibles: simplemente no existen en dicho lenguaje.</p> <p>Por tanto, el enunciado construido por Gödel que parece afirmar “<em>este enunciado no puede ser demostrado</em>” no es más que una ilusión, un error de interpretación producto de un análisis superficial y poco riguroso.</p> <p>Para facilitar la comprensión de esta refutación, primero se realizará una descripción del contexto histórico. Posteriormente, se explicarán algunos conceptos previos esenciales, como la numeración de Gödel y la función <span> </span>. A continuación, se presentará la fábula titulada “<em>La mansión de los enunciados</em>”, que permitirá visualizar con claridad los errores conceptuales presentes en la demostración.</p> <p>En todo momento se utilizará un lenguaje accesible, para que quienes no estén familiarizados con el teorema puedan seguir el hilo y comprender las ideas principales. Aunque pudiera parecer que hacen falta conocimientos matemáticos avanzados, eso no es cierto. El problema no está en el formalismo ni en los detalles técnicos. Si así fuera, bastaría con corregirlos y el teorema seguiría siendo sustancialmente válido. Pero no es el caso. El error es conceptual, y, por tanto, no subsanable.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17058627 |
| institution | Zenodo |
| language | spa |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | La mansión de los enunciados: una refutación del Primer Teorema de Incompletitud de Gödel Huerta Álvarez, Ángel Mathematical logic Mathematics Philosophy of language <p>El presente artículo propone una refutación técnica del Primer Teorema de Incompletitud de Gödel. No se trata de una cuestión de interpretación filosófica, sino de una crítica directa a la estructura lógica de la demostración. La tesis central consiste en que no es posible construir un enunciado verdaderamente autorreferente dentro del lenguaje de la aritmética. Los enunciados autorreferentes no son verdaderos, ni falsos, ni indecidibles: simplemente no existen en dicho lenguaje.</p> <p>Por tanto, el enunciado construido por Gödel que parece afirmar “<em>este enunciado no puede ser demostrado</em>” no es más que una ilusión, un error de interpretación producto de un análisis superficial y poco riguroso.</p> <p>Para facilitar la comprensión de esta refutación, primero se realizará una descripción del contexto histórico. Posteriormente, se explicarán algunos conceptos previos esenciales, como la numeración de Gödel y la función <span> </span>. A continuación, se presentará la fábula titulada “<em>La mansión de los enunciados</em>”, que permitirá visualizar con claridad los errores conceptuales presentes en la demostración.</p> <p>En todo momento se utilizará un lenguaje accesible, para que quienes no estén familiarizados con el teorema puedan seguir el hilo y comprender las ideas principales. Aunque pudiera parecer que hacen falta conocimientos matemáticos avanzados, eso no es cierto. El problema no está en el formalismo ni en los detalles técnicos. Si así fuera, bastaría con corregirlos y el teorema seguiría siendo sustancialmente válido. Pero no es el caso. El error es conceptual, y, por tanto, no subsanable.</p> |
| title | La mansión de los enunciados: una refutación del Primer Teorema de Incompletitud de Gödel |
| topic | Mathematical logic Mathematics Philosophy of language |
| url | https://doi.org/10.5281/zenodo.17058627 |