Enlaces: |
![](http://science-h.com/sh/assets/temas/umad/img/tema/globe.png)
En su artículo “¿Ignoramus et ignorabimus?” Carlos Torres, discute la posibilidad de construir teorías formales, específicamente matemáticas que sean decidibles y cabalmente demostrables. Para ello, recorre puntualmente el desarrollo de las investigaciones de Hilbert durante más de tres décadas, a…
|