aritmetiżżazióne

aritmetizzazione

aritmetiżżazióne s. f. [der. di aritmetico]. – In logica matematica, a. della matematica, espressione con cui talora si indica il 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. Più in partic., con tale termine si intende un 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.