Logico (Leopoli 1913 - Vancouver 1975), dal 1947 prof. all'univ. di Varsavia, dal 1956 membro dell'Accademia delle scienze polacca. È tra i più fecondi logici polacchi del secondo dopoguerra. Ha scoperto [...] analogie tra la teoria delle funzioni ricorsive e quella degliinsiemi boreliani (1946); ha dimostrato la insolubilità del problema della decisione per gli anelli e per gli anelli commutativi (1949); ha presentato un'originale formulazione del ...
Leggi Tutto
Matematico e logico russo (Preslavl´-Zalesskij 1861 - Ginevra 1945), prof. (dal 1922) all'univ. di Losanna. Si è occupato di problemi connessi alla teoria dei numeri. È stato il primo a sottolineare il [...] fatto che la teoria assiomatica degliinsiemi di Zermelo non esclude l'esistenza di insiemi (cosiddetti "insiemi straordinarî") all'interno dei quali esiste una catena infinita di insiemi legati dalla relazione di appartenenza. Tra i suoi lavori: Les ...
Leggi Tutto
Logico e matematico statunitense (n. New York 1931 - m. 2020), dal 1961 prof. al Queens college Flush ing di New York. I suoi risultati più importanti riguardano prove d'indipendenza relativa degli assiomi [...] della teoriadegl'insiemi. Tra i suoi lavori: Introduction to mathematic al logic (1964; trad. it. 1972), Boolean algebra and switching circuits (1970; trad. it. 1975), Beginning calculus (1985). Recentemente si era occupato della teoria dei giochi, ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] è insoluto. Numerose e importanti sono le sue connessioni con altri celebri problemi della teoriadegl'insiemi, quale, per es., il "Problema del continuo" (v. insieme, loc. cit.).
3. Costruzione di una misura sulla retta. - La proprietà di additività ...
Leggi Tutto
TOPOLOGIA ASTRATTA
S. Fac.
. La topologia (meno modernamente chiamata analysis situs; v. III, p. 87) si occupa delle proprietà invarianti degliinsiemi di punti nelle trasformazioni bicontinue (omeomorfismi), [...] delle infinite scelte arbitrarie (Zermelo).
Come esempio di una teoria che nella topologia generale si sviluppi in modo del dei numeri irrazionali). Come modello degli spazî 0-dimensionali si può assumere un noto insieme perfetto e di misura nulla di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] base da Stephen C. Kleene per la sua teoriadegli automi finiti.
Stabilità dell'eliminazione gaussiana. L'americano tale da dare luogo a una nuova forma di virus. I due otterranno, insieme a Salvador E. Luria, il premio Nobel 1969 per la medicina o la ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] modelli computazionali (neuronali, quantistici, molecolari).
Teoriadegli algoritmi e della complessità di calcolo
In f è una funzione unaria, x è una variabile e 0 una costante, avremo che l'insieme dei termini è: {0,x,f(0),f(x),f(f(0)),f(f(x)),…}. ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] dei campi algebricamente chiusi, la teoria dei gruppi abeliani divisibili, ecc.; esempi semplici di classi non elementari, nemmeno in senso generalizzato, sono la classe dei gruppi finiti, quelle degli anelli o degliinsiemi finiti, ecc. Centrale in ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] umana, il paradigma evoluzionistico - l'indeterminismo degliinsiemi - e quello del caos deterministico: anche nelle a Hegel, da Comte a Marx e a Spencer le teorie della storia come progresso componevano variamente un'interpretazione univoca del ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] continuo; se T⊂ℤ il sistema è a tempo discreto.
Le proprietà degliinsiemi dei comportamenti sono le proprietà del sistema stesso. Per esempio, S={T che fanno parte del corpo di metodi della teoria dei sistemi e le interazioni con altre materie e ...
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...