Gödel paradoja y vida
Kurt Gödel está considerado el lógico más importante desde Aristóteles. Su teorema de incompletitud demuestra que en todo sistema formal de aritmética existen enunciados verdaderos que, sin embargo, no pueden demostrarse. Su publicación ocasionó una conmoción que trascendió las fornteras de las mate...
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
Barcelona :
Antoni Bosch
D.L. 2006.
|
| Materias: | |
| Ver en Biblioteca de la Universidad Pontificia de Salamanca: | https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=169037 |
Solicitar por préstamo interbibliotecario:
Correo
| Formulario
