Un sistema formal, es un sistema con el que se pretende capturar y abstraer la esencia de determinadas características del mundo real, con un modelo conceptual expresado en un determinado lenguaje formal.
Para definir un sistema formal, se requieren cuatro elementos:
Un alfabeto de símbolos.
Un conjunto de cadenas bien formadas llamadas axiomas.
Un conjunto finito de reglas de deducción.
Un conjunto de cadenas finitas bien formadas llamadas teoremas.
El acertijo MU, representa un pequeño sistema formal. Este acertijo fue planteado por Douglas Hofstadter en 1979 en su libro Godel, Escher, Bach. An Eternal Golden Braid
Para definir un sistema formal, se requieren cuatro elementos:
Un alfabeto de símbolos.
Un conjunto de cadenas bien formadas llamadas axiomas.
Un conjunto finito de reglas de deducción.
Un conjunto de cadenas finitas bien formadas llamadas teoremas.
El acertijo MU, representa un pequeño sistema formal. Este acertijo fue planteado por Douglas Hofstadter en 1979 en su libro Godel, Escher, Bach. An Eternal Golden Braid
 |
| Carácter MU en japonés. Wikipedia. |
