MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] . Crossley), ivi 1967; Applications of model theory to algebra, analysis and probability (a cura di W.A.J. Luxembourg), New York 1969. In italiano, costituisce opera d'insieme sull'argomento il volume di M.L. Dalla Chiara Scabia, Modelli sintattici e ...
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 [...] verità degli enunciati e le operazioni dell'algebradi Boole; per es., la fig. mostra il diagramma di V. delle relazioni di inclusione e delle operazioni di intersezione tra gli insiemi R dei rettangoli, L dei rombi e Q dei quadrati, nell'universo P ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] una vera e propria industria libraria in grado di poter contare su tirature di migliaia di copie per i manuali dialgebra, di geometria e di calcolo infinitesimale più adottati, come quelli di Sylvestre-François Lacroix (1765-1843) o Adrien-Marie ...
Leggi Tutto
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 [...] -1943) nel 1915 ne fornirà una senza scelta.
Il principio di scelta non interviene solamente nei lavori classificati tecnicamente come lavori di teoria degli insiemi. Nel lavoro algebricodi Richard Dedekind (1831-1916) si trovano esempi notevoli del ...
Leggi Tutto
Ordinare il mondo
Paolo Zellini
La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] F.L.Ph. Cantor (1845-1918) come una classe di equivalenza diinsiemidi numeri razionali, Karl T.W. Weierstrass (1815-1897) come una classe di equivalenza diinsiemidi razionali con somma limitata. Analogamente vi sono diverse definizioni possibili ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] secondo Borel contiene un insieme perfetto. Un altro studente di Luzin, Michail Jakovlevič Suslin (1894-1919) si serve del lavoro di Aleksandrov per introdurre nel 1917 una nuova classe diinsiemi (detti insiemidi Suslin o analitici). Anche ...
Leggi Tutto
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 [...] è presentata nel testo di Weber solamente dopo un esame di circa cinquecento pagine di altre tecniche riguardanti la risoluzione di equazioni algebriche. Anche i campi sono ancora concepiti prevalentemente come insiemidi numeri complessi chiusi ...
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 [...] ∧b≤c se a≤b→c, per tutti gli elementi a,b,c del reticolo. Un importante caso speciale di un'algebradi Heyting è la collezione degli insiemi aperti di uno spazio topologico T ordinato per inclusione, dove U→V:=Interno (V (T U)). Le operazioni logiche ...
Leggi Tutto
MENGOLI, Pietro
Marta Cavazza
MENGOLI, Pietro. – Nacque a Bologna da Simone e da Lucia Uccelli secondo diversi studiosi nel 1625, ma più probabilmente nel 1626.
Quest’ultima data è dedotta da una testimonianza [...] di R. Descartes e dell’algebradi F. Viète. Già prima di laurearsi, nel 1648-49, ottenne dal Senato bolognese di primo libro, nel quale vede prefigurata «quasi una teoria degli insiemi ante litteram», dovrebbe essere assolto da tale accusa (1979, p ...
Leggi Tutto
topologia
topologia termine che indica sia un settore disciplinare della matematica sia la famiglia (o collezione) diinsiemi aperti (o semplicemente aperti) che definisce uno → spazio topologico.
La [...] descritti, presentati come entità puramente algebriche. Un secondo filone di ricerche che è confluito nella topologia è quello insiemistico che deriva da G. Cantor e dai suoi studi su arbitrari insiemidi punti dello spazio euclideo n-dimensionale ...
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...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...