METADOSSI AUTOREFERENZIALI

Elabora l'espressione:

Siamo parole = ogni possibile espressione

Soluzione triviale (esempio)
Siamo quattro parole = ogni possibile e spressione * 0+4


Trova una soluzione non triviale

TRASFORMAZIONI METAGODELIANE

Frase Godel:

Se la matematica e' coerente, allora non e' completa

Esempio di una trasformazione metagodel:
Un sistema non contiene tutti i suoi stati antecedenti e futuri


Cerca una trasformazione metagodel

METAMATEMATICA NON COMPUTAZIONALE

A quali condizioni la seguente espressione e' vera?

Cerchio = retta
Sono un cerchio = sono una retta (esempio)
Sono un cerchio = sono una retta
VEDI: siamo parole = ogni possibile espressione

Trova una soluzione non triviale