Perspective Beyond · Mind Atlas
Gödel, máquinas de Turing y la pregunta de qué queda fuera
Gödel, máquinas de Turing y la pregunta de qué queda fuera
¿Qué ocurre si intento ampliar indefinidamente un sistema formal para incluir las afirmaciones que antes no podía decidir?