La seconda rivoluzione scientifica: fisica e chimica. La radiazione e il quanto
Olivier Darrigol
La radiazione e il quanto
I primi concetti quantistici emersero dallo studio di un problema che si collocava [...] la nuova teoria quantistica permetteva di calcolare il valore esatto dell'entropia di prevedeva in accordo con il teoremadel calore di Nernst la degenerazione stati stazionari.
Un ulteriore e fondamentale contributo alla teoria di Bohr giunse ...
Leggi Tutto
economia e matematica
economia e matematica Metodi matematici di varia complessità sono stati applicati all’analisi di problemi economici sin dagli albori dell’economia moderna. Ma se non sono certo [...] questo campo rivestono un ruolo fondamentale gli strumenti matematici forniti teoremi della funzione implicita e dell’inviluppo. Così nell’analisi dei problemi decisionali in economia risultano rilevanti il calcolo delle variazioni, la teoria del ...
Leggi Tutto
FAGNANO (Fagnani, Toschi di Fagnano), Giulio Carlo
Ugo Baldini
Nacque a Senigallia (prov. di Ancona) il 26 sett. 1682 da Francesco e da Camilla Caterina Bartoli.
La sua biografia fino al 1752 e la storia [...] di matematico, fu la polemica con N. Bernoulli nata con le obiezioni di questo all'articolo del F. Teorema nuovo concernente il calcolo integrale, apparso nel Giornale de' letterati d'Italia, XXVII (1717), p. 392, e sviluppatasi attraverso vari ...
Leggi Tutto
L'altra meta della matematica
L’altra metà della matematica
Molto tempo è passato da quando uno storico della matematica, Gino Loria, esponeva senza pudore i pregiudizi dell’ambiente matematico nei [...] a Berlino, è fondamentale per la formazione quel famoso teorema – ora comunemente ricordato come teorema di Cauchy all’università negli ultimi decenni del secolo, mentre molto più si occupò di analisi e di calcolo differenziale e integrale. La sua ...
Leggi Tutto
VOLPATO, Mario
Giovanni Castellani
– Nacque a Castelbaldo (Padova) il 3 ottobre 1915 da Giuseppe, mediatore e commissionario di granaglie, e da Mirta Bissaro, casalinga.
Frequentò le cinque classi elementari [...] analitico, per cui formulò un teorema generale da porre alla base di più convinti promotori del Consorzio interuniversitario del Nordest per il calcolo automatico (CINECA trasporto. Egli ottenne la fondamentale adesione al suo progetto delle ...
Leggi Tutto
computazione quantistica
computazióne quantìstica locuz. sost. f. – Nella scienza dell'informazione, computazione basata sulla trattazione del dato quantistico. La c. q. ha introdotto un campo nuovo [...] , teorema di del , con gli algoritmi, la correzione degli errori, la compressione dei dati, la crittografia con le sue nuove possibilità di distribuzione delle chiavi. Fra i concetti fondamentali azionare una macchina da calcolo. Mentre il modello ...
Leggi Tutto
teletrasporto
teletraspòrto s. m. – Tra i nuovi campi di ricerca sperimentale della meccanica quantistica, hanno avuto grande sviluppo gli studi sul fenomeno del t. quantistico, che consiste nella ricostruzione [...] inoltre ignoto), perciò con la procedura descritta che non viola un teorema molto importante che vieta la clonazione quantistica (quantum non cloning calcolatori quantistici del futuro. Nel dicembre 2012 un team coordinato da Jian-Wei Pan del ...
Leggi Tutto
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono [...] logici quali il calcolo degli → enunciati o il calcolo dei → predicati. I sistemi formali detta teorema. In generale è caratteristica fondamentale di di feconda ricerca metateorica. Data una formula del linguaggio di un sistema formale, si dice ...
Leggi Tutto
decisione, problema della
In logica matematica, la ricerca di un procedimento effettivo che consenta di stabilire se una certa proprietà o relazione convenga o no a certi enti. Procedimento ‘effettivo’ [...] decidibile (altrimenti essa si dice indecidibile). Risulta da un fondamentaleteorema di Church del 1936 che l’insieme dei teoremi della logica classica del primo ordine (o calcolo dei predicati) è indecidibile; data una qualunque espressione E ...
Leggi Tutto
Lowenheim
Löwenheim Leopold (Krefeld, Renania Settentrionale-Vestfalia, 1878 - Berlino 1957) matematico tedesco. È noto soprattutto per i suoi lavori di logica matematica; a lui si deve la prima dimostrazione [...] (nel 1915) delteorema oggi conosciuto come teorema di Löwenheim-Skolem, di fondamentale importanza per la teoria dei Gleichungen im logischen Gebietekalkul (Sulla risoluzione delle equazioni nel calcolo dei domini logici, 1910) in cui analizza e ...
Leggi Tutto
geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure spaziali, originariamente sviluppatosi...
derivazione1
derivazióne1 s. f. [dal lat. derivatio -onis, der. di derivare «derivare1»]. – 1. L’atto, l’operazione, il fatto di derivare o di essere derivato, e il modo o il processo attraverso cui si deriva (nel sign. trans. e intr. di derivare1):...