(v. topologia, App:. III, 11, p. 960; algebra omologica, App. IV, I, p. 87)
Introduzione. - L'a.o. ha le sue origini nella teoria d'omologia di gruppi astratti che fu coinvolta nello studio di certi spazi [...] g. Altri anelli A, per i quali ogni A[t1,...,tn]-modulo proiettivo f.g. è libero, sono gli anelli di serie di potenze formali A=k[[x1,...,xn]], dove k è un corpo; questo risultato fu dimostrato, indipendentemente, da H. Lindel e W. Lütkebohmert (1976 ...
Leggi Tutto
Generalità. - Il concetto di d. è stato introdotto nell'analisi matematica (v. anche funzionale, analisi in questa Appendice), e sviluppato in una teoria di notevole efficacia applicativa, da L. Schwartz [...] la successione delle ridotte fn(x) = (1 − xn+1)/(1 − x) delle serie geometrica
converge q. u. in (− 1, 1), per proprietà ben note, verso la risultati importanti e di notevole semplicità ed eleganza formale. Si può anzi dire che la scoperta delle ...
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 [...] classificazione di Aristotele tali cause possono essere formali, materiali, efficienti e finali. Secondo 'oro è 13, poiché 1456+1=19×76+13.
Tuttavia, per una serie di difficoltà politiche, il Concilio di Basilea non pervenne ad alcuna riforma. I ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. La matematica
Alexei Volkov
Karine Chemla
Qu Anjing
La matematica
Le bacchette
di Alexei Volkov
Il sistema di numerazione cinese, sistema decimale e principio [...] un potente mezzo di espressione che permise loro di affrontare la serie (potenzialmente infinita) delle potenze positive e negative di 10, algoritmo fornito nel cap. 8 e la sua strategia formale; esso equivale cioè a un procedimento che 'rende uguali ...
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 [...] il problema dell'esistenza di trasformazioni formali che portano un'equazione in forma kg (dei quali, 89 di strumenti), è approntato dalla NASA e fa parte della serie degli Explorer con il numero 56; ISEE 2, invece, ha una massa di 166 ...
Leggi Tutto
Il Rinascimento. L'astronomia
J.V. Field
L'astronomia
Gli storici dell'arte e delle discipline umanistiche si sentirebbero forse a proprio agio definendo 'Rinascimento' il periodo che va dal 1400 al [...] in cui la teologia aveva avuto un posto importante, succedette formalmente a suo padre nel 1567, sebbene già prima di quella segni zodiacali (o 120º). Le grandi congiunzioni, e la serie dei tre segni zodiacali in esse coinvolti, erano considerate ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] classiche, soprattutto nei casi in cui erano usate per enunciare verità scientifiche, svilupparono una serie di idiomi formali, ma non sufficientemente formali per operare come veicoli di una rivoluzione scientifica. Inoltre, nessuna di queste lingue ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] Rapp, 1973, pp. 915 ss.). Se il metodo è una qualità formale di un processo d'azione e se la determinazione del contenuto avviene messo in dubbio o addirittura negato, valendosi di una serie di esempi tratti dalla storia della scienza, che la ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] delle perturbazioni. Il matematico austriaco Wolfang Gröbner introduce un metodo per ottenere trasformazioni canoniche utilizzando il formalismo delle serie di Lie; questo metodo verrà applicato con successo all'astronomia da G.I. Hori (1966).
La ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] la matematica riducendola a un gioco eseguito con serie di simboli prive di senso. Perfino al finito di equazioni s=t, dove s e t sono espressioni formali ottenute mediante la concatenazione di simboli funzionali, i cui argomenti sono variabili ...
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,...
coordinato
agg. e s. m. [part. pass. di coordinare]. – 1. agg. a. Ordinato insieme, e più spesso, in senso fig., collegato e diretto a un medesimo scopo: movimenti c.; gli sforzi c. degli alleati; tentativi mal c.; programmi di ricerca opportunamente...