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. [...] ne ha uno, è riuscito, fra il 1936 e il 1941, a esibire validamente la cardinale significanza del teoremadicompattezza, nonché a prospettarne feconde applicazioni in campo algebrico; infine, dal 1950 circa, Robinson ha saputo attingere una serie ...
Leggi Tutto
Parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui quelle espressioni sono valide.
Cenni storici
Sebbene l’espressione teoria dei m. sia stata usata per la prima volta da Tarski all’inizio degli anni Cinquanta, molti ... ...
Leggi Tutto
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ù significativi dell'indagine logica contemporanea, per le sue interessanti applicazioni all'algebra, alla geometria algebrica, ... ...
Leggi Tutto
Giulio SUPINO
Gino SACERDOTE
Guido OBERTI
Vittorio PEGORARO
La parola "modello" (v. anche modello, vol. XXIII, p. 511) indica generalmente la riproduzione, con dimensioni ridotte, di un "prototipo", cioè di una struttura, una macchina, un corso d'acqua, ecc., o anche soltanto di una parte limitata ... ...
Leggi Tutto
compattezzacompattézza [Der. di compatto "l'essere compatto" nei vari signif. del termine (→ compatto)] [FAF] Teoremadi c.: uno dei più importanti risultati della teoria dei modelli: un insieme di [...] formule non contraddittorio ha un modello se, e solo se, ogni suo sottoinsieme finito ha un modello: v. logica: III 485 d ...
Leggi Tutto
Fisica matematica
Andrei Tjurin
Vieri Mastropietro
L'interazione fra fisica e matematica è divenuta ancora più proficua negli ultimi anni. Nelle ricerche sulle interazioni fondamentali (gravitazionali, [...] ottiene il successivo punto importante - la compattezza degli spazi di moduli di Seiberg-Witten MS₋W(c) (diversamente dal o meno nelle condizioni di validità di questo teorema.
Un'altra profonda estensione del teoremadi Kolmogorov è dovuta a J ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] più generali. Per ottenere questi risultati si fa largo uso della condizione dicompattezzadi Palais-Smale enunciata tre anni prima.
Teoremidi punto fisso. M.F. Atiyah e R. Bott estendono in un ambito più generale ‒ la teoria degli operatori ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] tra l'altro, un teorema generale sull'esistenza di limiti proiettivi di misure di probabilità e un celebre criterio dicompattezza (per la topologia della convergenza stretta di misure) fondato sulla nozione di famiglia 'tesa' di misure.
Lo sviluppo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] che si allontanano al crescere di n; (c) 'compattezza a meno di traslazioni', quando esiste una successione di punti yn∈ℝN per la yn=zn non ha soluzioni intere positive se n>2. Dal teoremadi Faltings segue che, per ogni n>2, il numero delle ...
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 [...] Nei due anni a venire Brauer estenderà questa teoria formulando anche due risultati noti come secondo e terzo teoremadi Gerschgorin.
André Weil pubblica Foundations of algebraic geometry. Weil espone in quest'opera la teoria delle varietà algebriche ...
Leggi Tutto
Semiconduttori
Franco Bassani
Federico Capasso
Proprietà generali, di Franco Bassani
Superreticoli e microstrutture artificiali, di Federico Capasso
Proprietà generali di Franco Bassani
Sommario: 1. [...] teorema mostra che il comportamento delle particelle in presenza di un potenziale aggiuntivo generico V (r) vicino a un estremo di banda laser a semiconduttori rispetto ai laser a gas sono la compattezza e il basso costo, e ciò ne ha reso possibili ...
Leggi Tutto
Scienza greco-romana. Ottica e teoria della luce
A. Mark Smith
Ottica e teoria della luce
La moderna ottica fisica ha le sue radici storiche nell'ottica matematica greca; il più ovvio legame tra le [...] visibilità intrinseca sta la "compattezza luminosa" (lucida spissa), che non è visibile di per sé, ma nondimeno è si riflettono indietro verso il centro di curvatura. I raggi di questo tipo, conclude il teorema, non soltanto si riuniscono in numero ...
Leggi Tutto
stato
stato [Der. del lat. status -us "posizione stabile", da stare "stare fermo"] [LSF] Modo di essere, condizione nella quale si trova una sostanza, un corpo, un sistema: s. di quiete o di moto, s. [...] una maggiore compattezza materiale, cioè la capacità di conservare nelle sue vicissitudini fisiche (escluse trasformazioni di fase) di avvicinamento a uno s. stazionario: v. semigruppi dinamici quantistici: V 166 d. ◆ [FML] Principio, o teorema, ...
Leggi Tutto