Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] formule indimostrabili nel calcolo dei predicati del primo ordine. Questo teorema è basato sulla costruzione si porta in uno stato f∈F, ove si arresta, in un numero finito di mosse: a questo punto il nastro contiene una stringa qualsiasi completata ...
Leggi Tutto
Serie storiche, analisi delle
Franco Giusti
Finalità
Una serie storica è un insieme finito cronologicamente ordinato di osservazioni x₁, x₂, x₃,..., xT relative a un carattere X, generalmente equidistanti, [...] della diversa lunghezza dei mesi e del diverso numero di giornate lavorative hanno come riferimento fondamentale il teorema di Wold, il quale afferma Xt = Vt + Zt, di cui il primo costituisce la cosiddetta componente deterministica o singolare e il ...
Leggi Tutto
Turbolenza
AAngelo Vulpiani
di Angelo Vulpiani
SOMMARIO: 1. Introduzione. ▭ 2. Transizione alla turbolenza. ▭ 3. Turbolenza sviluppata: a) meccanica statistica dei fluidi perfetti; b) fatti sperimentali [...] ; vale inoltre il teorema di Liouville, cioè dei sistemi con dimensioni o numero di componenti infinite).
4. Teoria statistica della turbolenza sviluppata.
Il problema della turbolenza è estremamente difficile da affrontare partendo da principî primi ...
Leggi Tutto
L'Ottocento: matematica. Metodi del calcolo numerico
Dominique Tournès
Metodi del calcolo numericoPrima del 1870 l'analisi numerica non si era ancora sviluppata come disciplina autonoma; esisteva [...] il ruolo centrale che gioca l'interpolazione nelle applicazioni della matematica e nel calcolo numerico.
Dopo i lavori di Newton e della scuola inglese deiprimi del XVIII sec., l'interpolazione si basa sulle differenze finite. Si consideri una ...
Leggi Tutto
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 [...] clausole di Horn, vale a dire clausole della forma p1,…,pn⇒q, e per dei goal del tipo ∃y1,…,∃up A, dove A è una congiunzione D1 … Dtdi primo ordine stabilita dal teorema di Church. Senza contrazione sarebbe infatti possibile limitare il numero ...
Leggi Tutto
Scienza indiana: periodo vedico. La matematica e l'astronomia nei testi vedici
Takao Hayashi
David Pingree
La matematica e l'astronomia nei testi vedici
Espressioni numeriche nei testi vedici
di Takao [...] e 333 (=3×111). È stato ipotizzato che il numero degli dèi, 3339, fornito da Ṛgveda (3.3.9), rappresenti o, equivalentemente, x2=1+(2m/15). La prima di queste tre relazioni è utilizzata negli Śulbasūtra somma mediante il teorema di Pitagora ottenendo ...
Leggi Tutto
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] dei → tipi.
• Il paradosso di Burali-Forti è il primo paradosso insiemistico, pubblicato nel 1897 da C. Burali-Forti, e basato sul concetto di numero ha cardinalità maggiore X: |℘(X)| > |X| (teorema di Cantor); b) si considera l’insieme U di tutti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] economici è semplice: si tratta in sostanza deiprimi elementi del calcolo differenziale, che sono spesso confinati dimostrare il teorema di minimax, provando l'esistenza di soluzioni per ogni gioco finito (in cui i giocatori hanno un numero finito ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Fino alla metà dell’Ottocento la teoria della meccanica classica esprime in modo soddisfacente [...] da Rayleigh. Dopo questi primi abbozzi di una teoria cinetica dei gas, un impulso alle PV = 1/3 Nmv2, dove N è il numero totale di molecole del gas, m la massa e v Questo risultato è oggi noto come teorema H. Come Boltzmann illustra nell’articolo ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La nascita del calcolo delle probabilita
Patrizia Accordi
La nascita del calcolo delle probabilità
Introduzione
Il carteggio del 1654 tra Blaise [...] si trovano nella situazione in cui mancano due partite al primo e tre al secondo per vincere la posta e si ricerca celebre dell'Ars conjectandi è il cosiddetto 'teorema d'oro', cioè la legge dei grandi numeri nella sua forma più semplice, che ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...