La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] ideal, in cui fa il punto sulle sue ricerche in teoriadegliinsiemi. Gli studi di Woodin hanno portato notevoli contributi alla teoria descrittiva degliinsiemi e alla teoria dei grandi cardinali. Il concetto fondamentale analizzato, a cavallo tra ...
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 [...] arbitrarietà, resta in sé necessaria e conseguente". Quando Cantor scriveva queste righe, all'inizio degli anni Ottanta, la teoriadegliinsiemi transfiniti, nel 1872 solo intravista, dominava ormai completamente i suoi interessi.
La necessità di ...
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 [...] transfiniti. È il punto di approdo delle sue ricerche e, al tempo stesso, l'atto di nascita della teoriadegliinsiemi astratti. Un insieme è definito come "una riunione in un tutto M di oggetti distinti e ben definiti della nostra intuizione e ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Thomas Archibald
Equazioni differenziali alle derivate parziali
Nel corso del XIX sec. la teoria delle funzioni di più variabili [...] all'opera di Karl Theodor Wilhelm Weierstrass, e in particolar modo dopo l'emergere della teoriadegliinsiemi, l'idea di considerare come oggetti di indagine insiemi di funzioni definite in sottoinsiemi dello spazio reale a n dimensioni ℝn e a ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] . La matematica non può fondarsi sulla filosofia.
8. La teoriadegliinsiemi
La teoria classica degliinsiemi pretende di descrivere un universo di insiemi che esistono indipendentemente dalla nostra mente. Nella matematica intuizionista la ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] 1998; Schechter 1998). Gli interessi matematici di Erdös erano vastissimi. Egli iniziò con la teoria dei numeri, lavorando anche in analisi e in teoriadegliinsiemi, ma al centro dei suoi interessi vi era la combinatoria. Passò gran parte della ...
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 [...] concetti e dei metodi cantoriani nella matematica fornendo una dimostrazione della coerenza di un sistema di assiomi per la teoriadegliinsiemi, secondo lo stile di Zermelo. Hilbert tuttavia era sensibile alle critiche di Kronecker e di Brouwer e si ...
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 [...] gioco, il contesto in cui si opera. Il punto di partenza è costituito dalla logica formale e dalla teoriadegliinsiemi. Le strutture sono classificate in ordine di complessità crescente. È così che all'inizio sono esaminate le strutture algebriche ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] ciò fa parte naturalmente l'intero apparato concettuale degliinsiemi ordinati e non ordinati, costruito inizialmente per la logica e la teoriadegliinsiemi, e cioè delle 'liste' di insiemi i cui elementi sono ancora liste di operazioni, relazioni ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] usato per la prima volta da Felix Hausdorff (1868-1942) nel libro Grundzüge der Mengenlehre (Lineamenti della teoriadegliinsiemi). L'invenzione degli spazi metrici fu uno dei risultati più importanti e utili del lavoro di Fréchet. Un altro notevole ...
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...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...