Una aproximación a los teoremas de incompletitud de Kurt Gödel
Spa: Los teoremas de incompletitud, demostrados por el célebre matemático Kurt Gödel en el año 1930 son de los teoremas más famosos fuera de las matemáticas. Debido a la naturaleza formal de éstos, generalmente no son tan sencillos de interpretar, pero dada su importancia se afirma que su postulació...
| Main Author: | |
|---|---|
| Format: | Documento de Conferencia |
| Language: | spa |
| Published: |
2021
|
| Online Access: | http://repositorio.uptc.edu.co/handle/001/7820 |
| _version_ | 1801705875328466944 |
|---|---|
| author | Nájar Salinas, José Nicolás |
| author_facet | Nájar Salinas, José Nicolás |
| author_sort | Nájar Salinas, José Nicolás |
| collection | DSpace |
| description | Spa: Los teoremas de incompletitud, demostrados por el célebre matemático Kurt Gödel en el año 1930 son de los teoremas más famosos fuera de las matemáticas. Debido a la naturaleza formal de éstos, generalmente no son tan sencillos de interpretar, pero dada su importancia se afirma que su postulación cambió la cara de la lógica matemática y que aún continúan contribuyendo a su desarrollo. Se piensa que el trabajo de Gödel fue uno de los más grandes golpes al programa de formalización de David Hilbert, sobre todo el segundo teorema de incompletitud, ya que hay muchas afirmaciones que no son ciertas sobre ellos. Además se puede decir que son los teoremas más importantes de la lógica formal. El objetivo de ésta charla es indagar sobre el primero de éstos teoremas; su demostración y su importancia en los sistemas deductivos. Palabras clave: conectivos unarios y binarios, variables proposicionales, constantes proposicionales, axiomatización de Peano. |
| format | Documento de Conferencia |
| id | repositorio.uptc.edu.co-001-7820 |
| institution | Repositorio Institucional UPTC |
| language | spa |
| publishDate | 2021 |
| record_format | dspace |
| spelling | repositorio.uptc.edu.co-001-78202022-09-06T16:20:09Z Una aproximación a los teoremas de incompletitud de Kurt Gödel Nájar Salinas, José Nicolás Spa: Los teoremas de incompletitud, demostrados por el célebre matemático Kurt Gödel en el año 1930 son de los teoremas más famosos fuera de las matemáticas. Debido a la naturaleza formal de éstos, generalmente no son tan sencillos de interpretar, pero dada su importancia se afirma que su postulación cambió la cara de la lógica matemática y que aún continúan contribuyendo a su desarrollo. Se piensa que el trabajo de Gödel fue uno de los más grandes golpes al programa de formalización de David Hilbert, sobre todo el segundo teorema de incompletitud, ya que hay muchas afirmaciones que no son ciertas sobre ellos. Además se puede decir que son los teoremas más importantes de la lógica formal. El objetivo de ésta charla es indagar sobre el primero de éstos teoremas; su demostración y su importancia en los sistemas deductivos. Palabras clave: conectivos unarios y binarios, variables proposicionales, constantes proposicionales, axiomatización de Peano. 2021-12-21T19:49:34Z 2021-12-21T19:49:34Z 2015-05-02 Documento de Conferencia http://purl.org/coar/resource_type/c_8544 info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Text http://purl.org/coar/version/c_970fb48d4fbd8a85 http://repositorio.uptc.edu.co/handle/001/7820 834 instname:Universidad Pedagogica y Tecnologica de Colombia reponame:Repositorio de la Universidad Pedagogica y Tecnologica de Colombia repourl:https://repositorio.uptc.edu.co/ spa I Encuentro Internacional de Matemáticas, Estadística y Educación Matemática XXII Jornada de Matemáticas y Estadista https://rdigitales.uptc.edu.co/memorias/index.php/mate_estadistica/mate_estadistica/paper/download/834/825 https://creativecommons.org/licenses/by-nc-sa/4.0/ info:eu-repo/semantics/openAccess Atribución-NoComercial-CompartirIgual 4.0 Internacional (CC BY-NC-SA 4.0) http://purl.org/coar/access_right/c_14cb application/pdf application/pdf https://rdigitales.uptc.edu.co/memorias/index.php/mate_estadistica/mate_estadistica/paper/view/834 |
| spellingShingle | Nájar Salinas, José Nicolás Una aproximación a los teoremas de incompletitud de Kurt Gödel |
| title | Una aproximación a los teoremas de incompletitud de Kurt Gödel |
| title_full | Una aproximación a los teoremas de incompletitud de Kurt Gödel |
| title_fullStr | Una aproximación a los teoremas de incompletitud de Kurt Gödel |
| title_full_unstemmed | Una aproximación a los teoremas de incompletitud de Kurt Gödel |
| title_short | Una aproximación a los teoremas de incompletitud de Kurt Gödel |
| title_sort | una aproximacion a los teoremas de incompletitud de kurt godel |
| url | http://repositorio.uptc.edu.co/handle/001/7820 |
| work_keys_str_mv | AT najarsalinasjosenicolas unaaproximacionalosteoremasdeincompletituddekurtgodel |
