LEVI, Eugenio Elia
Luca Dell'Aglio
Nacque a Torino il 18 ott. 1883, da Giulio Giacomo e da Diamantina Pugliese, e fu fratello del matematico Beppo. Allievo della Scuola normale superiore di Pisa, si [...] Legato più allo sviluppo di campi teorici già affermati che non alla creazione di nuovi, il contributo del L. si è spesso dimostrato in anticipo con i tempi, con l'introduzione di metodi e procedimenti che hanno, a volte, dato frutto solo a distanza ...
Leggi Tutto
BOGGIO, Tommaso
Antonella Bastai Prat
Nato a Valperga (Torino), il 22 dic. 1877, da Francesco e Anna Fassino, frequentò la sezione fisico-matematica dell'istituto tecnico "Sommeiller". Dimostrò ben [...] seguita dalla maggior parte dei fisici matematici italiani. Nel 1924 il B. e Burali-Forti credettero di aver dimostrato definitivamente da una parte la superiorità del calcolo omografico su quello tensoriale e dall'altra l'infondatezza della teoria ...
Leggi Tutto
colore
colóre [Der. del lat. color -oris] [LSF] Sensazione visiva che si prova illuminando un corpo con una luce non monocromatica in dipendenza della varia composizione spettrale di questa, e anche [...] la carta. Il problema è stato risolto nel 1976 da W. Haken che, con una dimostrazione assistita da un calcolatore elettronico, ha dimostrato che qualunque carta può essere colorata con quattro colori. ◆ [FSN] Simmetria di c.: la simmetria ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] .
Invarianti di Gromov e Seiberg-Witten. C.H. Taubes pubblica l'ultimo di 4 articoli (il primo del 1996), in cui dimostra che su una 4-varietà simplettica compatta gli invarianti di Seiberg-Witten, ottenuti con le strutture spincy e quelli di Gromov ...
Leggi Tutto
FUBINI (Fubini Ghiron), Guido
Marta Menghini
(Fubini Ghiron), Nacque a Venezia il 19 genn. 1879 da Lazzaro e da Zoraide Torre. Compì i suoi studi presso la Scuola normale superiore di Pisa, dove ebbe [...] che il F. diede al "principio di minimo", relativo a un problema posto da Riemann, per il quale sviluppò metodi diretti di dimostrazione, affiancando in ciò il suo nome a quelli di H.-L. Lebesgue e di B. Levi. Tra i lavori sull'argomento, scritti ...
Leggi Tutto
CHERUBINO, Salvatore
Francesco Saverio Rossi
Nato a Napoli il 3 giugno 1885 da Alessandro e Stella Europeo, in una famiglia non abbiente, compì gli studi medi nel 1903 frequentando gli istituti tecnici [...] lo spunto da un'osservazione del Berzolari, scrisse due note sulla teoria dei moduli delle forme algebriche riportanti la dimostrazione di due teoremi del Severi sullo stesso tema (Sopra un metodo di postulazione, in Rendiconti d. Ist. lombardo di ...
Leggi Tutto
CHELINI, Domenico
Francesco Saverio Rossi
Nacque da Francesco e da Giustina Casanetti a Gragnano di Lucca il 18 ottobre 1802, ultimo di una famiglia di contadini, proprietaria di un appezzamento di [...] , letta all'Accademia dei Lincei nel 1834, e pubblicata nel Giornale accademico, LXXIII (1837), pp. 166-190; sulla Formazione e dimostrazione della formula che dà i valori delle incognite nelle equazioni di 1º grado (ibid., LXXXV [1840], pp. 3-12 ...
Leggi Tutto
PASTORI, Maria
Angelo Guerraggio
PASTORI, Maria. – Nacque a Milano il 10 marzo 1895, terzogenita di una famiglia di modeste condizioni sociali: il padre, Silvio, era custode presso un istituto religioso; [...] azioni gravitazionali ed elettromagnetiche, Pastori provò un risultato già illustrato da Einstein, ma con una dimostrazione non del tutto soddisfacente: nell’ambito della meccanica classica la velocità di propagazione delle azioni gravitazionali ...
Leggi Tutto
CACCIANINO, Antonio
Giulio Cesare Giacobbe
Nacque a Milano il 18 luglio 1764da famiglia nobile. Dopo aver frequentato il primario Collegio ecclesiastico lombardo, seguì il corso di ingegneria presso [...] -13), 22 pp. 3-16, con il titolo: Esposizione de' principj da cui il Sig. Prof. Cav. Ruffini deriva la sua dimostrazione sull'impossibilità della soluzione algebraica delle equazioni superiori al quarto grado (ibid., p. 17, si afferma che il C. aveva ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] ’ambito di un opportuno sistema formale del tipo di quello di Peano, constatare se un predicato metateorico, per es., è ‘dimostrabile’, è o meno verificato in un certo caso si riduce al calcolo – effettivamente eseguibile – di una funzione ricorsiva ...
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...