LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] ) è un termine. Gli atomi sono le espressioni della forma P(t1,...,tn), dove t1,...,tn sono termini basedi alcuni efficienti sistemi di dimostrazione automatica diteoremi (come quello di Wos, Overbeek e Lusk che ha permesso di scoprire nuovi teoremi ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] base alla [8], il teorema d'esistenza e unicità e il metodo delle successive approssimazioni sussistono (e ciò è molto importante delle applicazioni) per qualunque valore di York 1965; K. Maurin, Methods of Hilbert spaces, Varsavia 1967; G. Chilov, ...
Leggi Tutto
L'Ottocento. Introduzione. Le radici del sapere contemporaneo
Enrico Bellone
Le radici del sapere contemporaneo
Nell'introduzione allo sviluppo scientifico e culturale che si è realizzato durante la [...] di rigettare le idee di Waterston. Egli era giunto alle soglie di un teorema del viriale e di un principio di equipartizione dell presente una periodicità, sulla basedi correlazioni tra peso atomico e flauto diHilbert. Storia della matematica ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Don Howard
Fisica e filosofia della scienza all'alba del XX secolo
Simbiosi disciplinare
La [...] attraverso l'opera di pensatori come Hilbert, Bertrand Russell e Ludwig Wittgenstein. Ma la teoria fisica, e più in particolare la teoria della relatività, rimase sempre il modello di conoscenza scientifica di riferimento e la base più importante del ...
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 [...] Tra queste, la 'funzione diHilbert' dell'ideale dei polinomi che si di scarso rigore e inconclusività di quelle sul teorema fondamentale delle superfici irregolari, in quanto alla basedi entrambe vi è il concetto di deformazione infinitesima e della ...
Leggi Tutto
Ricerca scientifica e tecnologica
Antonio Ruberti e Claudio Gori Giorgi
Sommario: 1. Introduzione: a) l'interazione tra ricerca e sviluppo economico; b) caratteri della ricerca scientifica nel Novecento. [...] in via di sviluppo, che investirono nella formazione di ricercatori senza prima allargare l'istruzione dibase, come invece nucleare, al teoremadi Kurt Gödel.
Questo stato di latenza può costituire una spiegazione dello scarso interesse pubblico ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] dell’arco evolutivo della matematica sulla basedella conformità degli assiomi con una prassi dimostrativa radicata. Di qui l’importanza per Peano e Pieri della questione, del tutto estranea a Hilbert, del minimo numero di assiomi, e perfino di ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] teoremadi calcolo integrale, in realtà uno dei più profondi teoremidi tutta la storia della matematica, che doveva ispirare le ricerche di la basedell'insegnamento. Le idee di Peacock Umberto, Il flauto diHilbert. Storia della matematica moderna e ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Tecnologie digitali
Franco Filippazz
Giulio Occhini
Fulvia Sala
Il diffondersi sempre più rapido delle tecnologie digitali in tutte le attività umane è il fenomeno che meglio caratterizza l’epoca [...] consentita e molto altro.
Il meccanismo che sta alla basedi tutti questi esempi si fonda sulla possibilità delle tecnologie digitali di dare un’identità alle cose e ai luoghi dell’ambiente attraverso etichette RFID (Radio Frequency IDentification) o ...
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ù [...] struttura ℝ+ di cardinalità maggiore e ‒ per un teoremadiHilbert ‒ ogni basedi tecniche diverse, sono i risultati di Ax e Kochen e Yuri Ershov della metà degli anni Sessanta riguardanti la congettura di Artin e la model-completezza e completezza di ...
Leggi Tutto