Millennium Problems
Enciclopedia on line
Selezione di 7 problemi matematici proposti nel 2000 dal Clay Mathematics Institute (CMI) di Cambridge, Massachusetts, che ha stanziato per la risoluzione di ognuno di essi un premio di 1 milione di dollari. [...] razionali studiando il comportamento, in un punto, di una funzione a essa associata.
Teoria di Yang-Mills Il problema chiede di dimostrare che la teoria di Yang-Mills esiste e possiede un gap di massa; tale teoria è alla base dell’attuale Modello ...
Leggi Tutto
Euclide
Dizionario delle Scienze Fisiche (1996)
Euclide
Euclide [STF] [ALG] Matematico greco, vissuto ad Alessandria d'Egitto intorno al 300 a.C., che sistemò, in maniera insuperata, la matematica che s'era andata sviluppando in circa due secoli di [...] 7°, 8° e 9° trattano di aritmetica (tra l'altro, procedimento euclideo per il massimo comun divisore, dimostrazione euclidea dell'infinità dei numeri primi, scomposizione euclidea in fattori primi); il 10° libro tratta degli irrazionali quadratici ...
Leggi Tutto
sintassi
Dizionario delle Scienze Fisiche (1996)
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] e come si deve operare sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
Micali, Silvio
Enciclopedia on line
Matematico italiano (n. Palermo 1954). Brillante allievo di C. Böhm, si è laureato in Matematica a La Sapienza di Roma (1978), prima di trasferirsi negli Stati Uniti e conseguire un dottorato in Informatica [...] ai suoi studi, incentrati sulla crittografia asimmetrica (basata sull’utilizzo di una chiave pubblica e una privata), sulla “dimostrazione a conoscenza zero” (di cui è co-ideatore), sulla firma digitale e in generale sulla sicurezza informatica. Per ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
QUILLEN, Daniel
Enciclopedia Italiana - V Appendice (1994)
QUILLEN, Daniel
Carlo Cattani
Matematico statunitense, nato a Orange (New Jersey) il 27 giugno 1940. Conseguito il Ph.D. in matematica alla Harvard University (1969), è stato professore di Matematica [...] da associare a un anello. Nel 1972, utilizzando tecniche riprese dalla teoria dell'omotopia e il metodo usato nella dimostrazione della congettura di Adam, Q. ha fornito un contributo fondamentale con la naturale e semplice definizione di gruppi (non ...
Leggi Tutto
La grande scienza. Teoria dei numeri
Storia della Scienza (2003)
La grande scienza. Teoria dei numeri
Anatolij A. Karatsuba
Teoria dei numeri
La teoria dei numeri o, adottando una locuzione di Carl Friedrich Gauss (1777-1855), l'aritmetica superiore, è lo studio [...] ,q>0 interi ammetta un numero finito di soluzioni se ε>0 e un numero infinito di soluzioni se ε⟨0. Nel 1909 Axel Thue dimostrò che ϑ≤(n/2)+1, e da ciò segue che se f(z)=azn+bzn−1+…+cz+d è un polinomio irriducibile nel campo dei numeri razionali ...
Leggi Tutto
Misura e integrazione
Enciclopedia del Novecento (1979)
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] (x)∣xi-1≤x≤xi}
e
Mi=sup {f(x)∣xi-1≤x≤xi}.
Definiamo le somme inferiori e superiori rispetto a P per f mediante le
Si può dimostrare che per due qualsiasi partizioni P e Q si ha
-S(f,P)≤Ô(f,Q);
così che, se π è l'insieme di tutte le partizioni di [a ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
L'Ottocento: matematica. Algebra della logica
Storia della Scienza (2003)
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 [...] stesso, in tale periodo, viene posto in modo esplicito il problema dei rapporti tra la dottrina logica tramandata e la dimostrazione quale viene svolta in ambito matematico-geometrico. Così, a partire dal XVI sec., da un lato ci si interroga sulla ...
Leggi Tutto
VARIAZIONI, CALCOLO DELLE
Enciclopedia Italiana (1937)
VARIAZIONI, CALCOLO DELLE.
Leonida Tonelli
- È quel ramo dell'analisi matematica che studia i problemi di massimo e minimo (v. massimi e minimi) relativi a quantità variabili, che si presentano sotto [...] la funzione che rende minimo l'integrale I [y (x)] fra tutte quelle y (x) che assumono in a e b i valori prestabiliti. Volendo dimostrare che I [y0 (x)] dà il minimo cercato, si deve confrontare il valore I [y0 (x)] con quello I [y (x)] relativo a un ...
Leggi Tutto
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
Storia della Scienza (2001)
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
John L. Berggren
Le sfere celesti e le origini della trigonometria
La comparsa della sfera nella geometria è una diretta conseguenza [...] di rilievo si trova poi nel Libro V della Collezione, quando Pappo si riferisce a un gruppo di «lemmi di Sferica» per la dimostrazione del risultato secondo cui se un angolo α è maggiore di un angolo β, allora tanα/tanβ è maggiore di α/β. Circa ...
Leggi Tutto