[¯|¯] Il gioco MU è impossibile

martedì, Febbraio 12th, 2019

gioco mu, mu puzzle,hofstadter,assiomi,teoremi

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

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

    3. .

  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 »