aritmetizzazióne

aritmetizzazione

aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato da alcuni matematici nella seconda metà dell'Ottocento allo scopo di rendere più rigorosa l'analisi matematica, fondandola su una teoria dei numeri reali e, in definitiva, sull'aritmetica; (b) in partic., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III 55 c.