Sacchèri, Giovanni Girolamo
Enciclopedia on line
Matematico e filosofo (Sanremo 1667 - Milano 1733), gesuita; insegnò dapprima filosofia e teologia nei collegi della Compagnia di Gesù, poi (1699) matematica nell'univ. di Pavia. Acutissimo logico, S., [...] punto fuori di una retta passa una sola parallela alla retta data" (Euclides ab omni naevo vindicatus, 1733). La dimostrazione è errata, nel senso che essa ammette implicitamente altre proposizioni, equivalenti al 5º postulato di Euclide, che non è ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
L'Ottocento: matematica. Analisi complessa
Storia della Scienza (2003)
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] delle ascisse almeno una volta. In un punto dove il grafico interseca l'asse delle ascisse il polinomio si annulla, e questo dimostra l'asserto. Il polinomio x3−2, che non ha zeri razionali e il cui grafico interseca l'asse delle ascisse nel punto ...
Leggi Tutto
argoménto
Dizionario delle Scienze Fisiche (1996)
argomento
argoménto [Der. del lat. argumentum, der. di arguere "dimostrare"] [LSF] (a) Con il signif. figurato di "materia, tema", in varie discipline. (b) Sinon. di argomentazione, cioè sinon. di ragionamento, [...] dimostrazione e simili. ◆ [ALG] Ha talora il signif. di variabile indipendente di una funzione; per es., α è l'a. della funzione trigonometrica sinα. ◆ [ALG] A. di un angolo, di un arco: lo stesso che ampiezza dell'angolo o dell'arco. ◆ [ALG] A. di ...
Leggi Tutto
corollàrio
Enciclopedia on line
corollàrio Proposizione che si deduce da una verità già dimostrata. In matematica, un teorema che si deduce come diretta e immediata conseguenza di un teorema precedente, così da non richiedere un'ulteriore [...] dimostrazione. ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Storia della Scienza (2003)
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 [...] a ogni passo in tali serie quando si applicava l'analisi a questioni di fisica o di meccanica. Poisson aveva proposto una dimostrazione basata sulla considerazione dell'integrale (che oggi porta il suo nome)
quando p tende a 1 e x tende a α. Con ...
Leggi Tutto
Kreisel, Georg
Enciclopedia on line
Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica [...] intuizionista, di teoria della dimostrazione e di teoria della ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ricorrenza
Dizionario delle Scienze Fisiche (2012)
ricorrenza
ricorrènza [Der. di ricorrente] [LSF] Ciascuno dei casi in cui un dato fenomeno si verifica, sinon. di occorrenza. ◆ [ALG] (a) Sinon. di induzione (completa), come nelle locuz. definizione [...] per r., dimostrazione o ragionamento per r., principio di ricorrenza. (b) Sinon. di ricorsività. ◆ [GFS] Metodo della r.: v. terremoto, previsione del: VI 244 a. ◆ [MCS] Tempo di r.: v. oltre: Teorema di ricorrenza. ◆ [MCS] Teorema di r.: in un ...
Leggi Tutto
equazione
Enciclopedia on line
Matematica
Definizioni
Si chiama e. un’uguaglianza tra due espressioni contenenti una o più variabili ovvero una o più funzioni o anche enti di natura più generale ( incognite dell’e.); se essa è soddisfatta, [...] , il problema di determinare la soluzione del sistema di e. del primo ordine
[9]
con le condizioni iniziali
[10]
Per tale problema si dimostra che se f=(f1,…,fn) è continua e se, dati un intorno I di x0 e un intorno J di (y10,…,yn0), esiste una ...
Leggi Tutto
Donaldson, Kirwan Simon
Enciclopedia on line
Matematico inglese (n. Cambridge 1957), prof. alla Stony Brook University. Ha dato notevoli contributi alla geometria differenziale, per i quali ha ricevuto la Fields Medal (1986). In particolare, a lui [...] si deve la dimostrazione dell'esistenza di due spazi topologicamente equivalenti allo spazio euclideo quadridimensionale che non sono equivalenti dal punto di vista differenziale. Successivamente, sono stati individuati infiniti spazi con tale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La grande scienza. Combinatoria
Storia della Scienza (2003)
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] ordine n, se n è una potenza di un primo, si costruisce facilmente a partire dal campo finito di ordine n).
Jacques Hadamard aveva dimostrato che una matrice n×n A=(aij) a elementi che soddisfano ∣aij∣≤1 per ogni i, j ha determinante al più nn/2 in ...
Leggi Tutto
CATEGORIA:
ALGEBRA