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 ...
Leggi Tutto
paradosso1
paradòsso1 agg. e s. m. [dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; come sost., dal gr. παράδοξον (neutro sostantivato), lat. paradoxum]. – 1. agg. Che va contro [...] (per es., il p. del mentitore, v. mentitore), gli altri relativi alla teoria degli insiemi e alle sue implicazioni logico-matematiche (per es., il p. di Russell, che può essere così enunciato: «l’insieme di tutti gli insiemi che non comprendono ...
Leggi Tutto
funtore
funtóre s. m. [der. di funto, part. pass. di fungere]. – 1. non com. Chi esercita un ufficio o adempie una funzione, spesso a carattere provvisorio o temporaneo. 2. In matematica, funzione che [...] interviene in una particolare trasformazione fra categorie; anche, la trasformazione stessa. 3. In logica, operatore che associa un individuo (cioè un soggetto) a un altro o a una serie di altri individui. ...
Leggi Tutto
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 ...
Leggi Tutto
corollario
corollàrio s. m. [dal lat. corollarium, der. di corōlla, dim. di corōna «corona»]. – 1. Nell’antica Roma, gratifica che si dava agli attori oltre la retribuzione normale, consistente di solito [...] corone d’oro o d’argento. 2. Nella logica, proposizione che si deduce da una verità già dimostrata: da quanto detto si può dedurre questo c.; Darotti un c. ancor per grazia (Dante). 3. In matematica, teorema che si deduce come diretta e immediata ...
Leggi Tutto
terzo
tèrzo agg. num. ord. e s. m. [lat. tertius, der. di tres «tre»]. – 1. agg. a. Che, in una sequenza ordinata, occupa il posto corrispondente al numero tre, viene cioè dopo altri due (in cifre arabe [...] che si aggiunge o si considera dopo altre due. Per il principio del t. escluso, nella logica aristotelica e in matematica, v. escluso. Non com., in matematica, t. continuo proporzionale dopo due numeri a e b, il numero c tale che valga la proporzione ...
Leggi Tutto
piu
più (ant. o pop. tosc. piùe) avv. e agg. [lat. plūs, compar. neutro di multus «molto»]. – 1. avv. a. Come comparativo dell’avv. molto, significa «in maggior quantità, in maggior misura», contrapponendosi [...] con cui si afferma la maggiore possibilità o necessità logica di qualche cosa, a confronto di altra detta più); non poterne più, essere al limite della sopportazione. d. In matematica, indica l’addizione e si esprime con il simbolo + (che ha esso ...
Leggi Tutto
mathesis
‹màteṡis› s. f. [traslitt. del gr. μάϑησις, dal tema μαϑ- di μανϑάνω «imparare»]. – Termine che significa propriam. «apprendimento, conoscenza», adottato nel linguaggio filosofico e matematico [...] piuttosto il progetto) di una scienza matematica universale, distinta dalle altre discipline matematiche (aritmetica, geometria, ecc.) e (v. combinatorio), cioè il metodo di un calcolo logico che, partendo da poche nozioni primitive e utilizzando un ...
Leggi Tutto
connessione
connessióne s. f. [dal lat. connexio -onis, der. di connexus, part. pass. di connectĕre «connettere»]. – 1. L’essere connesso, intima unione fra due o più cose; per lo più fig., legame di [...] sue frasi hanno la c. rapida, splendida, stringente della sua logica (Foscolo). 2. a. In diritto processuale civile, vincolo esistente rete telematica: c. a Internet. 4. In matematica e nelle sue applicazioni, genericamente, legame di dipendenza fra ...
Leggi Tutto
tipo
s. m. [dal lat. typus, gr. τύπος «impronta; carattere, figura, modello», dal tema di τύπτω «battere»]. – 1. Con il sign. originario di impronta, fatta battendo o premendo, si conserva in due accezioni [...] corpo, per cui si distinguono animali di t. longilineo o dolicomorfo, di t. brevilineo o brachimorfo, e di t. mediolineo o mesomorfo. e. In logicamatematica, teoria dei t., quella elaborata a diverse riprese e con diverse denominazioni (teoria dei t ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti...