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 [...] ’esigenza diffusa di un più alto standard di rigore logico e definitorio investe anche logica, Bologna 1922, Bologna 1987.
Bibliografia
U. Cassina, Storia ed analisi del ‘Formulario completo’ di Peano, «Bollettino dell’Unione matematica italiana», s ...
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 [...] destinata a far epoca. Applicando i moderni standard di rigore stabiliti da Cauchy, Dirichlet mostra che grande nazione, non ce ne si accorge affatto all'estero". L'analisi è impietosa: "tutti i nostri geometri sembrano appartenere a un'altra epoca ...
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ù [...] Da allora, soprattutto dopo i contributi di studiosi come Peter A. Loeb, H. Jerome Keisler, Edward Nelson, l'analisi non standard è divenuta una disciplina matematica autonoma, ma è nella teoria dei modelli che trova la sua giustificazione e origine ...
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 [...] 1966), arriva a dichiarare che "in ultima analisi si è ricondotti alla teoria degli insiemi, che voluta, 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] , ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] sostituì le scritture locali e divenne la scrittura standard, e furono allestiti numerosi scriptoria. Gli stimoli più più tarda, ma esso non è stato finora oggetto di un'analisi approfondita; esso non presenta tracce di influssi arabi ed è piuttosto ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematica negli Stati Uniti
Joseph W. Dauben
La matematica negli Stati Uniti
La matematica all'inizio del secolo
All'inizio del XX sec. [...] con loro una comprensione più profonda della matematica, standard più elevati di ricerca e una raffinatezza difficile da al successo del progetto risolvendo molti problemi che richiedevano un'analisi matematica, e fra questi la creazione di un modello ...
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 [...] al suo programma e ben presto scoprì che, perché la ricostruzione dell'analisi fosse efficace, era necessario che egli rivedesse le sue idee sul
Nella logica intuizionista l'interpretazione informale standard degli operatori logici è la cosiddetta ...
Leggi Tutto
PIGNEDOLI, Antonio
Isabella Barbieri
PIGNEDOLI, Antonio. – Nacque a Correggio (Reggio nell’Emilia) il 23 luglio 1918 da Nino e da Maria Ballabeni.
Si laureò in fisica all’Università di Bologna il 20 [...] ruolo e incaricato di vari corsi di fisica-matematica e analisi matematica e dove aveva istituito il secondo biennio del corso che produceva le caratteristiche qualitative dei modelli standard basati sulle soluzioni disponibili delle equazioni di ...
Leggi Tutto
Gibbs Josiah Willard
Gibbs 〈gÝibs〉 Josiah Willard [STF] (New Haven, Connecticut, 1839 - ivi 1903) Prof. di fisica matematica nella Yale Univ., a New Haven (1871). ◆ [TRM] Condizioni di equilibrio di [...] termodinamici: IV 575 c. ◆ [CHF] Energia libera standard di G.: v. termodinamica degli equilibri chimici: VI membrane biologiche: III 763 a. ◆ [ANM] Fenomeno di G.: v. analisi armonica: I 126 b. ◆ [FML] Formulazione termodinamica di G.: v. interfacce ...
Leggi Tutto
Poisson Simeon-Denis
Poisson 〈puasòn〉 Siméon-Denis [STF] (Pithiviers 1781 - Parigi 1840) Prof. di analisi matematica e di meccanica nell'École polytechnique (1802) e alla Sorbona di Parigi (1812). ◆ [...] stocastico: v. processi di punto: IV 601 d. ◆ [PRB] Processo di P. compensato: v. funzionale, analisi: II 771 d. ◆ [PRB] Processo di P. non omogeneo e unitario standard: v. processi di punto: IV 601 e, 598 f. ◆ [MCC] Rapporto di P. di contrazione ...
Leggi Tutto
standard aperto
loc. s.le m. Standard fornito di documentazione pubblica e che può essere utilizzato liberamente; con particolare riferimento ai sistemi aperti dell’informatica. ◆ Succedono dunque delle cose apparentemente paradossali: che...
urbanistico
urbanìstico agg. [der. di urbano] (pl. m. -ci). – Che riguarda l’urbanistica: problemi u.; strutture u.; sistemazione u. di una zona cittadina; legislazione, riforma u.; piano u.; strumenti u., i mezzi attraverso i quali si attua...