Littlewood John Edensor
Dizionario delle Scienze Fisiche (1996)
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
Enciclopedia della Scienza e della Tecnica (2007)
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
CATEGORIA:
LOGICA MATEMATICA
Varignon, Pierre
Enciclopedia on line
Fisico e matematico (Caen 1654 - Parigi 1722). Iniziò da solo gli studî di matematica, che completò poi a Parigi. Il suo Projet d'une nou velle mécanique, pubblicato nel 1682 quasi contemporaneamente ai [...] iperbolica e ritrovandone altre come la spirale di Torricelli, cui per primo diede il nome di spirale logaritmica. Notissimo il suo teorema: se le forze (o più in generale i vettori) di un dato sistema sono tutte applicate in uno stesso punto A ...
Leggi Tutto
ipotenusa
Enciclopedia on line
In geometria, il lato maggiore di un triangolo rettangolo, e cioè il lato opposto all’angolo retto. Per il teorema di Pitagora, il quadrato costruito sull’i. è equivalente alla somma dei quadrati costruiti [...] sui cateti ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
Intuizionismo
Enciclopedia del Novecento (1978)
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 [...] P(x). Tuttavia ¬¬ ∀ x P(x) non vale: possiamo persino dimostrare che vale ¬ ∀ x P(x). Supponendo che valga ∀ x P(x), il teorema del ‛ventaglio' ci permette di inferire che A(x) deve essere noto per ogni x dopo che sia stato dato un numero finito N di ...
Leggi Tutto
creativo
Dizionario delle Scienze Fisiche (1996)
creativo
creativo [Der. del lat. creare "relativo al creare"] [ALG] Insieme c.: tipo di insieme ricorsivamente enumerabile: v. Gödel, teorema di: III 57 d. ...
Leggi Tutto
CATEGORIA:
ALGEBRA
geometria
Enciclopedia on line
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] il 5° postulato – equivale alla unicità della parallela per un punto dato a una retta data). Le proposizioni e i teoremi che costituiscono la g. euclidea non sono che lo sviluppo logico di tali premesse secondo un metodo strettamente deduttivo. Nella ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
desarguesiano
Dizionario delle Scienze Fisiche (1996)
desarguesiano
desarguesiano 〈desarg✄esiano〉 [Dal cognome del matematico Desargues] [ALG] Spazio d.: spazio grafico nel quale valga incondizionatamente il teorema di Desargues dei triangoli omologici [...] (→ Desargues, Gérard) ...
Leggi Tutto
CATEGORIA:
ALGEBRA
probabilità
Enciclopedia on line
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] A; le p. a posteriori, o finali, P(Bj/A) esprimono le p. delle ipotesi dopo che si è osservato l’evento A; il teorema di Bayes indica come l’osservazione di A modifica le p. delle ipotesi, facendo passare dalle p. a priori alle p. a posteriori. Gli ...
Leggi Tutto
Laurent, Pierre-Alphonse
Enciclopedia on line
Matematico francese (Parigi 1813 - ivi 1854); ufficiale del genio e prof. all'École polytechnique. A L. si deve la formulazione del teorema di L. che, estendendo un celebre teorema di A.-L. Cauchy, permette [...] di analizzare il comportamento di una funzione analitica uniforme nell'intorno dei suoi punti singolari isolati (poli, o punti singolari essenziali) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE