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ù [...] gruppo G′ se e solo se esiste un'espansione di G′ a LG modello di D(G). Supponiamo ora che TP sia un insieme di enunciati i cui modelli coincidono con le strutture che godono di P. E' chiaro allora che, affinché G sia isomorfo a un sottogruppo di un ...
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 [...] sua opera, la Nouvelle mécanique, figura la lettera indirizzata a V. da Giovanni Bernoulli (1717) nella quale si trova enunciato in tutta la sua generalità il principio dei lavori virtuali. Sostenitore dei nuovi metodi dell'analisi infinitesimale, si ...
Leggi Tutto
Nernst Walther Hermann
Dizionario delle Scienze Fisiche (1996)
Nernst 〈nèrnst〉 Walther Hermann [STF] (Briesen 1864 - Zibelle, od. Niwica,1941). Prof. di chimica fisica nell'univ. di Gottinga (1894) e poi di Berlino (1905); per le sue ricerche di termodinamica ebbe [...] della sostanza nei solventi stessi. ◆ [TRM] Postulato, o principio, di N.: uno dei modi in cui si può enunciare il terzo principio della termodinamica, sull'irraggiungibilità dello zero assoluto: v. termostatica: VI 206 e. ◆ [BFS] Potenziale di ...
Leggi Tutto
operatore
Enciclopedia on line
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] valgono le due relazioni
∀x Px ↔ Ó ∃x (Ó Px),
∃x Px ↔ Ó ∀x (Ó Px).
Gli o. descrittivi trasformano una forma enunciativa in un individuo. Tali sono, per es., l’o. iota (simbolo ι) e l’o. mi (simbolo μ, ➔ minimalizzazione), il cui significato appare ...
Leggi Tutto
Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] nella teoria delle equazioni differenziali ordinarie (il metodo sarà ripreso e sviluppato da Ch.-E. Picard); l'enunciato e la prima dimostrazione dell'esistenza degli integrali di siffatte equazioni sotto la sola ipotesi della continuità dei dati ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Hardy, Godfrey Harold
Enciclopedia on line
Matematico inglese (Cranleigh, Surrey, 1877 - Cambridge 1947), prof. all'univ. di Cam bridge. Ha compiuto ricerche sulla teoria dei numeri, sulla teoria delle funzioni armoniche e delle serie trigonometriche [...] la frequenza dei due geni allelomorfi di una coppia genica in una popolazione rimane immutata se si verificano determinate condizioni. Tale enunciato, molto importante per la teoria dell'evoluzione, è noto col nome di legge di H.-Weinberg, perché fu ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Probabilita
Enciclopedia del Novecento (1980)
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] alla topologia della convergenza uniforme in Ω1 Se μ è una misura di wiener ristretta a Ω1, risulta
Questo è un enunciato del principio di invarianza di Donsker: eccone una tipica applicazione. La probabilità che, per 0 > x > 1, in una ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA
Scienza greco-romana. Euclide e la matematica del IV secolo
Storia della Scienza (2001)
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] forme di tipo ‘verbale’; la chiave di molte dimostrazioni sta nel riuscire a costruire una situazione che sia prevista dall’‘enunciato’ di una delle definizioni di Eudosso. Sono le parole che fanno il lavoro logico, le figure sono quasi superflue; è ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La civiltà islamica: antiche e nuove tradizioni in matematica. Geometria: la tradizione euclidea rivisitata
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria: la tradizione euclidea rivisitata
Pascal Crozet
Geometria: la tradizione euclidea rivisitata
Introduzione
Fin dai primi sviluppi [...] il cerchio in I e H e la congiungente GE in J; si ha allora che AH:AI=JH:JI.
Nello stesso trattato al-Siǧzī enuncia la proprietà generale per cui una retta e un cerchio sono immagini l'uno dell'altra in un'inversione che abbia per polo un punto del ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
La civiltà islamica: antiche e nuove tradizioni in matematica. Trigonometria
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Trigonometria
Marie-Thérèse Debarnot
Trigonometria
Dalla geometria alla trigonometria
La trigonometria, scienza ausiliaria dello studio [...] dei casi ai quali dà luogo l'uso di un rapporto composto, in assenza di simbolismo. Infatti, l'uguaglianza a/b=c/d∙e/f si enuncia nel seguente modo: il rapporto di a a b è composto dal rapporto di c a d e dal rapporto di e a f; è dunque necessario ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA