ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] . Si intravede, allora, come i teoremidi composizione di Gödel costituiscano un passo fondamentale per utilizzare la teoria della r. nei problemi di decisione. Infatti, avvenuta l’aritmetizzazione nell’ambito di un opportuno sistema formale del tipo ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] teoremadi incompletezza).
Abstract di approfondimento da Logica matematica di Silvio Bozzi (Enciclopedia della Scienza e della Tecnica)
Pur potendo vantare come erede delladella geometria condotte nei primi anni del Novecento da David Hilbert, ...
Leggi Tutto
VARIAZIONI, CALCOLO DELLE.
Leonida Tonelli
- È quel ramo dell'analisi matematica che studia i problemi di massimo e minimo (v. massimi e minimi) relativi a quantità variabili, che si presentano sotto [...] (x, y) e appartenente alla famiglia che genera il campo di estremali.
10. Teorema d'indipendenza di Beltrami-Hilbert. - E. Beltrami (1868) e D. Hilbert (1900) dimostrarono che, per tutte le curve C, della classe S-80???, che appartengono al campo ...
Leggi Tutto
SERIE
Giovanni SANSONE
Luigi GALVANI
(ted. Reihe). -1. Termine matematico con cui si designa l'operazione di addizione, estesa - sotto opportune condizioni, che le assicurino un senso preciso - al [...] serie armonica, non è sufficiente.
Dal teoremadi Cauchy segue che se {an} è di a1 + a2 + ... + an +... .
La teoria della sommabilità del Borel, perfezionata e generalizzata, è oggi a basedi tutti i metodi di prolungamento analitico delle serie di ...
Leggi Tutto
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] relativamente a problemi classici quali il grado di generalità del teoremadella divergenza, il xix problema diHilbert (regolarità dei minimi lipschitziani nel calcolo delle variazioni) e il problema di Plateau per le superfici minime. Quest'ultimo ...
Leggi Tutto
Matematica
Ana Millán Gasca
(XXII, p. 257; App. II, ii, p. 276; III, ii, p. 44; IV, ii, p. 414)
Nella voce matematica pubblicata nel vol. XXII della Enciclopedia Italiana, l'etimologia greca della parola [...] anche ereditati da matematici del passato, come nel caso del teoremadi Fermat recentemente dimostrato: v. numeri, teoria dei, in l'attività dell'Istituto di matematica dell'Università di Gottinga, sotto la guida di F. Klein e di D. Hilbert, è rimasta ...
Leggi Tutto
FUNZIONALE, ANALISI (v. funzionali, XVI, p. 180)
Tullio Viola
Portano questo nome gli sviluppi più moderni dell'analisi matematica, generati dalla fecondazione che le teorie classiche hanno ricevuto [...] in B".
Esempi.
1) T(x) sia una funzione reale f (x) di una variabile reale x, definita nell'intervallo chiuso [a, b], ivi dotata di derivata prima limitata. Si avrà, per il teoremadella media,
Posto M = estr. sup. ∣ f ′(x) ∣〈 + ∞ (S-104???x ∈ [a, b ...
Leggi Tutto
NUMERI, Teoria dei
Enrico Bombieri
Gli sviluppi recenti della t. dei n. (v. aritmetica: Aritmetica inferiore o teoria dei numeri, IV, p. 370) hanno condotto alla soluzione di problemi fondamentali e [...] Un'altra linea di ricerca è stata aperta dalla soluzione, di A. O. Gelfond e T. Schneider, del problema diHilbertdi provare che 2 al posto dell'ipotesi di Riemann generalizzata è la stima: per A ≥ 5 si ha
di nuovo, come per il teoremadi Siegel e ...
Leggi Tutto
Il termine aritmetica fu usato per la prima volta dai pitagorici per distinguere la scienza dei numeri dalla mera pratica del calcolo per mezzo di operazioni elementari, o logistica (λογιστική). Secondo [...] origine a varie ricerche, ma la dimostrazione generale del teorema si deve a D. Hilbert (1909).
b) L'equazione pitagorica; triangoli di Fermat e di Torricelli. - La risoluzione in numeri interi dell'equazione pitagorica: x2 + y2 − z2 (che esprime la ...
Leggi Tutto
FUNZIONE
Leonida TONELLI
Salvatore PINCHERLE
. Introduzione. - Una variabile numerica, che dipenda da altre variabili numeriche, si dice funzione di queste ultime. Il concetto di funzione è oggi [...] una relazione algebrica fra f (u), f (v), f(u + v), qualunque sia la coppia, u, v di valori della variabile. In ciò consiste il teorema d'addizione delle funzioni ellittiche. Per la funzione p (u) si ha la relazione
algebrica fra p (u + v), p (u ...
Leggi Tutto