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ù [...] di Boole. Di fatto, EC coinciderà con l'algebra dei clopen (insiemi simultaneamente aperti e chiusi) dello spaziotopologico EC+ i cui chiusi sono le classi elementari generalizzate.
Questo dipende dal teorema fondamentale della teoria dei modelli ...
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 [...] e Lev Semenovič Pontrjagin (1908-1988). Aleksandrov si occupava in quegli anni di topologia combinatoria e Tichonov della teoria dei metrizzabili e degli spazi compatti, che erano stati introdotti da Uryson e Aleksandrov. Pontrjagin si impegnò all ...
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 [...] del reticolo. Un importante caso speciale di un'algebra di Heyting è la collezione degli insiemi aperti di uno spaziotopologico T ordinato per inclusione, dove U→V:=Interno (V (T U)). Le operazioni logiche ∧, ⋁, →, ¬ corrispondono alle operazioni di ...
Leggi Tutto
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 [...] all’operazione di composizione. Di particolare importanza sono proprio i semigruppi di trasformazioni di spazi dotati di strutture topologiche, quali gli spazi vettoriali topologici o anche di Banach. In questo caso si parla di teoria dei semigruppi ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...
topologico
topològico agg. [der. di topologia] (pl. m. -ci). – Relativo alla topologia, nei suoi varî sign. In partic.: 1. In geografia, codice t., l’insieme dei segni di cui si serve la topologia per rappresentare i varî tipi di forme del...