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
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
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...