domenica 25 dicembre 2011

Il teorema di Gödel senza parole


P(z) è una formula che parla di formule utilizzando numeri.

P(G(P(z))) è una formula che parla della formula che corrisponde a G(P(z)), cioè sé stessa. Affermando di essere indimostrabile. Quindi vera.

Le altre parole sono qua.

4 commenti:

Juhan ha detto...

Anche con i disegni resta un argomento ostico. A natale poi ;-)
Uh! auguri!!!

zar ha detto...

Ostico eccome... Il disegno è il risultato dei tortellini natalizi :-)

Auguri anche a te!

Popinga ha detto...

Attenti al loop! Auguroni dal Popinga.

zar ha detto...

E che loop...