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
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] sia formalmente reale, così che 1 sia una somma di quadrati in F. Sia m il più piccolo numero di quadrati in F aventi per somma -1. Il lavoro di Pfister condusse alla dimostrazione della congettura seguente: m è una potenzadi 2 ed ogni potenzadi 2 ...
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
La scienza presso le civilta precolombiane. Pratiche di calcolo nell'antica Mesoamerica
John S. Justeson
Pratiche di calcolo nell'antica Mesoamerica
La matematica mesoamericana si è sviluppata al di [...] formalismo algebrico che non è presente in alcuna di queste lingue è l'uso dello zero come moltiplicatore di una delle potenzedi questo genere inducono successive seriedi numeri, e serie con serie, che riproducono analogicamente la seriedi base ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] con riga e compasso (n deve essere il prodotto di una potenzadi 2 e di un numero primo della forma 2r+1, per esempio formale:
dove R(n) denota il numero di decomposizioni di un intero positivo n in somma di quattro quadrati interi. Serie ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] di insieme derivato, dipotenzadidi Arend Heyting (1898-1980) sulle regole formali della logica intuizionista permettono tuttavia ai logici delle diverse scuole di trovare un terreno di confronto e rappresentano il punto di partenza di una seriedi ...
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
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'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,...