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 [...] definire un numero reale α come una successionedi numeri razionali α={a0, a1, a2, ...} che soddisfi la condizione diCauchy. Si dice che α è uguale a un'altra successionedi numeri razionali di questo tipo, β={b0, b1, b2, ...}, se la differenza tra ...
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 [...] certi numeri primi compaiono e si propagano come divisori di termini della successione un. In particolare, se un numero p di definire gli equivalenti del teorema dei residui diCauchy e del teorema di Riemann-Roch. Egli prendeva in esame le idee di ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] n>n1 e per ogni m intero positivo". A ognuna di queste successioni 'fondamentali' (oggi dette 'diCauchy') Cantor associava un numero b, definito a meno di una relazione di equivalenza per le successioni e il campo dei numeri reali era l'insieme ...
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 [...] dei numeri reali, definiti per mezzo di 'successioni fondamentali', ossia successionidi numeri razionali, che soddisfano la condizione di convergenza diCauchy. L'insieme di quei numeri soddisfa un assioma di continuità, ed è a questo punto ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] :
∀ k ???29??? n ∀ p(∣an+p − a∣ ⟨ 1/k). (1)
La successione {an} è una ‛successionediCauchy' se:
∀ k ???29??? n ∀ p(∣an-+p − an∣ ⟨ 1/k). (2)
Si dimostra facilmente che ogni successionediCauchy è convergente e che se ne può calcolare il limite. La ...
Leggi Tutto
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 [...] R(n) può anche essere determinata usando la formula integrale diCauchy. Indubbiamente le espressioni che in questo modo si ottengono per R G. Shnirelman introdusse il concetto di densità di una successionedi numeri naturali; utilizzando la stima ...
Leggi Tutto
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 [...] qualsiasi spazio di misura. Se {fn} è una successionedi funzioni misurabili di integrabilità assoluta fa parte integrante della definizione di Lebesgue e per questa ragione l'integrale di Lebesgue non è una generalizzazione dell'integrale diCauchy ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] astratti sono quelli di 'completezza' e di 'separabilità'.
Applicando il criterio di convergenza diCauchy, il quale viene comunemente utilizzato nell'analisi moderna, Fréchet definisce uno spazio metrico 'completo' quando ogni successione {xn}, tale ...
Leggi Tutto
Analisi matematica
Jean A. Dieudonné
Alcune delle idee fondamentali che sono alla base del calcolo risalgono ai Greci, ma il loro sviluppo sistematico iniziò soltanto nel XVII secolo. Alla fine di quel [...] si introduce in esso la topologia prodotto; affinché una successionedi funzioni (fn) converga a una funzione f secondo di X, cosicché X si identifica canonicamente con un sottoinsieme chiuso dello spettro di A.
Nell'algebra B, il teorema diCauchy ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] precedenti rapporti incrementali si ottengono formule di approssimazione per derivate di ordine superiore. Questo processo, di tipo locale, è alla base dell'approssimazione alle differenze finite di problemi diCauchy. Un approccio globale si ottiene ...
Leggi Tutto