Los Teoremas de Gödel

Apuntes y material de interés sobre el trabajo de Kurt Gödel.

Teoremas

Gödel formuló dos teoremas centrales sobre los sistemas formales suficientemente expresivos (es decir, que pueden representar la aritmética de los números naturales).

Referencias

  1. «Teoremas de incompletitud de Gödel«, Wikipedia, web. Visitado: 2025.08.17. URL: https://es.wikipedia.org/wiki/Teoremas_de_incompletitud_de_G%C3%B6del.
  2. «Teorema de completitud de Gödel«, Wikipedia, web. Visitado: 2025.08.17. URL: https://es.wikipedia.org/wiki/Teorema_de_completitud_de_G%C3%B6del.
  3. «Gödel’s completeness theorem«, Wikipedia, web. Visited: 2025.08.17. URL: https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem.
  4. «Gödel’s incompleteness theorems«, Wikipedia, web. Visited: 2025.08.17. URL: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems.
  5. Natalie Wolchover, «How Gödel’s Proof Works«, quantamagazine.org, blog. Published: 2020.07.14; visited: 2025.08.17. URL: https://www.quantamagazine.org/how-godels-proof-works-20200714/.
  6. Author, «Title«, work, web. Published: 2024.07.16; visited: 2025.08.10. URL: .

Twitter Wordpress eMail
© Todos los derechos reservados.
Dr. Eduardo René Rodríguez Avila 		Creación: 2025.08.17
Última actualización: 2025.08.17
El contenido de este sitio puede ser copiado y reproducido libremente mientras no sea alterado y se cite su origen. Marcas y productos registrados son citados por referencia y sin fines de lucro o dolo. Todas las opiniones son a título personal del o los autores de éstas y, salvo que sea expresado de otro modo, deben considerarse como registro y expresión de la experiencia de uso de aquello que es tratado. Para conocer más sobre la posición de privacidad y responsabilidad de lo que se presenta en este sitio web y cómo ha sido obtenido, consulte la declaración al respecto.