Serie storiche, analisi delle
Franco Giusti
Finalità
Una serie storica è un insiemefinito cronologicamente ordinato di osservazioni x₁, x₂, x₃,..., xT relative a un carattere X, generalmente equidistanti, [...] di variabili casuali ordinate, mentre la serie storica ne è una realizzazione finita, costituita da valori - generalmente equidistanti - assunti da un insiemefinito di variabili estratte dal processo. I problemi d'inferenza riguardano la stima ...
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 [...] il problema dell'esistenza di singolarità nelle soluzioni a tempi finiti.
Per quanto riguarda l'equazione di Navier-Stokes in due di velocità u(x,t in termini di un opportuno insieme di funzioni ϕn(x) ortonormali e complete considerando solo pochi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] il numero di punti singolari di un flusso su una superficie orientabile Σ è finito, la somma degli indici nei punti singolari è la caratteristica di Euler di Σ così un problema aperto fin dall'inizio della teoria degli insiemi. La delicata natura ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] in essa contenute, e della topologia étale, nella quale si dichiarano aperti essenzialmente i morfismi a fibre finite non ramificati.
Insieme alle strutture topologiche giocano un ruolo determinante i fasci sulla varietà. Questi oggetti consentono di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] è ricorsivamente enumerabile. Poiché sia A sia −A sono ricorsivamente enumerabili, A è un insieme ricorsivo. Perciò esiste un j tale che ψj(a) rappresenta A in T, cioè del teorema di Ramsey finito, la versione finita di Friedman del teorema di ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali ordinarie
Jeremy Gray
Equazioni differenziali ordinarie
Variabili reali
Durante il XVIII sec. i matematici avevano risolto un numero crescente di equazioni [...] dei valori di x o di z per i quali la somma della serie è un valore finito. Egli aveva dimostrato che, se si escludono i casi banali, un tale insieme è sempre un intervallo della forma −M⟨x⟨M o un cerchio definito dalla relazione ∣z∣⟨R. Per esempio ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] (che consiste nel trovare il minimo elemento di un insieme non vuoto di numeri naturali).
Consolidamento
Con il lavoro lavoro di McCulloch e Pitts fornì la chiave: un automa finito era sufficiente. In pratica un tale automa può essere sintetizzato ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] .
Dal teorema di completezza si ottiene come corollario il teorema di compattezza: se T è un insieme di enunciati della logica del primo ordine, e ogni sottoinsieme finito di T ha un modello, allora T ha un modello. Nel 1969 il logico Per Lindström ...
Leggi Tutto
circuito
circùito [Der. del lat. circuitus, da circuire "andare intorno", comp. di circum "intorno" e ire "andare"] [ALG] Qualunque curva i cui punti siano in corrispondenza biunivoca con i punti di [...] grandezze che lo caratterizzano, sono riferibili, rispettiv., a elementi finiti (è tale, per es., un c. elettrico ordinario senza inizio né fine e, di norma, chiuse, il c. nel suo insieme è una struttura chiusa e non intrecciata; sezione del c. è l' ...
Leggi Tutto
Hilbert, problemi di
Hilbert, problemi di lista di problemi (23 in tutto), all’epoca irrisolti, esposti in parte da D. Hilbert nel 1900, in occasione del secondo Congresso internazionale dei matematici [...] tale ipotesi era compatibile con gli assiomi della teoria degli insiemi. Nel 1963, tuttavia, P. Cohen dimostrò l’indipendenza di uguale volume, è cioè possibile scomporli in un numero finito di solidi tra loro congruenti? Il problema è stato risolto ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...