El enigma de la incompletitud

<aside> 📌

****Este es el blog del proyecto de lógica matemática desarrollado por Helena Perilla y Manuel Valle.

</aside>

Objetivo Principal

Explorar la fascinante relación entre la incompletitud y la computabilidad, analizando tres dimensiones clave:

🔄 Funciones recursivas desde una perspectiva computacional
🧩 Conexión entre la no recursividad de $\operatorname{Thm}_A$ y la indecidibilidad del problema de la parada
🔍 Diagonalización como hilo conductor que une las contribuciones de Gödel, Turing y Cantor

Se encontrarán 5 cuadernos con bitácoras dentro de ellos. La entrada principal se encuentra en PROYECTO101.

También se puede visualizar la lista de todas las bitácoras debajo de los cuadernos.

[1] A. Rayo, On the Brink of Paradox: Highlights from the Intersection of Philosophy and Mathematics, The MIT Press, 2019.

[2] G. S. Boolos, J. P. Burgess, and R. C. Jeffrey, Computability and Logic, 5th ed., Cambridge: Cambridge University Press, 2007.

[3] J. Väänänen and A. Villaveces, Lenguaje, teorías y modelos, Eudeba, 2022.

61qJ-vof89L.SY522.jpg

[4] R. I. Soare, Turing Computability: Theory and Applications, 1st ed., Theory and Applications of Computability, 2016.

[5] H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, MIT Press, 1987.

[6] R. De Castro, Teoría de la computación: lenguajes, autómatas, gramáticas, Universidad Nacional de Colombia, 2004.