Cerca in:
algebra di Boole
Enciclopedia della Scienza e della Tecnica (2008)
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] uno spazio topologico. Algebre di Boole sono invece i reticoli dei clopen (gli insiemi aperti e chiusi) di uno spazio topologico mentre di Boole e σ-completa (chiusa cioè rispetto a infimi e supremi di famiglie numerabili) è l’algebra dei boreliani ...
Leggi Tutto
misura di Wiener
Enciclopedia della Scienza e della Tecnica (2008)
misura di Wiener
Luca Tomassini
Una misura di probabilità sullo spazio C([0,1],ℝ) delle funzioni continue a valori reali sull’intervallo chiuso [0,1] definita come segue. Siano 0⟨t1⟨...⟨tν≤1 punti arbitrari [...] di tutte le funzioni x∈C([0,1],ℝ) tali che x(tκ)∈Aκ, k=1,...,n. Se gli Aκ sono intervalli chiusi in ℝ allora gli insiemi C(t1,...,tν;A1,...,Aν) sono detti cilindrici: gli stessi Aκ sono le basi di questi ‘cilindri’. La misura di Wiener μϬ è definita ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica matrici per il calcolo intuizionistico proposizionale sottoinsiemi chiusi di uno spazio topologico e sviluppando ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] P, si dice che x è una variabile libera di P. L'insieme delle variabili libere di P si indica con VL(P).
Il risultato [N a con qualche termine già occorrente nel ramo si ottiene un ramo chiuso. Ciò è illustrato dal seguente albero che mostra che ¬A(n ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
Storia della Scienza (2003)
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 [...] dovuta a Henri Cartan, usa nella sua definizione i sottoinsiemi chiusi invece di quelli aperti) e di coomologia a valori in 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 ...
Leggi Tutto
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
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ù [...] . Data la famiglia {Mi}i∈I di strutture e l'ultrafiltro F in P(I) (ultrafiltri di P(I) sono le famiglie di insiemi chiuse rispetto a intersezioni finite e passaggio ai sovrainsiemi tali che se X∉F allora ∼X∈F), l'ultraprodotto ΠMi∈I /F si ottiene ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] almeno uno dei due giocatori. è facile vedere che certi giochi sono determinati, per esempio i giochi (in cui gli insiemi sono) chiusi. Con l'assioma di scelta si dimostra che esiste almeno un gioco non determinato, quindi l'assioma di determinatezza ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] tecniche riguardanti la risoluzione di equazioni algebriche. Anche i campi sono ancora concepiti prevalentemente come insiemi di numeri complessi chiusi rispetto alle quattro operazioni e, in un primo momento, troviamo definiti solamente i gruppi di ...
Leggi Tutto
connessione
Dizionario delle Scienze Fisiche (1996)
connessione
connessióne [Der. del lat. connessio -onis, dal lat. connexus (→ connesso) "l'essere connesso, il modo in cui si è connessi"] [ALG] [ANM] Generic., legame di dipendenza fra due o più grandezze [...] sistemi dinamici: V 291 b. ◆ [ALG] C. semplice: quella di un insieme semplic. connesso (v. oltre: Ordine di c.). ◆ [MCF] [TRM] non sia banale) è dato dal numero massimo di tagli chiusi che si possono praticare sulla superficie senza farne venire meno ...
Leggi Tutto
teoria dei semigruppi
Enciclopedia della Scienza e della Tecnica (2008)
teoria dei semigruppi
Luca Tomassini
Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] ). Un fatto, questo, che appare naturale a causa dell’enorme varietà di esempi di semigruppi tra i quali ricordiamo: insiemi di numeri chiusi per addizione o moltiplicazione, semigruppi di matrici, di funzioni rispetto al prodotto f*g(x)=f(x)g(x) ma ...
Leggi Tutto