[escepticos] RE ** Lenguajes JMienses

[Jose Ramón Brox]

>Imposible, porque una lógica solo vale para inferencias. No puede ser lo
>que Dios usó para crear el Universo.

No hablaba de una lógica, sino de una teoría de primer orden, que tiene en general 
potencia suficiente para construir un modelo de la máquina de Turing en su interior. Por 
ejemplo, la teoría de primer orden de Zermelo-Fraenkel (la de los conjuntos), que permite 
modelar la mayor parte de la matemática conocida (excepto la inducción sobre conjuntos), y 
obviamente modela cualquier sistema de computación universal conocido (porque modela las 
funciones recursivas).

>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.

Y para guardar el programa base y todos los cálculos intermedios, hay que añadirle una 
colección arbitrariamente grande de registros (o de cinta de memoria), que no posees (es 
decir, que no puedes construir con esos tres elementos). Una teoría de primer orden te 
permite construir los estados Y los registros, todo en un único lenguaje con sus 4 
símbolos.

Gran conversación ésta :D

Un saludo. Jose Brox