La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] un anello commutativo con identità; si precisa qui la derivazione di un'algebra. Si prendono infine in considerazione le serieformali; Bourbaki fa osservare che la maggior parte di tali risultati si esprime in maniera più suggestiva nel linguaggio ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] accettare come soluzioni seriedipotenze, considerate ancora all'epoca come polinomi di grado infinito, l formaledi queste funzioni: un'ulteriore dimostrazione di quanto siano reciprocamente legati in maniera complessa manipolazione formale ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali ordinarie
Jeremy Gray
Equazioni differenziali ordinarie
Variabili reali
Durante il XVIII sec. i matematici avevano risolto un numero crescente di equazioni [...] metodo per stabilire l'esistenza di soluzioni di equazioni differenziali. Egli cominciò con una seriedipotenze che rappresentava la soluzione formalmente; tale serie veniva ottenuta sostituendo una seriedipotenze della forma
nell'equazione e ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] esso deve considerare anche una seriedi rapporti tra gli investimenti e la potenzedi 10.
Modo in cui è organizzato un settore della vita di una collettività, di una un modello di riferimento di tipo analogico da uno di tipo logico e formale. Il s ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] di risalire alle cause di ciò che è conosciuto; nella classificazione di Aristotele tali cause possono essere formali le incognite e le loro potenze Holtzmann usa una propria notazione per una seriedi difficoltà politiche, il Concilio di Basilea non ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] di superconduzione del materiale di cui sono fatte; in questo modo sono ridotte enormemente le perdite dipotenza per le correnti a radiofrequenza nelle cavità (da milioni di W a metro di acceleratore, a decine di primo di una seriedi satelliti ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una seriedi articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] 'ordine di 10,4 megaton (la potenza esplosiva di un megaton è pari a quella di un milione di tonnellate di tritolo), metodo per ottenere trasformazioni canoniche utilizzando il formalismo delle seriedi Lie; questo metodo verrà applicato con successo ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] la bandiera del formalismo è stata portata soprattutto da quel consorzio di matematici francesi noto con lo pseudonimo di Nicolas Bourbaki, che negli ultimi cinquant'anni sono stati coautori di una seriedi libri sulle strutture fondamentali ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] 'accento sull'importanza che assumono le dimostrazioni formali nel giustificare la validità dei procedimenti matematici. che Boole concepisce in analogia con la seriedi Maclaurin per lo sviluppo di f(x) secondo potenze crescenti di x. In tal caso, l' ...
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ù [...] in particolare a quei linguaggi formali che la ricerca logica aveva dimostra il suo teorema sulla categoricità in potenza e i metodi che introduce aprono la di Skolem nella forma numerabile. Quello di Lindström è il primo di tutta una seriedi ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...