Deprecated: Function set_magic_quotes_runtime() is deprecated in /home1/librodel/public_html/elfloridobyte/textpattern/lib/txplib_db.php on line 14
el florido byte: Vértigos de la frontera | navegaciones
el florido byteTOP 100 WEBLOGS .
edición nimage : 22 : 07 : 2006
cuaderno de internet y cultura

Boulé · Cosas que nunca sabremos · Filosofia, deliberacion y pensamiento: ‘Desde el campo de la lógica y las matemáticas, Kurt Gödel demostró los teoremas de limitación. Se trata de demostraciones complejas, pero una de las conclusiones que se desprenden de ellos es bien sencilla: cualquier intento de expresar las matemáticas a partir de un conjunto de fórmulas lógicas tendrá como consecuencia que este mismo conjunto pueda generar fórmulas “indecidibles”, es decir, fórmulas cuyo valor de verdad (o cuya consistencia con el resto) no puede ser determinado de un modo definitivo. Dicho de otro modo: no seremos capaces de demostrar si algunas fórmulas son compatibles con el sistema o no, no podremos saber si algunas fórmulas son verdaderas o no. Las interpretaciones de los teoremas de Gödel trascienden la propia lógica, y una de ellas podría ser precisamente esta: la razón tiene sus propios límites, y existen teoremas que no podrán ser demostrados nunca’.

6 de julio de 2006
comenta

'nombre', 'correo' y 'comentario' son campos requeridos.

nombre

correo

página web