sigma
sigma [Lat. sigma, gr. sígma] [LSF] La 18a lettera dell'alfabeto gr., corrispondente alla s lat.; la forma min. è σ, quella maiusc. Σ. ◆ [ALG] Σ è il simb. di una sommatoria o di una serie. ◆ [FSN] [...] suo logaritmo coincide con la funzione p di Weierstrass. ◆ [ANM] Misura s.-additiva (σ-additiva): misura additiva riferita a una σ-algebra. ◆ [ANM] Misura s.-finita (σ-finita): misura μ definita su uno spazio S, se S è un'unione numerabile di insiemi ...
Leggi Tutto
L'Eta dei Lumi: matematica. Matematica pura e applicata nel XVIII secolo
Ivor Grattan-Guinness
Matematica pura e applicata nel XVIII secolo
Nel presente volume la determinazione cronologica 'Settecento' [...] pubblicato in nuove edizioni fino ai primi decenni del XX secolo. Il manuale di Euler è stato citato in precedenza. L'algebra fu applicata alla teoria dei numeri, ma pochi matematici vi si dedicarono, anche se a farlo furono i migliori. Euler ...
Leggi Tutto
semigruppo
semigruppo [Comp. di semi- e gruppo] [ANM] Insieme nel quale è definita un'operazione di composizione per la quale valgano la proprietà associativa e le regole di semplificazione destra e [...] sinistra: v. semigruppo. ◆ [ANM] S. analitico: v. semigruppo: V 170 e. ◆ [ANM] S. con identità: v. algebra: I 91 c. ◆ [ANM] S. C0: v. semigruppo: V 168 b. ◆ [ANM] S. C0 di contrazioni: v. semigruppo: V 170 b. ◆ [ANM] S. dinamico quantistico: un ...
Leggi Tutto
KOSZUL, Jean-Louis
Carlo Cattani
Matematico francese, nato a Strasburgo il 3 gennaio 1921. Professore all'università di Strasburgo dal 1956 al 1963, e poi all'università di Grenoble; insignito dell'Ordine [...] complesso filtrato sugli operatori di derivazione in un anello. K. ha dato contributi essenziali all'omologia e alla coomologia delle algebre di Lie (1947-49): a lui spetta il merito di aver introdotto la nozione di omologia di un S-modulo costruendo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] → tale che a∧b≤c se a≤b→c, per tutti gli elementi a,b,c del reticolo. Un importante caso speciale di un'algebra di Heyting è la collezione degli insiemi aperti di uno spazio topologico T ordinato per inclusione, dove U→V:=Interno (V (T U)). Le ...
Leggi Tutto
semplice
sémplice [agg. Der. del lat. simplex -icis, comp. delle radici sem- "uno solo" e plec- di plectere "allacciare", plicare "piegare", ecc.] [LSF] Che è costituito di un solo elemento e non può [...] a, cioè soddisfacente la relazione f(a)=0, tale che limx→a[f(x)/(x-a)] sia un numero finito non nullo; se l'equazione è algebrica, ciò significa che f(x) è divisibile per (x-a) ma non per (x-a)2. ◆ [ALG] Rapporto s.: relativo a tre punti allineati A ...
Leggi Tutto
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 [...] concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di ...
Leggi Tutto
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] di equivalenza): per es., un vettore è l'a. di una classe di segmenti equipollenti. ◆ [ALG] Algebra a.: detta pure algebra moderna o semplic. algebra: v. algebra: I 91 a. ◆ [LSF] Scienze a.: quelle (come la matematica, la logica, ecc.) che non hanno ...
Leggi Tutto
mappa
mappa [Lat. mappa, di origine punica] [LSF] Ogni rappresentazione grafica piana di una porzione della superficie terrestre (lo stesso che carta geografica o topografica) e, estensiv., della superficie [...] di un corpo in genere. ◆ [ALG] (a) Generic., sinon. di applicazione nella teoria degli insiemi e di morfismo nell'algebra astratta. (b) Con signif. specifico, data un'applicazione biunivoca e bicontinua tra due spazi topologici S e S' che applichi l' ...
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 teoria degl'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
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...
algebraico
algebràico agg. [der. di algebra] (pl. m. -ci), ant. – Algebrico: più quantità complesse a. ammettono un comune divisore (Beccaria); gli uomini del dì d’oggi vogliono dappertutto analisi, dimostrazioni e ciffre a. (A. Verri).