finitista

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 finito di tempo; sono procedimenti finitisti (detti anche costruttivi o effettivi), per es., i procedimenti elementari per eseguire le quattro operazioni, quello per decomporre un numero in fattori primi, l’algoritmo euclideo delle divisioni successive per trovare il massimo comune divisore tra due numeri, ecc.