lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] la verità né la falsità (teorema di incompletezza).
Abstract di approfondimento aspetto di calcolo logico e di teoria deduttiva l’oggetto fondamentale d’indagine di James B. Ax e Simon B. Kochen del 1965 sulla congettura di Artin, che apriranno la ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] si basa sull'uso della formula fondamentaledelcalcolo integrale
,
dove l'integrale stesso xj+1,uj+1)]. Per l'analisi dell'errore di discretizzazione locale τj (h) si ricorre al teorema di Taylor: poiché f(xj,yj)=y′ (xj), si ottiene che τ(h)=O(h) ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La nascita delcalcolo delle probabilita
Patrizia Accordi
La nascita delcalcolo delle probabilità
Introduzione
Il carteggio del 1654 tra Blaise [...] Il 1655 vede l'ingresso nella storia delcalcolo delle probabilità del matematico olandese Christiaan Huygens. Durante un giunse a enunciare anche il secondo teoremafondamentaledel limite, noto oggi come 'teorema di de Moivre-Laplace'.
Bibliografia ...
Leggi Tutto
integrale
integrale termine, introdotto da Jakob Bernoulli nel 1695, usato per indicare una delle nozioni fondamentali dell’analisi matematica, collegata sia al problema della determinazione dell’area [...] problema inverso della derivazione, cioè della ricerca di una funzione di cui sia nota la derivata (→ calcolo integrale, teoremafondamentaledel). Se quest’ultima è questione che venne posta in matematica solo nel Seicento, in relazione soprattutto ...
Leggi Tutto
FUNZIONALI
Luigi Fantappiè
. 1. Definizioni. - Il concetto di "funzionale" (termine dovuto a J. Hadamard, e derivante dalla locuzione più precisa "operatore funzionale") è uno dei più importanti dell'analisi [...] funzionali. Partendo dall'operazione fondamentaledelcalcolo differenziale e cioè dall'operazione (t), x1, x2]. Per le derivate funzionali seconde vale un teoremadel tutto simile a quello dell'invertibilità delle derivate seconde ordinarie (∂2 ...
Leggi Tutto
Augusto Cerri
Abstract
La voce accenna alle origini e alle ragioni della rigidità costituzionale e poi della garanzia di questa attraverso la giurisdizione, nelle varie forme che ha assunto. Nel nostro [...] 117 ss.; Buchanan, J–Tullock, G., The calcolus of consent, Ann Arbor, 1962, repr. 1974: sono le premesse delteoremafondamentale sul calcolo dei consensi).
In questo quadro si colloca anche la teoria di Rawls (Rawls, J., A Theory of Justice, Oxford ...
Leggi Tutto
integrale
integrale [s.m. e agg. Der. del lat. integralis, da integer "intero"] [LSF] Relativo alla considerazione di una totalità di elementi o che concorre alla costituzione di questa totalità. ◆ [ANM] [...] analitica, rispettiv., delteorema della conservazione della quantità di moto e delteorema della conservazione del momento della quantità indefinito). Si chiama formula fondamentaledelcalcolo i. la formula che consente il calcolo di un i. definito ...
Leggi Tutto
Barrow
Barrow Isaac (Londra 1630-77) matematico, fisico e teologo inglese. A tredici anni entrò al St. Peter’s College di Cambridge dove rimase fino al 1652. Fra il 1655 e il 1659 viaggiò per l’Europa, [...] le operazioni di derivazione e di integrazione sono l’una l’inversa dell’altra (→ calcolo integrale, teoremafondamentaledel; detto anche teorema di Torricelli-Barrow). Barrow giunse a questo risultato con un procedimento interamente geometrico, che ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] g. un gruppo di trasformazioni, detto gruppo fondamentale di tale g., e nell’assegnare a delcalcolo differenziale, del quale essa utilizza i metodi, e quantunque siano da segnalare risultati di rilievo nel 18° sec. (si ricordi, per es., il teorema ...
Leggi Tutto
geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure spaziali, originariamente sviluppatosi...
derivazione1
derivazióne1 s. f. [dal lat. derivatio -onis, der. di derivare «derivare1»]. – 1. L’atto, l’operazione, il fatto di derivare o di essere derivato, e il modo o il processo attraverso cui si deriva (nel sign. trans. e intr. di derivare1):...