domingo, 29 de julio de 2012

A propósito de Gödel

El teorema de incompletitud de Gödel expresa el término de incertidumbre en matemática. Ya hemos visto como en lógica metaestructural el término de incertidumbre ocupa un papel fundamental, aportando una nueva perspectiva a la lógica clásica. El ejemplo de la frase contradictoria: “Los cretenses siempre mienten.” Es un ejemplo claro de término de incertidumbre, no es posible saber la exactitud de la aserción, es decir, pueden mentir, decir la verdad, o las dos cosas a la vez.

No hay comentarios:

Publicar un comentario