La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] del campo complesso, seguito da un ampliamento algebrico (che corrisponde all'equazione della curva). I divisori figurano come insiemifiniti di punti contati con molteplicità positiva o negativa, che possono rappresentare, per esempio, gli zeri e i ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] , ecc. e altra cosa è considerarli come elementi di una nuova disciplina che si occupa delle partizioni di un insiemefinito. Soltanto quando questi strumenti sono interpretati da un punto di vista combinatorio si può parlare di una nuova branca ...
Leggi Tutto
Analisi matematica
Jean A. Dieudonné
Alcune delle idee fondamentali che sono alla base del calcolo risalgono ai Greci, ma il loro sviluppo sistematico iniziò soltanto nel XVII secolo. Alla fine di quel [...] classe della funzione (limitata) x→x. Questa è la generalizzazione completa del caso classico in cui E ha dimensione finita, X è un insiemefinito di numeri reali, E è la somma di Hilbert dei sottospazi unidimensionali En, la misura μn ha massa 1 in ...
Leggi Tutto
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 [...] carattere di x.
Definiamo allora l'automa a pila (AP) come collezione di sette entità (S,Σ,Π,s′,p′,F,∂) ove:
S è un insiemefinito di stati;
Σ è l'alfabeto d'ingresso;
Π è l'alfabeto della pila;
s′∈S è lo stato iniziale;
p′∈Π è il carattere iniziale ...
Leggi Tutto
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
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] Formalmente la macchina di Turing corrispondente a un algoritmo di decisione è una collezione di entità (S,s′,Σ,Π,b,F,∂) ove:
S è un insiemefinito di stati; s′∈S è lo stato iniziale; Σ è l'alfabeto d'ingresso; Π è l'alfabeto del nastro, Σ⊂Π; b∈Π−Σ è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] così avere punti eccezionali isolati senza che venga meno l'unicità; in particolare un insiemefinito qualunque di punti eccezionali. Per un insieme infinito vi sarebbe un punto di accumulazione di punti eccezionali (teorema di Bolzano-Weierstrass ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] , l'impiego delle nozioni di classe e di corrispondenza biunivoca, al posto di quella di ordine, per la caratterizzazione degli insiemifiniti: in tal modo egli è il primo che abbia studiato la correlazione fra i due modi diversi e indipendenti di ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] introdotta negli anni Trenta del secolo scorso da Garrett Birkhoff. Un reticolo è un insieme ordinato 〈I, ≤ > in cui ogni coppia di elementi (e quindi ogni insiemefinito) ha un infimo e un supremo. Nel caso questo avvenga per ogni sottoinsieme il ...
Leggi Tutto
alfabeto
alfabèto [Der. del lat. alphabetum, dal gr. alfábetos, comp. dei nomi delle due prime lettere] [ALG] [FAF] [INF] Un insiemefinito di segni, con il quale sia possibile sviluppare un certo sistema [...] di simboli o, come si dice usualmente, un linguaggio: v. logica: III 483 c ...
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...