Carte El paraíso sin salida Abel Luis Peralta

El paraíso sin salida

Las paradojas encriptadas de la matemática moderna

Limbă: spaniolă
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 8-11 zile
239.29 lei
Se suele sostener que la paradoja de Russell es inevitable en sistemas que no estén altamente formal...

Informații despre carte

Limbă
spaniolă
Legare
Carte - Carte broșată
Publicat
2017
Pagini
100
EAN
9786202247962
Enbook ID
18660524
Greutate
167
Dimensiuni
150 x 220 x 6

Descriere completă

Se suele sostener que la paradoja de Russell es inevitable en sistemas que no estén altamente formalizados. Si se estudia la versión del barbero, una formalización sería: Barbero afeita a X si y sólo si X no afeita a X. Reemplazando X por "Barbero" se obtiene fácilmente una contradicción: Barbero afeita a barbero si y sólo si barbero no afeita a barbero. Sin embargo, si usamos una formalización menos reductiva, un lenguaje más rico (con tiempo y modo), tenemos: El barbero debe afeitar a X si y sólo si X no ha afeitado a X. Reemplazando X: El barbero debe afeitar al barbero si y sólo el barbero no ha afeitado al barbero. En lenguaje natural: El barbero debe afeitarse si no se ha afeitado. Es una conclusión trivial, de ningún modo paradójica. ?Es el exceso de formalización, y no la falta de ella (además de un lenguaje casi mutilado) lo que produce las paradojas? Desde este enfoque son analizados los teoremas de Gödel y de Turing (Halting Problem), y temas conexos, con la mira puesta en fomentar una alternativa constructivista.

Clienții care au cumpărat această carte au mai cumpărat și

88.19 lei

Barricades

J. Harsin
285.05 lei

Michael Symon's BBQ

Michael Symon
136.67 lei

Carmilla

Le Fanu Joseph Sheridan
41.92 lei
88.19 lei

PROOF

ADAM KUCHARSKI
126.39 lei

Milano

Aylie Lonmon
71.56 lei