Cerca in:
flusso
Dizionario delle Scienze Fisiche (1996)
flusso
flusso [Lo stesso etimo di flussione] [MCF] (a) Scorrimento di un fluido, cioè sinon. di corrente (fluida, di cariche elettriche, ecc.), o di energia elettromagnetica (in partic. luminosa, radio, [...] il m3/s. È il signif. fondamentale del termine, da cui, per analogia, , la differenza fra il f. calcolato per la superficie chiusa che approssima del campo: v. campi, teoria classica dei: I 472 f. ◆ [ALG] Teorema del f. di Gauss: lo stesso che teorema ...
Leggi Tutto
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] le espressioni e questo risulta fondamentale per studiare l’esistenza di che arricchiscono di molto le possibilità espressive del calcolo ma – malgrado la semplicità della sintassi così le varie forme del teorema dimostrato originariamente da Church ...
Leggi Tutto
CATEGORIA:
LOGICA
Hauptsatz di Gentzen
Enciclopedia della Scienza e della Tecnica (2008)
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] che non utilizza la regola del taglio
Poiché la regola del taglio è l’unica del calcolo che comporta nella dimostrazione di un sequente Γ⇒Δ l’eventuale ricorso a formule che non compaiono come sottoformule di Γ⇒Δ, il teorema ha come corollario la ...
Leggi Tutto
CATEGORIA:
LOGICA
Huygens, Christiaan
Enciclopedia on line
{{{1}}}
Fisico, astronomo e matematico olandese (L'Aia 1629 - ivi 1695). Membro della Royal Society di Londra (1663) e dell'Académie des sciences di Parigi (1666), è tra i fondatori della meccanica e [...] , il teorema delle forze vive, ad approfondire lo studio del moto circolare, a dare i teoremi fondamentali sulla forza furono caratterizzati dal suo interesse per i risultati del calcolo differenziale, le cui regole erano state pubblicate da ...
Leggi Tutto
TENSORIALE, ALGEBRA e ANALISI
Enciclopedia Italiana - IV Appendice (1981)
TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] essenziali. Sono anche esposti gli elementi essenziali del calcolo esterno, i cui fondamenti sono dovuti essenzialmente = δkh, si ha ???ighk = 0, ossia (teorema di Ricci) il tensore fondamentale si comporta come un tensore costante rispetto a ???i. ...
Leggi Tutto
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] teorema dimostrabile nella teoria matematica originaria trovi il corrispettivo in una proposizione deducibile nella teoria formale. Nella scelta del calcolo (e questa è per Hilbert il criterio fondamentale). Mediante il primo criterio si può, per ...
Leggi Tutto
OPERATORI
Enciclopedia Italiana - III Appendice (1961)
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] di spazio di Banach.
c) Fondamentale, in questa teoria, il problema della e la [1] si riduce all'enunciato del teorema di Cauchy per le funzioni analitiche.
e) del calcolo simbolico, senza far uso di trasformazioni integrali (vedi simbolico, calcolo ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO
Enciclopedia Italiana - IV Appendice (1979)
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] ω′ > 0 tale che,
Volterra fa le seguenti ipotesi restrittive fondamentali.
I) Esiste una costante M > 0 tale che, comunque del noto teorema di Schwarz del calcolo differenziale).
Lo stesso Volterra sviluppò i primi elementi del calcolo ...
Leggi Tutto
La civiltà islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] ventisei proposizioni così ottenute deduce il suo teorema principale: Dio esiste, è unico, e e della sua incorporeità. È questa idea fondamentale, già presente in al-Kindī, che dell'addizione e della separazione del calcolo indiano; la scienza dell' ...
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 [...] sei grandezze'), fondamento dei calcoli sui triangoli sferici prima della scoperta del teorema sferico dei seni da quattro operazioni fondamentali, la 'prova del nove', la regola del tre semplice e i metodi di approssimazione per il calcolo delle ...
Leggi Tutto