Enlaces: |
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…
|