Cerca in:
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] tali insiemi, è possibile garantire l'applicabilità del teorema del punto fisso di Knaster-Tarski e individuare la funzione calcolata da un programma ricorsivo come il punto fisso del funzionale associato a tale programma.
L'approccio denotazionale ...
Leggi Tutto
contrazione
Enciclopedia on line
Fisiologia
Proprietà del muscolo di accorciarsi durante il movimento; con l’accorciamento si ha un aumento di spessore del muscolo, senza variazione di volume. La c. avviene per effetto dell’eccitamento [...] F(x), F(y)]≤ad (x, y) per ogni coppia di punti x, y dello spazio, dove d indica la distanza dello spazio metrico.
Il teorema delle c. afferma che ogni c. su uno spazio metrico ha un unico punto fisso, ossia un punto per cui vale F (x)=x.
Tecnica
In ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
ESPLORAZIONE CARTOGRAFIA E TOPOGRAFIA
–
GEOMORFOLOGIA
–
ANALISI MATEMATICA
–
FISIOLOGIA UMANA
–
IDRAULICA
valore
Enciclopedia on line
Economia
Definizioni
Capacità di un bene di soddisfare un bisogno, ma anche, nel senso più comune di v. di scambio, il prezzo relativo del bene stesso, cioè la sua capacità di acquistare altri beni. V. [...] b|; è inoltre |ab|=|a||b|, |a/b|=|a|/|b|. Teorema del v. medio nel calcolo differenziale (o teorema di Lagrange) Se f(x) è una funzione continua nell’intervallo (a, b) e derivabile nell’interno, esiste un punto interno x0 tale che risulta f(b)−f(a)=f ...
Leggi Tutto
Kovalevskaja, Sof´ja Vasil´evna
Enciclopedia on line
Matematica russa (Mosca 1850 - Stoccolma 1891). Sposata con V. O. Kovalevskij (v.), fu allieva di K. Weierstrass e prof. di analisi nell'univ. di Stoccolma. Studiò le equazioni alle derivate parziali ed [...] assai vasta di sistemi il teorema di esistenza e unicità, scoperto da Cauchy per i sistemi del 1º ordine. Recò notevoli contributi a problemi dinamici relativi all'anello di Saturno e al moto di un solido pesante con un punto fisso; il principale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La grande scienza. Cronologia scientifica: 1941-1950
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] la trasformata di Legendre al caso di dimensione infinita e sarà il punto di partenza per definire il sottodifferenziale.
Il teorema di Chow. della durata dell'anno tropico 1900, fissata dalle accuratissime effemeridi di cui si dispone per quell'anno. ...
Leggi Tutto
La civiltà islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Storia della Scienza (2002)
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] di Atene (al punto secondo uno schema fissato da Ammonio ed di un'opera del predecessore di Euclide, il De sphaera quae movetur di Autolico, oltre agli Sphaerica di Erone e di Menelao. Quest'ultimo scritto conteneva il teorema delle trasversali di ...
Leggi Tutto
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 [...] funzioni normali (crescenti e continue) e dei loro punti fissi, a opera di Oswald Veblen (1880-1960) e Paul Mahlo. fonte di assiomi di grandi cardinali è rappresentata dalle proprietà di partizione; il punto di partenza è un teorema di Frank ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] . Si dimostra allora (teorema di contrazione) che se X è completo (ogni successione di Cauchy di elementi di X converge a un elemento di X) esiste uno e un solo punto α tale che α=G(α) e α si chiama punto fisso di G. Inoltre il processo iterativo ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
L'Ottocento: matematica. Geometria superiore
Storia della Scienza (2003)
L'Ottocento: matematica. Geometria superiore
David E. Rowe
Geometria superiore
Per gran parte del XIX sec., i matematici non ebbero un'idea ben definita del campo di ricerca che è possibile chiamare [...] del punto fisso P l'insieme di tutti gli assi di inerzia forma una famiglia a tre parametri di rette ovvero un complesso di linee costituito dalle rette normali a un sistema a un parametro di superfici confocali di secondo grado. Per il teorema di ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
OTTICA
–
STORIA DELLA FISICA
–
GEOMETRIA
–
STORIA DELLA MATEMATICA
Fondamenti della matematicae teoria algoritmica dell'informazione
Enciclopedia della Scienza e della Tecnica (2007)
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] il primo teorema di incompletezza, enunciato e dimostrato da Kurt Gödel nel 1931.
Fissiamo la nostra bit di X) è maggiore di N−c per ogni N. Un punto cruciale è che la rappresentazione in base due di Ω soddisfa questa definizione di casualità ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA