decidibilita
decidibilità termine utilizzato nella teoria della calcolabilità per indicare l’esistenza di una procedura algoritmica che permetta di stabilire, in un numero finito di passi, se una data [...] il suo insieme complementare. Nel contesto della teoria della ricorsività, gli insiemi decidibili e formula con la decidibilità di un calcolo. Per esempio il calcolo degli enunciati è decidibile perché per ogni enunciato è possibile stabilire, ...
Leggi Tutto
mondi possibili
Claudio Pizzi
La nozione di mondi possibili si fa risalire storicamente a Gottfried Wilhelm Leibniz, che intendeva i mondi possibili come idee nella mente di Dio. Nella metafisica di [...] semantica a mondi possibili. In questa teoria la necessità di una proposizione p coincide Fraassen (mondi possibili come insiemi di enunciati consistenti), e dato). Una quarta corrente è quella degli attualisti come William Lycan e Alvin Plantinga ...
Leggi Tutto
calcolo combinatorio
calcolo combinatorio settore disciplinare che studia i modi di scegliere, raggruppare e ordinare oggetti appartenenti a uno o più insiemi finiti, con l’obiettivo finale di enumerare [...] cui il calcolo combinatorio si applica anche alla teoria dei grafi, allo studio delle cardinalità di famiglie di insiemi soggette a particolari vincoli di intersezioni o all’analisi della complessità degli algoritmi finiti. Inoltre, poiché molti dei ...
Leggi Tutto
grafo, nodo di un
grafo, nodo di un elemento di un → grafo posto in relazione con altri attraverso archi. Un grafo G(X, A) è definito come una coppia di insiemi, l’insieme X dei nodi o vertici e l’insieme [...] A degli archi; il primo è rappresentabile come un insieme di punti, mentre il secondo come un insieme di linee, gli archi, che collegano i punti. Nella teoria dei grafi assume un ruolo importante il grado (detto anche ordine o valenza) di un nodo del ...
Leggi Tutto
Venn, John
Filosofo e logico inglese (Drypool, Yorkshire, 1834 - Cambridge 1923). Compì i suoi studi a Cambridge, dove poi (dal 1862) insegnò, rimanendovi per tutta la sua esistenza. Curato in varie [...] mostrare graficamente le condizioni di verità degli enunciati ovvero le operazioni dell’algebra di inclusione e le operazioni di intersezione tra gli insiemi R dei rettangoli, L dei rombi e figura. Nel campo della teoria della probabilità V. propose ...
Leggi Tutto
categoricita
categoricità proprietà di un insieme di assiomi che vale se due qualsiasi modelli della teoria da essi formalizzata sono isomorfi tra loro, hanno cioè la stessa struttura. In generale, una [...] le proprietà e le relazioni fondamentali. Un modello per una teoria è un insieme di oggetti che soddisfano tali assiomi. Per esempio, gli assiomi della geometria euclidea definiscono degli enti geometrici astratti, denominati punti e rette, e le ...
Leggi Tutto
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] nei primi decenni del Novecento come conseguenza degli studi sugli insiemi infiniti sviluppatisi negli anni precedenti. Infatti numeri interi) mentre le funzioni appartengono a un insieme non numerabile: questo implica che devono esistere funzioni ...
Leggi Tutto
sistemica
sistemica o teoria dei sistemi, branca disciplinare che ha per oggetto lo studio dei sistemi, cioè di insiemi di parti tra loro collegate o interfacciate in una struttura complessiva (→ sistema [...] anche quantitativa del funzionamento dei sistemi. Accanto allo studio dei sistemi inanimati, nella teoria dei sistemi può essere fatto rientrare anche lo studio degli esseri viventi intesi sia come un tutto unico, sia come veri e propri sistemi ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...