Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
spaniolă
114 b
Până la 30 de zile pentru returnare
Clienții au cumpărat de asemenea
/
Carte broșată
275.33
lei
/
Carte broșată
137.61
lei
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.
Informații despre carte
spaniolă
Categorii
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiBună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?