La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] : il corso di studi della Scuola di Alessandria che, iniziando con la logica, l'etica e la fisica aristotelica, e attraverso la matematica e la metafisica aristotelica, portava alla lettura di Platone fu trasmesso in buona parte agli Arabi. Base dell ...
Leggi Tutto
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 [...] Sessanta, gli studi in questo campo hanno portato alla definizione di vari sistemi logici: la logica dinamica (Vaughan R. Pratt, 1976), la logica algoritmica (Andrzej Salwicki, 1977), la logica monadica delle programmazione (Robert L. Constable, 1978 ...
Leggi Tutto
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] parti in cui si articola la filosofia, accanto alla logica e all'etica.
Modalità di trasmissione del sapere
e quindi a una teoria delle proporzioni. Sarebbe allora questa a portare a compimento la risoluzione di problemi geometrici e a costituire il ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di geometria algebrica italiana
Alberto Conte
Ciro Ciliberto
La scuola di geometria algebrica italiana
Gli inizi: Luigi Cremona e [...] che segue le vedute di Clebsch, Brill e Noether. Nella sua memoria del 1889 Ricerche di geometria sulle curve algebriche viene portato a compimento il programma di Segre e viene proposta una dimostrazione del teorema di Riemann-Roch mediante l'uso di ...
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ù [...] proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base di confluenza tra teoria della ricorsività e teoria dei modelli ‒ ha portato a risultati di grande interesse. Tra i primi risultati ottenuti utilizzando ...
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 [...] alla teoria degli insiemi, che dal punto di vista logico appare come la fondazione appropriata per la scienza matematica insiemi e ideali, e a elaborare nozioni che poi lo portarono a definire i concetti di cardinali debolmente e fortemente compatti, ...
Leggi Tutto
Statistica applicata alle scienze sociali
Italo Scardovi
La statistica e l'immanenza della variabilità
Statistica è parola dai tanti, forse troppi, significati. Essi riflettono, nella loro varietà, [...] della variabilità dei caratteri, Istituto Veneto di Scienze, Lettere ed Arti, LXXIII, Padova 1914.
Gini, C., Intorno alle basi logiche e alla portata gnoseologica del metodo statistico, in "Statistica", 1946, nn. 1-4.
Hahn, H., Neurath, O., Carnap, R ...
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. [...] Centri di ricerca erano stati creati in nuove università come la Johns Hopkins (1876), dove James J. Sylvester aveva portato la matematica inglese, e l'Università di Chicago (1892), dove i modelli europei (specialmente l'ècole Polytechnique di Parigi ...
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 [...] numerica e polinomi per l'approssimazione di funzioni che oggi portano il suo nome). Allo stesso spirito si ispirava la 1909-1967), allievo di Kolmogorov, che impiegò i metodi della logica matematica per la dimostrazione di una serie di teoremi di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] con un segmento e uno soltanto, oppure come l'assioma che oggi porta il suo nome e afferma che dato un triangolo ABC e un segmento fin dal suo primo lavoro di logica, le Operazioni della logica deduttiva poste in apertura del Calcolo geometrico ...
Leggi Tutto
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...
rigore
rigóre s. m. [dal lat. rigor -oris, der. di rigēre «essere rigido»]. – 1. letter. Rigidità, in senso materiale: il r. delle membra intirizzite; il r. della morte (lat. rigor mortis); tronchi ... in rigor di pietra, simili a gemmei steli...