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ù [...] dati due modelli M e M′ per cui M⊆M′ ‒ di trasportare in M le soluzioni dibasi sul sottocampo primo. Non stupisce quindi che il concetto, introdotto nel 1966 da William Marsh, si sia rivelato di estrema importanza ‒ soprattutto dopo i lavori di ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Diffusione e primi sviluppi del calcolo infinitesimale
Clara Silvia Roero
Diffusione e primi sviluppi del calcolo infinitesimale
Il decollo enigmatico [...] soltanto dopo due giorni, gli esempi che ne avete dati, l'uno sulla Cicloide, che si trova nella di grande rilievo negli articoli dei Bernoulli e di Leibniz che gettano le basi della futura geometria differenziale. La determinazione del raggio di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] problemi: non si può in generale dimostrare la congruenza di due tetraedri con basi e altezze uguali (e quindi con uguale volume) sono forse dati dai primi due problemi, che si rivelarono di importanza decisiva per le future ricerche di logica e ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Galilei e la geometria del moto accelerato
Enrico Giusti
Galilei e la geometria del moto accelerato
Tra l'impressionante numero di testi scientifici, [...] i quadrati degli spazi percorsi, dato che le basi sono proporzionali alle altezze) si tratta di ricavare da questi le relazioni tra spazi e e i modi di comporsi di queste ultime. La proposizione IV del Libro VI della Geometria: "Due dati cerchi, o ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La rinascita degli studi geometrici nel mondo latino
Menso Folkerts
La rinascita degli studi geometrici nel mondo latino
La tradizione [...] affermare con sicurezza su quale testo arabo si basi la sua traduzione, soprattutto perché, nonostante gli di matematica dati alle stampe a Venezia; esso fu più volte stampato anche in seguito. La versione di Campano tradisce più di un elemento di ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni matematiche
Roshdi Rashed
Le tradizioni matematiche
Capire lo sviluppo della matematica in un periodo di sette secoli, stabilire [...] nuove ricerche (v. cap. XXXVII).
Su queste due basi verranno edificate le tradizioni matematiche in arabo; ne ricordiamo le dei primi due libri delle Coniche di Apollonio, come pure degli Elementi e dei Datidi Euclide, e infine un nuovo capitolo ...
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 [...] Carré) e i manuali sui quali aveva faticosamente costruito le sue basi in algebra, geometria analitica, analisi; altri autori rilevanti per la di Fagnano, fino al mese di febbraio dell'anno 1792" [sic, per 1752], pp. 27-36 (corregge, mediante i dati ...
Leggi Tutto
GLORIOSI (Glorioso), Giovanni Camillo
Ugo Baldini
Nacque nel 1572, forse a Gauro, allora territorio di Giffoni (e di Giffoni si disse il G.), oggi di Montecorvino Rovella, presso Salerno. I nomi dei [...] di Galileo, critica le basi del cosmo tradizionale (ma non si mostra copernicano, come detto talora). Cita il discorso di O. Grassi sulla cometa, la risposta di ) di F. Liceti, lettore di filosofia a Padova ed ex collega, che spiegava i nuovi dati nel ...
Leggi Tutto
COLLALTO, Antonio
Ugo Baldini
Nacque a Venezia il 21 0 22 apr. 1765. Mancano notizie sulla famiglia, socialmente modesta; il Cicogna, nel rilevarne la totale estraneità a quella omonima appartenente [...] spinte al rinnovamento specialistico ed accettazione di temi in senso lato illuministici. Così, se mancano dati sul C. negli anni 1785-90 costituisce uno strumento in sé completo ed adeguato di dimostrazione delle basi del calcolo: al C. è stato ...
Leggi Tutto
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] dei limiti alla risolubilità di un problema mediante un calcolatore. Le basi teoriche furono poste nei presi come dati d’ingresso un altro algoritmo A arbitrario e dati arbitrari D per esso, stabilisca in tempo finito se il calcolo di A su ...
Leggi Tutto
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...
estrattivismo s. m. 1. In senso polemico, lo sfruttamento delle risorse naturali di un paese o di una località, che, senza cura degli interessi delle popolazioni locali, vengono esportate e lavorate tutte o in gran parte altrove. 2. In senso...