La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] ultimo passo del programma, l'esistenza dei flips, è compiuto da Mori in questo anno. Per tale lavoro, e per la soluzione di una congettura di R. Hartshorn, Mori otterrà la medaglia Fields nel 1990.
Manipolazione di atomi con luce laser. Claude Cohen ...
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ù [...] per la model-completezza è la possibilità ‒ dati due modelli M e M′ per cui M⊆M′ ‒ di trasportare in M le soluzioni di equazioni o disequazioni con coefficienti in M esistenti in M′. Spesso, infatti, non è difficile, dato un sistema definito su M ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] (1898-1962) e Helmut Hasse (1898-1979). Dato un polinomio in due o più variabili, è fondamentale sapere quante soluzioni intere possiede. Il semplice accorgimento, sfruttato per oltre un secolo, di considerare l'equazione modulo un numero primo p ...
Leggi Tutto
L'Ottocento: matematica. Metodi del calcolo numerico
Dominique Tournès
Metodi del calcolo numerico
Prima del 1870 l'analisi numerica non si era ancora sviluppata come disciplina autonoma; esisteva [...] differenziale di p equazioni di ordine 1, o un'equazione differenziale scalare di ordine p).
Se si riesce a esprimere la soluzione esatta con un numero finito di quadrature, dal punto di vista del calcolo ci si riconduce a quadrature numeriche e alle ...
Leggi Tutto
simmetria
simmetrìa [Der. del gr. symmetría, comp. di sy´n "insieme" e métron "misura"] [LSF] Proprietà d'invarianza delle funzioni descriventi un sistema fisico rispetto a date trasformazioni, di cui [...] g∈G, si suppone che F(gx)≡F(x) per ogni g∈G; si dice allora che l'equazione F(x)=0 è invariante rispetto al gruppo G. Ci si aspetta che le soluzioni x siano tali che gx=x per ogni g; tuttavia può accadere che così non sia, e allora se x è una tale ...
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, [...] valore di A e si scriva, per ogni A-esima cifra di Ω, 0 se l'equazione diofantea con A ha un numero finito di soluzioni e 1 se ne ha un numero infinito. Il risultato è una successione binaria di 1 e 0, per esempio,
Ω = 0010010101001011010 ..
(e così ...
Leggi Tutto
corpo
Luca Tomassini
Consideriamo in un anello con unità A l’equazione ax=b, dove a,b sono elementi fissati e x un elemento ‘incognito’ di A. Un primo semplice caso è quello in cui a=0; poiché 0x=0 [...] : o b=0 e allora ogni x in A verifica l’equazione, oppure b ≠0 e allora l’equazione stessa non ha soluzione. Un secondo semplice caso è quando a ammette un inverso relativamente alla moltiplicazione, ovvero esiste un elemento (che si dimostra poi ...
Leggi Tutto
indeterminato
indeterminato [agg. Comp. di in- neg. e determinato] [ALG] Analisi i.: la parte della teoria dei numeri che s'occupa della risoluzione di equazioni, a coefficienti interi, nel campo dei [...] 0. ◆ [ALG] [ANM] Problema i.: un problema che, con i dati e le condizioni di cui si dispone, ammette infinite soluzioni; è tale, per es., il problema geometrico di determinare il punto d'incontro di due rette complanari quando queste sono coincidenti ...
Leggi Tutto
FUNZIONALE, ANALISI (v. funzionali, XVI, p. 180)
Tullio Viola
Portano questo nome gli sviluppi più moderni dell'analisi matematica, generati dalla fecondazione che le teorie classiche hanno ricevuto [...] f. moderna: "se T(x) è una contrazione di B in sé e B è compatto, allora l'equazione x = T(x) ammette una e una sola soluzione ù in B".
Esempi.
1) T(x) sia una funzione reale f (x) di una variabile reale x, definita nell'intervallo chiuso [a, b], ivi ...
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 [...] in questione; 3) un metodo razionale di selezione che permetta di scegliere, tra più procedimenti alternativi proposti per la soluzione di un problema, quello che ha la massima capacità di conseguire lo scopo, the most powerful method. Rescher parla ...
Leggi Tutto
soluzione
soluzióne s. f. [dal lat. solutio -onis, der. di solvĕre «sciogliere», part. pass. solutus]. – 1. a. Lo sciogliere, lo sciogliersi, l’essere sciolto, di una sostanza, solida o liquida, in un’altra, generalm. liquida; spec. nel linguaggio...
soluzionismo
s. m. Ricerca determinata di soluzioni efficaci e adeguate. ◆ Per [Rudolph] Giuliani questo [la dichiarazione di voto a suo favore da parte del famoso telepredicatore evangelico statunitense Pat Robertson] è un colpo notevole...