[escepticos] RE ** Lenguajes JMienses

[Moreno]

Imposible, porque una lógica solo vale para inferencias. No puede ser lo
que Dios usó para crear el Universo. Tiene que ser algo dinámico, capaz
de cambiar el estado del Universo a cualquier otro estado posible. Y si
aceptamos la tesis de Church-Turing, necesitamos solo un lenguaje de
tres elementos:
1.- un enunciado que incremente en 1,
2.- un enunciado que decremente en 1,
3.- un enunciado que repita enunciados mientras un identificador sea
distinto de 0.

El primero podría ser "guay", el segundo "chungo", y solo con otro más
ya tenemos el lenguaje completo.


On Fri, 12 Sep 2008 12:41:58 +0200, "Jose Ramón Brox"
<ambroxius en terra.es> said:
> 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 
> 
> _______________________________________________
> Escepticos mailing list
> Escepticos en dis.ulpgc.es
> http://correo.dis.ulpgc.es/mailman/listinfo/escepticos

-- 
http://www.fastmail.fm - Does exactly what it says on the tin