GUGLIELMINI, Domenico
Anna Rita Capoccia
Nacque a Bologna, da Giulio e da Gentile Neri, il 27 sett. 1655. A Bologna studiò matematica con G. Montanari e medicina con M. Malpighi: dal primo fu introdotto [...] si mostra seguace della cosmogonia cartesiana, dunque dellateoriadella costituzione dell'universo a Acta del maggio 1691 (pp. 208-213), sulla base delladimostrazione "syphonis Wurtembergi in vertice effluentis" pubblicata negli Acta del maggio ...
Leggi Tutto
BIANCHI, Luigi
Enzo Pozzato
Figlio del giurista Saverio, nacque a Parma il 18 genn. 1856. Entrato alla Scuola normale superiore di Pisa il 14 nov. 1873, si laureò in matematica il 30 nov. 1877. Fu abilitato [...] in un corpo quadratico,ibid., XXIX (1920), 2, pp. 223-230; Lezioni sulla teoria dei numeri algebrici e principi di aritmetica analitica, Pisa 1921; Dimostrazione elementare della infinità degli ideali di primo grado in ogni corpo algebrico, in Rend ...
Leggi Tutto
LEVI-CIVITA, Tullio
Luca Dell'Aglio
Nacque a Padova il 29 marzo 1873 da Bice Lattis e da Giacomo, avvocato e uomo politico, che fu sindaco di Padova tra il 1904 e il 1910 e senatore del Regno dal 1908. [...] Poincaré, pervenendo, tra l'altro, alla dimostrazionedell'instabilità di una particolare classe di soluzioni pp. 1-40), su questioni di carattere idrodinamico, soprattutto sulla teoriadelle scie (Scie e leggi di resistenza, in Rend. del Circolo ...
Leggi Tutto
CAPELLI, Alfredo
Eugenio Togliatti
Nacque a Milano il 5 ag. 1855 da Arminio e da Gioconda Manufardi. Compì gli studi universitari a Roma, ove ebbe a maestri L. Cremona, E. Beltrami, G. Battaglini. Conseguita [...] di E. Rouché, sulla risoluzione d'un sistema qualsiasi di equazioni lineari, dimostrazione che è esposta in una breve Nota del 1892 (in Riv. matem., nell'ultima edizione estende la teoriadella divisibilità delle funzioni intere alle funzioni di più ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] , Kurt Schutte, William Tait, Jean-Yves Girard e altri. Su un altro versante, particolare interesse hanno riscosso negli ultimi decenni l’analisi di risultati come l’Hauptsatz nel contesto dellateoriadelle categorie.
→ Dimostrazione, teoriadella ...
Leggi Tutto
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoriadella misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] di Mosca. Uno dei suoi più celebri risultati è la dimostrazione che non sempre esiste un algoritmo che riduca una data successione W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ...
Leggi Tutto
FUNZIONE (XVI, p. 185)
Luigi AMERIO
Funzioni di più variabili complesse. - La teoriadelle f. di più variabili complesse ha ricevuto negli ultimi decennî sviluppi notevolissimi, che ne hanno permesso [...] che dal criterio di Bochner segue immediatamente la quasiperiodicità della somma di due funzioni q. p., proprietà di non facile dimostrazione diretta.
3. - La teoria degli sviluppi in serie di Fourier delle f. periodiche è stata estesa dal Bohr alle ...
Leggi Tutto
QUILLEN, Daniel
Carlo Cattani
Matematico statunitense, nato a Orange (New Jersey) il 27 giugno 1940. Conseguito il Ph.D. in matematica alla Harvard University (1969), è stato professore di Matematica [...] analoghe (non banali) da associare a un anello. Nel 1972, utilizzando tecniche riprese dalla teoriadell'omotopia e il metodo usato nella dimostrazionedella congettura di Adam, Q. ha fornito un contributo fondamentale con la naturale e semplice ...
Leggi Tutto
LEVI, Beppo
Matematico, fratello del matematico Eugenio Elia (XXI, p. 16), nato a Torino il 14 maggio 1875. Laureatosi in matematiche nel 1896 a Torino, dove ebbe a maestro C. Segre, divenne nel 1906 [...] dovuta la prima dimostrazionedella trasformabilità birazionale di ogni superficie algebrica in un'altra priva di singolarità. Altre ricerche riguardano la teoria analitica delle forme cubiche ternarie, i fondamenti della geometria e dell'analisi, la ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] -Hayṯam e altri, e a conservare materiale relativo alle teoriedella precessione attribuite a Ṯābit ibn Qurra. Esso rivela chiaramente la loro attualità anche nel Basso Medioevo, come dimostra l'elevato numero di copie in circolazione. Aumentarono i ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...