intuizionista

intuizionista

s. m. e f. e agg. [der. di intuizionismo] (pl. m. -i). – Sostenitore o seguace dell’intuizionismo. Come agg., relativo all’intuizionismo, spec. con riferimento alla filosofia della matematica: teoria i., matematica i.; logica i., quella fondata sui principî dell’intuizionismo, e quindi sull’uso di concetti matematici primitivi, cioè di tipo intuitivo e costruttivo (come la serie dei numeri naturali), e caratterizzata tra l’altro dal rifiuto del principio del terzo escluso, del concetto di infinito attuale, ecc.