[escepticos] RE ** Lenguajes JMienses

[Jose Ramón Brox]

JM dijo:
>Con "guay" y "chungo" ya hay quien se lo monta, y le va guay.

Jajajajaja

La cuestión es cómo nos va a todos los demás ;-)

Estaba yo pensando:

a) Según Kronecker, Dios hizo los números enteros y el hombre inventó el resto.
b) Si lo único que hizo Dios fue los números enteros, entonces la realidad se basa en los 
números enteros.
c) Por tanto, si encontramos un lenguaje capaz de modelar los números enteros, tendremos 
un lenguaje que describe la realidad.
d) Existen en la lógica matemática lenguajes cuyas teorías sintácticas contienen modelos 
de la aritmética.
e) Cabe preguntarse entonces: ¿cuál es el MENOR lenguaje que contiene un modelo de la 
aritmética?
f) La respuesta es sabida: el de las teorías de primer orden.
g) La menor cantidad de símbolos que genera el lenguaje de las teorías de primer orden es:
¬ (negación), --> (implicación), V (para todo), = (igualdad)
que como vemos consta de 4 símbolos.
h) Por tanto, para escribir la realidad a Dios le bastaron 4 símbolos.

CONCLUSIÓN: Para describir la realidad desde el punto de vista humano, "guay" y "chungo" 
no están tan mal :P

Saludos fundamentados :D
Jose Brox