La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] di ζ(s) giacciono sulla retta verticale Re(s)=a=1/2. (Gli zeri reali, o banali, sono dati da s=-2,-4,…,-2n,…, e sono tutti semplici).
Congettura 2. Se N(T) denota il numero di zeri di ζ(s) nel rettangolo aperto R(T):0<Re(s)<1,0<Im(s)<T ...
Leggi Tutto
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 [...] essere maggiore o uguale al minimo numero di punti critici di una funzione di Morse su M. Una caso particolare di questa congettura era stato risolto nel 1984 da Conley e Zehnder, ma l'introduzione dell'omologia di Floer ha permesso di verificare la ...
Leggi Tutto
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] , m=x2+y2+z2+t2, con x, y, z, t interi.
Bachet, nel Commentario (1621) alla Arithmetica di Diofanto, aveva verificato questa congettura fino a m=325, ma non fu in grado di dimostrarla, non più di Descartes, che (1638, lettere a Mersenne) lavorò sul ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] da Charles de la Vallée-Poussin (1866-1962). Restavano tuttavia aperti molti problemi fondamentali, il più importante dei quali era la famosa congettura di Riemann secondo cui gli zeri non banali della funzione zeta
[1] ζ(s) = 1+1/2s+1/3s+1/4s+…, s ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] positive per n>2. Un controesempio a tale affermazione, come era già noto, ne produrrebbe infatti uno alla congettura di Shimura-Taniyama per la classe di curve ellittiche presa in esame da Wiles.
Realizzazione di condensati di Bose-Einstein ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] centinaia di ore di tempo-macchina per verificare con un elaboratore 1482 configurazioni distinte di calcolo nel caso della congettura dei quattro colori e più di 11.000 pagine di sillogismi matematici per la classificazione dei gruppi semplici ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] complessi con parte immaginaria compresa tra 0 e T, il sottoinsieme di quelli con parte reale 1/2 (che soddisfano cioè la congettura formulata da Riemann nel 1859) ha cardinalità che cresce con lo stesso ordine di N(T).
Il primo atto della conquista ...
Leggi Tutto
Scienza greco-romana. Diofanto di Alessandria
Roshdi Rashed
Diofanto di Alessandria
Nel corso degli ultimi decenni la nostra conoscenza dell’opera di Diofanto di Alessandria è cambiata in maniera considerevole, [...] e prima della seconda metà del IV sec. d.C. Le nostre certezze si fermano qui per cedere il posto a semplici congetture. Per precisare meglio le date di Diofanto sono invocate due testimonianze tarde. La prima risale a Michele Psello (1018-m. 1078 o ...
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 [...] di una sfera di dimensione n è omeomorfa a tale sfera. Questo risultato gli varrà la medaglia Fields nel 1966; la congettura originaria di Poincaré per il caso n=3 è tuttora aperta.
Pubblicato il primo EGA. A. Grothendieck pubblica il primo di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] un'asserzione della forma (Ex)F(x) dove F è una proprietà finitaria dei numeri naturali (per es., la negazione della congettura di Goldbach ha tale forma) con i metodi transfiniti della matematica classica, e che d'altra parte si possa stabilire ...
Leggi Tutto
congettura
(ant. conghiettura e coniettura) s. f. [dal lat. coniectura, der. di coniectus, part. pass. di conicĕre «gettare; congetturare», comp. di con- e iacĕre «gettare»]. – 1. Supposizione, giudizio fondato su indizî o apparenze probabili:...
congetturabile
congetturàbile agg. [der. di congetturare]. – Che si può congetturare, che si può ricavare per congettura: situazione prodotta da cause facilmente congetturabili.