Categoría: Lógica

  • Ya no estoy seguro de ser capaz de entender los instrumentos necesarios para comprender la realidad.

  • Reflexiones (mías y ajenas) XII

    Es incomprensible que alguien se declare ateo sin haber comprendido previamente los Teoremas de Gödel. Es incomprensible que alguien se declare creyente sin haber comprendido previamente los Teoremas de Gödel. Yo no he conseguido comprender los Teoremas de Gödel.

  • Reflexiones (mías y ajenas) XI

    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«.

  • Reflexiones (mías y ajenas) X

    Reflexiones (mías y ajenas) X

    El Teorema de Gödel nos dice que la matemática es ante todo semántica; la sintaxis viene después y es, sin duda, una herramienta indispensable y necesaria. Pero sin el apoyo previo de la semántica estaría vacía -aunque fuese interesante- como un sudoku o una partida de ajedrez. Tomado de Josep Pla i Carrera, «El Teorema […]