La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] indivisibili) e, in quest'ultimo caso, se questi atomi fossero di numero finito oppure infinito. Stabilendo una corrispondenza biunivoca tra elementi di insiemi (finiti o infiniti), per esempio tra i punti che costituiscono il diametro del cerchio ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] le questioni della verità in matematica a quelle asserzioni che possono essere verificate o confutate. Ovviamente, per un insiemefinito A e per una proprietà P decidibile possiamo verificare ∃xP(x)⋁∀x¬P(x) controllando volta per volta ciascun ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] il suo ingresso nella matematica.
La seconda classe di ordinali è la classe dei buoni ordini degli insiemi numerabili (la prima è quella degli insiemifiniti); la cardinalità di questa classe è più che numerabile, anzi la prima non numerabile, e si ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] André Weil che estende alle funzioni ζ dei campi finiti l'ipotesi di Riemann classica per la funzione ζ. su una struttura di rotaie a forma di T; la risoluzione dell'insieme equivale a quella di uno specchio paraboloidico del diametro di 27 km, ed ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] l'uguaglianza di termini del λ-calcolo a meno di catene finite di semplificazioni è indecidibile. Scott trova un modello del λ-calcolo che consiste in un insieme ordinato X isomorfo all'insieme delle funzioni crescenti e continue da X in X (ove la ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] . Il logico americano Stephen Kleene rielabora il concetto di rete neurale di W. McCulloch e W. Pitts e propone il concetto di automa finito. Esso ha un insiemefinito di stati e ci sono azioni che possono portare da uno stato all'altro. Se A è l ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] infiniti di punti per cui il processo di derivazione si arrestava dopo n passi, giungendo a un insieme costituito di un numero finito di punti, e nell'ultima parte del suo articolo mostrava che il teorema di unicità della rappresentazione in serie ...
Leggi Tutto
L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica
Oscar Sheynin
Lo sviluppo della teoria della probabilità e della statistica
I primi sviluppi del calcolo delle [...] Questa formula costituisce un corollario stocastico dell'enunciato generale valido per insiemi A1, A2, …, An, tra loro sovrapposti in ogni modo derivante dall'applicazione della sua approssimazione per valori finiti di n aumentava quanto più p (o q ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] accumulazione, come si dice oggi) di un dato insieme di punti. Sono di 'prima specie' insiemi il cui derivato n-esimo è l'insieme vuoto; di 'seconda specie' quelli in cui ciò non accade per nessun valore finito di n. Si intravede qui una "generazione ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] introducono le nozioni di stabilizzatore, di automorfismo interno, di orbita, di insieme omogeneo e si descrive il gruppo di permutazioni di un insiemefinito. La teoria dei gruppi fa poi intervenire le nozioni di estensione, commutatore, successione ...
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...