aritmetizzazione
La codifica di simboli, formule e dimostrazioni in numeri, reversibile. È la mossa tecnica che permette a un sistema di parlare di sé stesso.
Compare in volume VI
Come la richiudono le mappe di fine capitolo
- Volume VI · 6. Il programma e il teorema
-
La codifica di simboli, formule e dimostrazioni in numeri, reversibile. È la mossa tecnica che permette a un sistema di parlare di sé stesso.