» Esercizi svolti di Matematica e Fisica

[¯|¯] Il gioco MU è impossibile

In precedenza avevamo visto il gioco MU. Vediamo ora la soluzione proposta da Hofstadter nel suo libro, precisando sin da ora che il gioco è impossibile (cioè non è possibile produrre la stringa MU a partire dalla stringa MI e applicando le regole).
Ricapitoliamo:

Simboli: M, I, U

Assioma: MI

Regole

1. Se xI è un teorema, allora lo è anche xIU

.

2. Se Mx è un teorema, allora lo è anche Mxx

.

3. In un qualunque teorema si può sostituire III con U
4. Si può cancellare UU da qualsiasi teorema

Definizione
Chiamiamo I-somma il numero di I in una stringa assegnata
(altro…)

Posted in Logica Matematica | No Comments »