[escepticos] RE ** Lenguajes JMienses

[Xan Cainzos]

Jose Ramón Brox dixit:
>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

Demostracion invalida: La existencia de Dios no esta probada.
     Saludos
-- 
------------------------
Mail Adress: Xan Cainzos
              Dpto. Analise Matematica - Facultade de Matematicas
              Universidade de Santiago de Compostela
              15782 Santiago de Compostela
              SPAIN