-
Hace unos días acepté el desafío que me propuso mi hijo: leer ambos al mismo tiempo el libro de Steven Pinker “En defensa de la Ilustración” que me había regalado por mi cumpleaños. Tras leer el segundo capítulo no pude evitar salir corriendo a mi biblioteca a buscar dos libros. Ambos escritos por admirados colegas…
-
«…algo se nos ha debido pasar por alto…» Roger Penrose en la última frase del último capítulo de «El Camino a la realidad«. Foto de Roger Penrose de Wikipedia.
-
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«.
-
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…
-
Una definición impredicativa es aquella en la cual el término que se quiere definir forma parte del conjunto que se usa para definirlo. «Hay que evitar las definiciones impredicativa» (Gödel)
-
Si no eres capaz de expresar una idea con formulación matemática, es entonces cuando puedes escribir un poema.