gödelizzazióne

sf. [dal nome di K. Gödel]. In logica matematica, sinonimo di aritmetizzazione della sintassi.

Trovi questo termine anche in:

Quiz

Mettiti alla prova!

Testa la tua conoscenza e quella dei tuoi amici.

Fai il quiz ora