Basi di dati
Paolo Atzeni
di Paolo Atzeni
Basi di dati
sommario: 1. Introduzione. 2. I sistemi di gestione di basi di dati (DBMS). 3. Il modello relazionale dei dati. 4. Linguaggi per basi di dati. [...] modello relazionale è dovuto certamente alla sua semplicità, in quanto esso coniuga il solido fondamento matematico nella teoriadegliinsiemi (che ha permesso un fiorire di studi teorici) con l'efficace rappresentazione in forma tabellare (che lo ...
Leggi Tutto
Hilbert
Hilbert David (Königsberg, Prussia Orientale, oggi Kaliningrad, Russia, 1862 - Göttingen, Bassa Sassonia, 1943) matematico tedesco. La sua opera ha segnato emblematicamente per la matematica [...] in diversi settori. Innanzitutto, in algebra, con la teoriadegli invarianti algebrici, la teoria delle forme algebriche e il teorema della base, a partire infatti le teorie matematiche formalizzate altro non sono che insiemi di proposizioni ...
Leggi Tutto
aritmetica
aritmetica parte della matematica che studia le proprietà dei numeri, in particolare dei numeri naturali. L’aritmetica comprende le più elementari operazioni con i numeri che si studiano fin [...] rientrano propriamente nell’ambito della teoria dei numeri.
Poiché l’aritmetica si occupa degli oggetti che costituiscono le tutti gli insiemi numerici fondamentali sono costruibili, per successivi ampliamenti, a partire dall’insieme N dei numeri ...
Leggi Tutto
Boole, algebra di
Boole, algebra di particolare struttura algebrica, introdotta originariamente da G. Boole. Permette di effettuare un calcolo algebrico che ha come oggetti non i numeri, ma i valori [...] di Boole può essere applicata, oltre che alla logica, anche alla teoriadegliinsiemi e ai → circuiti logici. Alle operazioni di unione e intersezione fra insiemi corrispondono rispettivamente le operazioni di somma e prodotto logico fra variabili ...
Leggi Tutto
Gruppi
GGeorge W. Mackey
di George W. Mackey
SOMMARIO: 1. Introduzione e storia. □ 2. Concetti fondamentali. □ 3. Anelli di endomorfismi e gruppi lineari. □ 4. La struttura dei gruppi finiti. □ 5. Gruppi [...] concetto sarà necessaria una breve digressione nel campo delle nozioni basilari della topologia generale.
Nelle sue ricerche pionieristiche sulla teoriadegliinsiemi, compiute nel periodo che va dal 1879 al 1884, O. Cantor introdusse la nozione di ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] nella forma di un costruttivismo, per la ragione che gli algoritmi possono solo manipolare enti costruttivamente definiti.
La teoriadegliinsiemi e l’assioma della scelta
Dopo il 1900 lo studio dell’ipotesi del continuo fu riconosciuto come tema ...
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 [...]
Sull'ipotesi del continuo di Cantor. Il matematico Paul J. Cohen dimostra che l'ipotesi del continuo è indipendente dalla teoriadegliinsiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco Kurt Gödel aveva ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] rappresentato anche la crisi dei fondamenti della matematica, l'insorgere di antinomie connesse soprattutto con la nascita della teoriadegliinsiemi. Come risposta a questa sfida è nata la cosiddetta metamatematica, con il cui aiuto si è cercato di ...
Leggi Tutto
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 [...] arrivava a dimostrare che il continuo non era costituito da atomi. In queste considerazioni egli anticipava i paradossi della teoriadegliinsiemi. La parte del testo euclideo che trattava dell'angolo formato da un arco di cerchio e dalla retta a ...
Leggi Tutto
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
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...