LDR
|
·····nam##22·····#a#4500
|
008
|
160912s2011####sp#a##########000#0#spa#d
|
100 |
1# |
$a Fresán, Javier. |
245 |
13 |
$a El sueño de la razón : $b la lógica matemática y sus paradojas / $c Javier Fresán. |
260 |
## |
$a Villatuerta : $b RBA, $c 2011. |
300 |
## |
$a 141 p. : $b il. ; $c 24 cm. |
490 |
#0 |
$a El mundo es matemático |
500 |
## |
$a En el primer tercio del siglo pasado, dos lógicos eminentes propinaron sendos mazazos a los pilares del imponente edificio matemático que se había ido erigiendo desde tiempos de Euclides. Algunos quisieron ver en los trabajos de Bertrand Russel y Kurt Gödel la derrota de la razón; otros, por el contrario, partieron de aquéllos para conducir a la lógica a los nuevos y fascinantes territorios de la informática y lo difuso. |
653 |
## |
$a METODO AXIOMATICO. |
653 |
## |
$a TEORIA DE CONJUNTOS. |
653 |
## |
$a PROGRAMA DE HILBERT. |
653 |
## |
$a TEOREMAS DE GODEL. |
653 |
## |
$a MAQUINAS DE TURING. |