aritmetica finitista parte dell’aritmetica che non comporta riferimenti all’infinito, allo scopo di evitare possibili contraddizioni in teoria dei numeri; si deve a D. → Hilbert il programma di adottare tale limitazione.
finitista
agg. [der. di finito, sul modello dell’ingl. finitist] (pl. m. -i). – In matematica e in logica, di procedimento o di dimostrazione che siano realizzabili con un numero finito di operazioni o di deduzioni, e quindi in un intervallo...
aritmetica
aritmètica (ant. arismètica e arismètrica) s. f. [dal lat. arithmetĭca (lat. mediev. arismet[r]ica), gr. ἀριϑμητική (τέχνη): v. aritmetico]. – 1. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri...