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 [...] più forti di quelli del primo ordine e in particolare a quelli del frammento monadico del secondo ordine, dove si considerano solo variabili X,Y,Z,… su insiemi. In questo caso si introducono i termini d'insieme {x∣B} dove B è una formula qualsiasi ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Sistemi, scienza e ingegneria dei
Enciclopedia della Scienza e della Tecnica (2008)
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] sottoinsieme ordinato di ℝ o ℤ e si definisca
[1] T(t0) = {t ∈ T : t ≥ t0}
Siano, inoltre, W l’insieme dei valori delle variabili e ∑(t0) un sottoinsieme delle funzioni del tempo definite dall’istante t0 in poi:
[2] ∑(t0) ⊂ WT(t0)
con
WT(t0) = {w0 ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Lagrange, Giuseppe Luigi
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Luigi Lagrange
Luigi Pepe
Lagrange fu uno dei maggiori scienziati dell’età dei lumi. Giovanissimo, iniziò una corrispondenza con i più importanti matematici dell’epoca, tra cui Jean-Baptiste [...] in vario modo ripreso, per es. da Karl Theodor Wilhelm Weierstrass per la presentazione delle funzioni di variabile complessa.
Impegno culturale e professionalizzazione
L’attività creativa di Lagrange nel campo delle scienze matematiche si sviluppò ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
momento
Dizionario delle Scienze Fisiche (1996)
momento
moménto [Der. del lat. momentum "piccola causa di movimento", dalla radice di movere "muovere", e poi "piccola cosa" in genere] [LSF] Oltre ai signif. nella meccanica e in discipline a questa [...] vale a dire è la media aritmetica delle potenze k-esime dei valori. Più in generale, considerando distribuzioni di probabilità di variabili aleatorie, il m. di ordine k vale ∫xk dF (x). Il m. primo è, naturalmente, la media aritmetica. Il concetto si ...
Leggi Tutto
Leonardo da Vinci
Enciclopedia on line
Pittore, architetto, scienziato (Vinci, Firenze, 15 aprile 1452 - castello di Cloux, od. Clos-Lucé presso Amboise, 2 maggio 1519). Ha personificato il genio rinascimentale che rivoluzionò sia le arti figurative [...] delle acque correnti il principio della portata costante, secondo il quale in un corso d'acqua uniforme a sezione variabile la velocità della corrente varia in ragione inversa della sezione (legge di Leonardo). I suoi studî sul volo degli uccelli ...
Leggi Tutto
sviluppo
Enciclopedia on line
Biologia
Insieme dei cambiamenti che si verificano in un organismo sia animale sia vegetale a partire dall’inizio della sua esistenza. Nel corso dello sviluppo i tessuti e gli organi aumentano di dimensioni, [...] rispetto ai consumi e si risolve in una crisi che, attraverso la distruzione di ricchezza, ristabilisce l’equilibrio tra le due variabili, ma solo temporaneamente, sicché a ogni crisi ne segue un’altra più grave fino a quella finale che provoca il ...
Leggi Tutto
elemento
Enciclopedia on line
Biologia
Elemento genetico
trasponibile Unità genetica in grado di inserirsi in un cromosoma, uscirne e reinserirsi successivamente in una diversa posizione. Con tale locuzione sono altresì indicate le [...] i nuclei leggeri ‘fragili’ (D, Li, Be, B).
Matematica
Il termine elemento ha spesso significato affine a infinitesimo (quantità variabile che tende al limite zero). In tal senso, elemento d’arco è un tratto infinitesimo di curva, più esattamente il ...
Leggi Tutto
ALGEBRA LINEARE
Enciclopedia Italiana - VII Appendice (2006)
L'a. l. costituisce uno strumento matematico di importanza fondamentale in ogni disciplina scientifica. Essa costituisce sia un efficace linguaggio comune con cui formulare problemi di natura diversa, [...] calcolo che traggano la massima efficienza dalla struttura parallela. Lo sviluppo commerciale di sistemi a precisione di calcolo variabile sta dando un notevole impulso alla sintesi di algoritmi adattivi. La peculiarità di ogni singolo problema, che ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Geometria differenziale
Enciclopedia del Novecento (1978)
Geometria differenziale
SShoshichi Kobayashi
di Shoshichi Kobayashi
Geometria differenziale
sommario: 1. Cenno storico. 2. Varietà. 3. Geometria riemanniana. 4. Varietà complesse e varietà kähleriane. [...] (48)
La scoperta di questa metrica biolomorficamente invariante fatta da S. Bergman nel 1933 aprì un nuovo capitolo nella geometria di più variabili complesse.
Si dice che un dominio limitato M è simmetrico se in ogni punto z di M c'è una simmetria σ ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
Misura e integrazione
Enciclopedia del Novecento (1979)
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] }
poniamo
τ(I)=f(b, d)−f(b, c)−f(a, d)+f(a, c).
Supponiamo che f sia continua a destra in ciascuna variabile separatamente e tale che la τ definita dianzi sia sempre non negativa. La misura che ne risulta si chiama ancora misura di Lebesgue-Stieltjes ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA