Lavoisier Antoine-Laurent
Lavoisier 〈lavuasié〉 Antoine-Laurent [STF] (Parigi 1743 - ivi 1794) Membro, per la chimica, dell'Académie des sciences di Parigi (1768), con vari incarichi amministrativi, che [...] gli valsero poi la condanna a morte durante la Rivoluzione. ◆ [STF] [CHF] Algebra delle reazioni chimiche di L.: la moderna quantificazione quantitativa delle reazioni chimiche proposta da L.: v. chimica: I 576 a, f. ◆ [STF] [CHF] Legge di L. della ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] non resta una specie da una parte e dall'altra" (IV, p. 103). L'Aritmetica di Diofanto non è un libro di algebra, contrariamente a quanto si legge spesso, ma un vero e proprio trattato di aritmetica in cui si cercano, per esempio, due numeri quadrati ...
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
Casimir Hendrik Brugt Gerhard
Casimir 〈kàsimiir〉 Hendrik Brugt Gerhard [STF] (n. L'Aia 1909) Prof. di fisica teorica nel-l'univ. di Leida (1939). ◆ [MCQ] Effetto C.: nella forma più semplice, consiste [...] parallele, nel vuoto, dovuta alle fluttuazioni quantistiche del campo elettromagnetico: v. Casimir, effetto. ◆ [ALG] Invarianti, od operatori di C.: elementi di un'algebra di Lie che commutano con tutta l'algebra: v. gruppi di Lie: III 116 d. ...
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 [...] del primo ordine nel linguaggio di tali strutture, stabilisce in un tempo finito se la formula è vera in tutte le algebre di Boole.
Il teorema di Ionescu Tulcea. In una breve nota pubblicata nei "Rendiconti dell'Accademia dei Lincei" il matematico ...
Leggi Tutto
Stone Marshall Harvey
Stone 〈stóun〉 Marshall Harvey [STF] (New York 1903 - Amherst, Massachusetts, 1978) Prof. di matematica nella Harvard Univ. (1933) e poi nell'univ. di Chicago (1968) e del Massachusetts [...] (1973) ad Amherst. ◆ [ANM] Problema non commutativo di S.-Weierstrass: v. algebre di operatori: I 95 c. ◆ [PRB] Teorema di S.: (a) per un'algebra booleana: v. probabilità classica: IV 579 d; (b) per stati regolari: v. rappresentazioni delle relazioni ...
Leggi Tutto
Venn John
Venn 〈vèn〉 John [STF] (Drypool 1834 - Cambridge 1923) Prof. di logica nell'univ. di Cambridge (1862). ◆ [ALG] Diagrammi, o grafici, o circoli, di V. (detti spesso diagrammi di Eulero-V.): sono [...] chiuse che delimitano porzioni di piano allo scopo di mostrare graficamente le relazioni di verità degli enunciati e le operazioni dell'algebra di Boole; per es., la fig. mostra il diagramma di V. delle relazioni di inclusione e delle operazioni di ...
Leggi Tutto
Clifford William Kingdon
Clifford 〈klìfëd〉 William Kingdon [STF] (Exeter 1845 - Madera 1879) Prof. di matematica nell'University College di Londra (1871). ◆ [ALG] Algebre di C.: algebre, in genere non [...] 2n elementi base, ottenibili componendo n di essi, e₁,...,en, in base alle leggi ei2=-1, eiej=-ejei; esempi di tali algebre sono l'algebra dei numeri reali (n=0), dei numeri complessi (n=1) e dei quaternioni (n=2): v. gruppi classici, teoria dei: III ...
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).