Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] della classe NP (teoremadelledellealgebre di processi (introdotte da Jan Bergstra e Jan Willem Klop all'inizio degli anni Ottanta).
Le logiche temporali sono logiche modali (di tipo proposizionale o predicativo), i cui operatori fondamentali ...
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 [...] del menzionato teorema, con conseguente relativizzazione di tutte le nozioni che si ritengono fondamentali come quelle valore 1, in ogni algebra, non così le altre affermazioni. Con una scelta opportuna dellealgebre, si ottiene l'indipendenza ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] della probabilità basata sulla teoria della misura, oggi generalmente accettata, sia i risultati fondamentali come il teorema accadde per le due linee di sviluppo delle ricerche algebriche, quella dell'antica capitale e quella moscovita di Šmidt e ...
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 [...] sui quali aveva faticosamente costruito le sue basi in algebra, geometria analitica, analisi; altri autori rilevanti per la fondamentaledella matematica tradizionale; mentre il trattato sui triangoli rettilinei oltre a contenere numerosi teoremi ...
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 [...] della matematica nelle scuole secondarie, nonché la nomina ad assistente volontario in algebradell'esistenza dei campi fondamentali, la risoluzione del problema della determinazione delle funzioni armoniche automorfe, l'approfondimento del teorema ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...