Enrique Arias Valencia
Este argumento es lynguylylynguy.
Nada de lo que es lynguylylynguy es longololongo.
Todo lo que es válido, es longololongo.
Por lo tanto, este argumento no es válido.
Y sin embargo, lo es.
El teorema de Gödel:
PROPOSICIÓN VI. “A toda clase c de fórmulas w-consistente recursivas le corresponde una clase-signo r tal que ni v Gen r ni Neg (v Gen r) pertenecen a Flg(c), donde v es la variable libre de r”.
Teoremas del argumento lynguylylynguy
La proposición VI es longololongo.
La proposición VI se refiere a todas las clases c de fórmulas w-consistente recursivas.
El argumento lynguylylynguy pertenece a las clases c de fórmulas w-consistente recursivas.
El argumento lynguylylynguy es recursivo.
El argumento lynguylylynguy corresponde a una clase-signo r tal que ni v Gen r ni Neg (v Gen r) pertenecen a Flg(c), donde v es la variable libre de r.
Sustitución:
Sea v "la validez del argumento lynguylylynguy".
Por lo tanto:
El argumento lynguylylynguy corresponde a una clase-signo r tal que ni la validez del argumento lynguylylynguy Gen r ni Neg (la validez del argumento lynguylylynguy Gen r) pertenecen a Flg(c), donde la validez del argumento lynguylylynguy es la variable libre de r.
Sea Gen r "afirmar"
Sea Neg "Negar"
Sea pertenecer a Flg (c) "poder decidir"
El argumento lynguylylynguy corresponde a una clase-signo r tal que ni afirmar la validez del argumento lynguylylynguy ni negar la validez del argumento lynguylylynguy pueden decidirse en el sistema, donde la validez del argumento lynguylylynguy es la variable libre de r.
Por lo tanto:
El argumento lynguylylynguy es una proposición formalmente no decidible.
Por lo tanto:
El argumento lynguylylynguy se refiere a La proposición VI.
Neuromante: El blues del ciberespacio
-
Saludos, habitantes de la World Wide Web. Como quizá lo hayan notado si
siguen este humilde blog, he dedicado el presente año casi por completo al
estud...
Hace 2 días.
No hay comentarios.:
Publicar un comentario