DE PAOLIS, Riccardo
Dizionario Biografico degli Italiani (1991)
DE PAOLIS, Riccardo
Marta Menghini
Nacque a Roma il 19 genn. 1854 da Achille ed Elena Chatelain. Compì a Roma i primi studi dimostrando una spiccata inclinazione per la matematica, ai cui corsi dell'università [...] ma in quel periodo le importanti pubblicazioni del Cremona sulla teoria geometrica delle curve e superfici, e sulle e La trasformazione piana doppia di 3° ordine, primo genere, e la sua applicazione alle curve del 4° ordine, ibid., pp. 851-78). Il D. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
problema
Dizionario delle Scienze Fisiche (1996)
problema
problèma [Der. del lat. problema -atis, dal gr. próblema -atos, a sua volta da probállo "proporre"] [ALG] [ANM] Nella matematica e nelle sue applicazioni, quesito che richiede la determinazione [...] differenziale, alle derivate totali o parziali del primo, secondo, ecc., ordine, p. integrale, ecc.; p. : v. fluidodinamica viscosa: II 663 c. ◆ [MCC] P. piano: v. elasticità, teoria dell': II 255 c. ◆ [STF] [ALG] [ANM] P. risolubili con riga e ...
Leggi Tutto
circuitazione
Dizionario delle Scienze Fisiche (1996)
circuitazione
circuitazióne [Der. di circuitare, da circuito, "percorrere una linea chiusa"] [ANM] Operatore vettoriale integrale, dato, per un generico vettore v, dall'integrale di v lungo una linea [...] E✄dl=Σkfk, dove k è l'indice di ordine delle f. Deriva dalla c. del primo membro della legge vettoriale di Ohm: v. corrente ), nel verso uscente da questa. Ha grande importanza nella teoria dei campi vettoriali per passare da relazioni in cui compare ...
Leggi Tutto
teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] t., intese come sistemi assiomatici, nei termini della teoria logico-matematica dei modelli. Tali analisi, per le logici. Ogni sistema formale di questo genere si dice una t. del primo ordine con identità. Tali sono, per es., le t. dei gruppi, ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] ) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica, nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ottimizzazione
Enciclopedia on line
In matematica applicata, e in particolare nella teoria delle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] in modo esatto o approssimato, problemi che prima, per la loro complessità, o per opportune trasformazioni, a problemi di o. libera.
Teoria delle decisioni
Nell’o., uno o più sono basati su un ordinamento del processo decisionale complessivo in una ...
Leggi Tutto
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] ogni insieme di formule del calcolo dei predicati del primo ordine (contenente quindi in generale dimostrazione costruttiva di ∀x∃yA(x, y), i procedimenti della teoria della dimostrazione possono servire per computare una funzione f tale che ∀ ...
Leggi Tutto
MEDOLAGHI, Paolo
Enciclopedia Italiana - III Appendice (1961)
MEDOLAGHI, Paolo
Nora FEDERICI
Matematico e attuario, nato a Firenze il 24 novembre 1873, morto a Roma l'8 luglio 1950. Capo e, infine, direttore generale (1923-36) della Cassa nazionale per le assicurazioni [...] definiti di equazioni differenziali del primo ordine, 1907) - si concentrò in seguito nelle ricerche di matematica attuariale: tra queste, va soprattutto segnalato - per l'apporto originale - il suo lavoro Di una nuova teoria del rischio (1908), nel ...
Leggi Tutto
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] geometria algebrica.
Proprietà elementari: strutture e linguaggio
I linguaggi elementari o del primo ordine sono, non solo storicamente, i più importanti utilizzati nella teoria dei modelli, ed elementari sono quelle proprietà di strutture (o di ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] le formule di un linguaggio del primo ordine per gli assiomi che la coinvolgono. Ne deduce il noto paradosso di Skolem, che esiste cioè un dominio numerabile per la teoria, in ragione del menzionato teorema, con conseguente relativizzazione ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA