El sistema MIU

Para lograr un mejor afianzamiento de la noción de sistema

formal, cabe hacer alusión a un didáctico ejercicio que ha sido
planteado por el filósofo norteamericano Douglas Richard
Hofstadter (1945), en su libro Gödel, Escher, Bach: un Eterno
y Grácil Bucle. El ejercicio consiste en un sistema formal muy
sencillo que plantea un acertijo y que, a su vez, pertenece a una
clase de sistemas inventada por el lógico americano Emil Post,
conocida como Sistema de producción de Post.
Supongamos que disponemos únicamente de tres letras del
alfabeto: M, I y U. La combinación de estas letras o símbo-
los, uno tras otro, constituye una cadena. En toda cadena, las
letras están situadas en un orden establecido. Así, por ejemplo,
las cadenas MI e IM son dos cadenas diferentes. Algunas de las
cadenas que podemos formar con las letras M, I y U son: MU,
UIM, MUUMUU y UIIMIUUIMMIIUMIIUM.
A manera de juego, se trata entonces de partir siempre de la
cadena MI para hallar otras cadenas mediante la aplicación Con la publicación de su libro Gödel, Escher, Bach:
de cuatro reglas nada más. Eso sí, bajo la condición expresa de un Eterno y Grácil Bucle, Douglas Hofstadter ganó
aplicar una sola regla cada vez, y a la cadena inmediatamente el premio Pulitzer en 1980.
anterior. Para enunciar estas reglas, recurriremos al concepto
de variable, entendiendo así que con la letra x nos referimos a
otros símbolos o, incluso, a espacios vacíos. Las reglas son las
siguientes:

Regla 1: De xI se deriva xIU. En otras palabras, si se tiene una cadena cuya última letra
es I, se le puede agregar una U al final. Por ejemplo:
1 MI (axioma).
2 MIU (regla 1).
También, de MIII se deriva MIIIU; de IIMII se deriva IIMIIU.

Regla 2: De Mx se deriva Mxx. En otras palabras, si se tiene una cadena Mx, enton-
ces se duplica todo aquello que represente x, obteniendo como resultado Mxx. Por
ejemplo:
1 MI (axioma).
2 MIU (regla 1).
3 MIUIU (regla 2).
También, de MUM se deriva MUMUM; de MU se deriva MUU.
 Regla 3: De xIIIx se deriva xUx. En otras palabras, si en una cadena aparece la secuen-
cia III, puede elaborarse una nueva cadena sustituyendo III por U. Por ejemplo:
1 MUMIIIMU.
2 MUMUMU (regla 3).
También, de MIII se deriva MU; de MIIII se deriva MIU o MUI, dependiendo de las
íes que se quieran sustituir. Pero de IIMII no podemos derivar nada aplicando esta
regla, porque las íes deben ser consecutivas.

Regla 4: De xUUx se deriva xx. En otras palabras, si tenemos dos U seguidas en el

interior de una cadena, podemos eliminarlas y formar, así, otra cadena. Por ejemplo:
1 MUUUIII.
2 MUIII (regla 4).
También, de UUU se deriva U.

Así pues, las cadenas generadas mediante el empleo de estas reglas de inferencia se llaman
teoremas. Todo sistema formal cuenta con reglas de inferencia de símbolos, tales como las
cuatro reglas del sistema MIU. Dado que MI es siempre el teorema inicial del sistema MIU,
recibe el nombre de axioma. Un sistema formal puede tener cero, uno, varios o infinitos
axiomas.
En el siguiente ejemplo, podemos hacer explícitos los pasos para derivar MUIIU, de acuer-
do con las reglas permitidas en el sistema:
1 MI (axioma).
2 MII (regla 2).
3 MIIII (regla 2).
4 MIIIIU (regla 1).
5 MUIU (regla 3).
6 MUIUUIU (regla 2).
7 MUIIU (regla 4 en 6).
 ACTIVIDAD
1 Empleando todas las reglas aplicables al axioma MI, deriva, paso por paso, las siguientes cadenas.
Recuerda explicar qué reglas estás utilizando.

MIIUIIU MIUIUIUIU

MUI MIUIU

2 Intenta resolver el siguiente acertijo planteado por Hofstadter: ¿Es MU un teorema del sistema MIU?
¿Cuáles son los problemas con los que te enfrentas al tratar de encontrar MU? ¿Estás pensando desde
“adentro” del sistema o también estás haciendo consideraciones externas?

3 ¿Crees que nuestra mente funciona de manera similar a un sistema formal? Justifica tu respuesta.