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...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Castellano |
| Published: |
Barcelona :
Antoni Bosch
D.L. 2006.
|
| Subjects: | |
| See on Biblioteca de la Universidad Pontificia de Salamanca: | https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=169037 |
| Summary: | 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 matemáticas y puso en tela de juicio diversas concepciones de la mente. Rebecca Goldstein, novelista y filósofa, explica la visión filosófica que inspiró los descubrimientos matemáticos de Gödel y revela el resultado inesperado de que sus teoremas fuesen malinterpretados por los representantes de las tendencias intelectuales más en boga de la época, desde el positivismo al postmodernismo. Paradójicamente, tanto Gödel como su íntimo amigo Einstein se sentían exiliados intelectuales, a pesar de que sus obras se citaban entre las manifestaciones más importantes del pensamiento del siglo XX. En el caso de Gödel, ese aislamiento tendría trágicas consecuencias. |
|---|---|
| Item Description: | Traducción de: The proof and paradox of Kurt Gödel. Índice. |
| Physical Description: | 259 p. |
| ISBN: | 9788495348234 |
