Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Enrico Betti
Iolanda Nagliati
Enrico Betti fu uno dei più importanti matematici italiani del 19° sec.; ottenne risultati rilevanti in vari campi di ricerca: l’algebra, con gli studi sulla risoluzione [...] licei, presentati dai due curatori nell’introduzione come «inimitabile modello di logica e di chiarezza» per insegnare ai giovani teoria dell’elasticità. Il testo che ha definito gli standard della teoria matematica dell’elasticità, Benevento 2006.
M ...
Leggi Tutto
stella
stélla [Lat. stella] [ASF] Nome generico dei corpi celesti, di forma per lo più sferica, costituiti da enormi masse di gas a temperatura molto elevata (che per questo emettono luce), tenuti insieme [...] lo stesso che s. visuale. ◆ [FPL] S. magnetica: modello di s., applicabile, per es., al Sole, che spiegherebbe le proprietà . distanze in astronomia: II 218 d. ◆ [ASF] S. standard: gruppo di s. di riferimento per i sistemi fotometrici di magnitudini: ...
Leggi Tutto
atmosfera
atmosfèra [Comp. del gr. atmós "vapore" e -sfera] [LSF] Involucro aeriforme che circonda o sovrasta un corpo solido o liquido; per antonomasia, quello che circonda la Terra (v. atmosfera terrestre) [...] i loro movimenti (nella troposfera, è β=-6.5 K/km); per β=0, si ha l'a. isoterma. ◆ [ELT] A. standard internazionale: modello dell'a. terrestre sino alla quota di 20 km, elaborato spec. per la navigazione aerea e per la propagazione delle onde radio ...
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 [...] la l. dei predicati come linguaggio di programmazione e come modello di computo. Questo perché esso si applica solo a insiemi '' A.
Come si è già accennato i procedimenti standard della teoria della dimostrazione, come la normalizzazione di Prawitz ...
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 [...] strutture differenziabili su ℝ4 non equivalenti a quella standard. Egli dimostrerà in seguito che non tutte le possibili caso N=4 resta una congettura.
Concluso il Programma dei modelli minimali in dimensione 3. Nel 1980 il giapponese Shigefumi Mori ...
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 [...] catalitico a letto fluido. La società americana Standard Oil attiva il primo impianto per il processo natura delle comete. L'astronomo americano Fred L. Whipple sviluppa un modello per le comete secondo il quale questi corpi celesti assomigliano a ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] ’Ottocento, l’esigenza diffusa di un più alto standard di rigore logico e definitorio investe anche l’aritmetica derivato assumendo i rimanenti. Peano applica il metodo del modello che consiste nel considerare un’interpretazione che soddisfa tutti gli ...
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 [...] memoria destinata a far epoca. Applicando i moderni standard di rigore stabiliti da Cauchy, Dirichlet mostra che 1808 viene istituita la Scuola Normale Superiore a Pisa sul modello dell'analoga struttura parigina. Le nuove istituzioni hanno vita breve ...
Leggi Tutto
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ù [...] il teorema di Ramsey, hanno avuto applicazioni spettacolari a partire dagli anni Sessanta nello studio della delle teorie.
Modelli non standard
Sfruttando il concetto di diagramma e la compattezza in modo analogo a quanto fatto per i teoremi di ...
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 [...] , con una operazione di collasso permessa dal fatto che la relazione non standard soddisfa l'estensionalità, si ha una vera estensione di M, M[a] , con a∈M[a], e M[a] modello anche di V=L[a], i costruibili relativamente ad a.
Dopo la presentazione ...
Leggi Tutto
standard
stàndard s. m. [dall’ingl. standard 〈stä′ndëd〉, che è dal fr. ant. estendart «stendardo»]. – 1. Livello, grado, tenore normale: lo s. di vita di un paese, di una famiglia; s. culturale, professionale di una categoria; nello sport,...
modello
modèllo s. m. [lat. *modĕllus, dim. di modŭlus: v. modulo]. – 1. a. In genere, qualsiasi oggetto reale che l’artista si propone di ritrarre, o che un artigiano, un operaio abbia dinanzi a sé per costruirne un altro uguale o simile,...