El Teorema de incompletitud (de Gödel), al mostrar los límites de la formalización, sugiere que nuestra mente es mucho más que una máquina y, al mismo tiempo, impide demostrar que nuestra mente es mucho más que una máquina. De nuevo una paradoja. Tomado del libro de Rebeca Goldstein, «Gödel, paradoja y vida«.