Liouville, approssimazione di
Liouville, approssimazione di approssimazione di un numero irrazionale attraverso un numero razionale. In particolare, il teorema di Liouville sull’approssimazione dei numeri [...] qualunque con q > 0, allora esiste una costante positiva c, dipendente soltanto da x, tale che:
Tramite questo teorema, Liouville fu il primo a costruire, nel 1844, un numero trascendente (→ numero algebrico, grado di un; → Liouville, costante ...
Leggi Tutto
Thom Rene F.
Thom 〈tòm〉 René F. [STF] (n. 1923) ◆ [ALG] Classe di T.: v. operatori, indici di: IV 300 d. ◆ [ALG] Teorema dell'isomorfismo di T.: v. operatori, indici di: IV 299 f. ◆ [ALG] Teorema di [...] Pontrjagin e T.: → Whitney, Hassler: Classi di Whitney. ◆ [MCC] Teorema di T.: v. sistemi dinamici: V 295 c. ◆ [ALG] Teorema di trasversalità di T.: v. trasversalità: VI 338 f. ...
Leggi Tutto
LAURENT, Pierre-Alphonse
Giovanni Lampariello
Matematico, nato a Parigi nel 1813, morto ivi nel 1854. Fu ufficiale del genio e professore alla scuola politecnica di Parigi.
Il nome del L. è legato a [...] sviluppabile in serie di potenze intere positive e negative (compreso l'esponente zero) della variabile z = α. Questo teorema permette di analizzare il comportamento di una funzione analitica uniforme nell'intorno dei suoi punti singolari isolati (di ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] e se ne creano altri in modo tale da selezionare solo tutto ciò che è necessario ma non sovrabbondante per la deduzione dei teoremi voluti. Sebbene la ricerca di Hilbert non sia svolta con strumenti formali, ne vien fuori un sistema formale, cioè un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] metodo ad hoc. Ciò è possibile, e fu così che il matematico tedesco Heinrich W.E. Jung poté dimostrare, nel 1905, il teorema di Riemann-Roch per le superfici. Con Jung si assiste a un progresso rispetto alla scuola italiana: per la prima volta sono ...
Leggi Tutto
Euclide, teoremi di
Euclide, teoremi di nella geometria del piano sono così detti due teoremi che costituiscono, insieme al teorema di Pitagora, i teoremi fondamentali relativi ai triangoli rettangoli.
Il [...] . Poiché si può facilmente dimostrare che dato un qualunque poligono si può costruire un rettangolo a esso equivalente, i due teoremi permettono di definire l’area di un qualunque poligono come l’area del quadrato a esso equivalente e di assumere ...
Leggi Tutto
Campbell Albert
Campbell 〈kèmbl〉 Albert [STF] (Londonderry 1862 - Cambridge 1954) Fisico del National Physical Laboratory di Teddington. ◆ [ELT] Teorema di C.: v. rumore elettrico: V 93 e. ...
Leggi Tutto
Littlewood John Edensor
Littlewood 〈lìtluud〉 John Edensor [STF] (Rochester 1885 - Cambridge 1977) Prof. di matematica nell'univ. di Cambridge (1928). ◆ [ALG] Teorema di L.: teorema che ha confermato [...] Hilbert alla congettura di E. Waring secondo la quale per ogni intero k≥2 esiste un numero s(k) tale che qualunque intero n si può esprimere come somma di s(k) potenze k-esime di interi. ◆ [ANM] Teorema tauberiano di L.: v. analisi armonica I 126 e. ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] le variabili esistenzialmente quantificate che la precedono nel prefisso; nel nostro esempio AHsarà
[2] ∃x, ∃z R(x,f(x),z,g(x,z)).
Il teorema di Herbrand ci dice che A è dimostrabile in LK se e solo se esistono un n≥1 e degli esempi A1,….,An della ...
Leggi Tutto
Fubini Guido
Fubini Guido [STF] (Venezia 1879 - New York 1943) Prof. in varie univ. italiane dal 1903, poi (1938) emigrato negli SUA, membro dell'Institute for advanced study di Princeton. ◆ [ANM] Teorema [...] di F.: v. misura e integrazione: IV 5 b ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...