Botanica
Divisione di un regno floristico, o, secondo la nomenclatura di C.-H. Flahault, J. Braun-Blanquet, J. Pavillard e altri, unità fitogeografica di secondo ordine, subordinata alla regione floristica. [...] a proteggere gli Stati dalle interferenze dirette da parte degli organi dell’ONU nell’ambito della sfera interindividuale in viceversa assumere tali proprietà per definire particolari insiemialgebrici a due operazioni, i quali, poiché nascono ...
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
RICONOSCIMENTO
Paolo Ercoli
Giorgio Sommi
Luigia Carlucci Aiello
Giorgio Musso
Premessa: riconoscimento di configurazioni. − I primi tentativi di r. automatico, risalenti agli inizi del 20° secolo, [...] a mezzo di satelliti o la scansione degli spazi aerei e marini a mezzo radar, con le usuali convenzioni dell'algebra elementare. Un modello potrebbe caratteristiche fondamentali.
I sistemi di riscrittura sono insiemi finiti di regole del tipo: A→B ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] le regole logiche dell'algebra booleana. Analogie tra fig. 2) costituiscono così insiemi di aspettative e presupposizioni (attivati New Haven (Conn.) 1958 (trad. it. in La filosofia degli automi, a cura di V. Somenzi, R. Cordeschi, Torino 1994 ...
Leggi Tutto
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 [...] Rn e di R0 lasciando inalterati i contenuti degli altri registri;
3) per ogni n, m dice che x è una variabile libera di P. L'insieme delle variabili libere di P si indica con VL(P). teoremi in vari campi, dall'algebra booleana ternaria alla teoria dei ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] stesso, il corpo degli scalari essendo il corpo Γ dei numeri complessi; per uno dei teoremi di struttura suaccennati, Ω risulta un'algebra (algebra di Banach), includente Γ come sottoalgebra.
Si dice spettro di un operatore ω ε Ω l'insieme dei valori ...
Leggi Tutto
SVILUPPO, Limiti dello
Roberto Vacca
L'esistenza di l. dello s., almeno della popolazione, fu già intuita da G. Botero alla fine del Cinquecento. Alla metà del Settecento R. Wallace, precorrendo T.R. [...] livello è influenzato da più tassi e la somma algebrica dei tassi relativi a un livello equivale alla tassi di mortalità) e insieme: a) limitando la Wallace, Saggio sopra la differenza nel numero degli uomini nei tempi antichi e moderni (trad. ...
Leggi Tutto
Veltman, Martinus Justinus Godefridus
*
Fisico olandese, nato a Waalwijk (Brabante settentrionale) il 27 giugno 1931. Dopo aver conseguito nel 1963 il Ph.D. in fisica presso l'università di Utrecht, [...] University (California), ha fatto parte degli organi scientifici decisionali dei più importanti University of Michigan di Ann Arbor. Nel 1999, insieme a G. 't Hooft, ha ricevuto il teoria dei campi e, nell'algebra delle correnti, al teorema sul ...
Leggi Tutto
FRAENKEL, Abraham Adolf Halevi
Matematico israeliano di origine tedesca, nato a Monaco il 17 febbraio 1891 e morto a Gerusalemme il 15 ottobre 1965. Professore e direttore dell'Istituto matematico a [...] in cui i suoi studi hanno riguardato questioni di algebra come le relazioni degli anelli con i numeri g-adici (con g numero non primo), F. iniziò le sue ricerche sulla teoria assiomatica degl'insiemi dove ha dato i contributi più rilevanti. Scoprì ...
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 [...] 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 intersezione tra gli insiemi ...
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...
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...