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 [...] l’opera di sistemazione critica apparterrà al secolo successivo (A.-L. Cauchy, B. Bolzano, K.T.W. Weierstrass). Il bilancio della dimostrazione dell’ultimo teoremadi Fermat.
Un esempio attuale di un programma di ricerca trasversale a molti settori ...
Leggi Tutto
Particolare tipo di numeri che rappresentano una generalizzazione dei numeri complessi.
I q. costituiscono un corpo non commutativo e un’algebra non commutativa sul campo dei numeri reali. Introdotti da [...] che essi garantiscono la validità dei teoremi fondamentali dell’analisi classica (per es., il teoremadi B. Bolzano-K. Weierstrass) e quindi la possibilità di sviluppare un calcolo infinitesimale. Ebbene, un celebre teoremadi L.S. Pontrjagin (1932 ...
Leggi Tutto
Matematico (Parigi 1789 - Sceaux, Seine, 1857). Ingegnere dal 1809, già nel 1813 si segnalò per le sue prime ricerche sui poliedri e sugli integrali doppî. Nel 1816 il C., legittimista e acerrimo nemico [...] ricordano le condizioni di olomorfia di C.-Riemann, il teorema e la formula integrale di Cauchy. Sotto il suo nome vanno pure un metodo di interpolazione, il teorema degli incrementi finiti e il criterio di convergenza (anche detto diBolzano-C.) che ...
Leggi Tutto
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 [...] dopo il 1850) dalla formulazione ‛ε, δ' diWeierstrass (prefigurata da Bolzano e, in qualche suo aspetto, da Cauchy), la che soddisfa a) e b) è detto reale chiuso. Il teoremadi Tarski consiste nell'affermazione che la teoria dei corpi reali chiusi, ...
Leggi Tutto