Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] classi di algebre o sistemi relazionali in termini della loro definibilità, sottolineando i rapporti tra proprietà di chiusura rispetto a relazioni e operazioni su strutture e forma sintattica dei possibili assiomi. Parallelamente, prenderà forma il ...
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 [...] che, nel tentativo di evitare l'impredicatività, pensa di sostituire la nozione matematica di funzione, dipendente dagli assiomi, con una esplicita assiomatizzazione della stessa, come nozione primitiva. Nel suo sistema le funzioni sono prioritarie ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] , tenendo conto della dignità, oppure come ripartire il costo di 100 solidi tra 100 animali, ognuno di diverso valore; in ciascun caso si cercavano soluzioni con numeri interi in un sistemadi equazioni con due equazioni e tre incognite;
c) problemi ...
Leggi Tutto
L'Eta dei Lumi: matematica. I Principia di Newton nel Settecento
Niccolò Guicciardini
I Principia di Newton nel Settecento
Nel 1687 furono pubblicati a Londra i Principia di Newton. Quest'opera è oggi [...] di Lagrange.
La meccanica dei 'Principia'
I Principia di Newton sono fondati sui tre "assiomi o leggi del moto" di questi autori non esiste un sistemadi riferimento privilegiato, giacché le misure di tempo, di spazio e di moto sono relative a ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] astratto, o due astratte operazioni che soddisfino determinati assiomi, e verificare poi quali teoremi si possano dedurre della teoria dei numeri: un anello, nel senso di Hilbert, è un sistemadi interi algebrici in un dato campo, chiuso rispetto ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] un insieme fisso diassiomi e regole di inferenza (regole di deduzione); ciò viene fatto con tanta precisione che si può stabilire un algoritmo di verifica per le dimostrazioni. Definiremo teoria assiomatica formale un siffatto sistema formale. Come ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] definizione) ma non per la moltiplicazione. Il terzo articolo, infine, tratta dell'analisi. Il sistema appare molto debole per via della mancanza diassiomidi esistenza per insiemi e funzioni.
Nel 1929 Glivenko, in esito al suo rapporto epistolare ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] finita dal reticolo. ◆ [OTT] R. di uno strumento ottico: sistemadi tratti rettilinei, o di circonferenze o archi circolari, incisi su una lastrina di vetro a facce pianoparallele, oppure sistemadi fili sottilissimi complanari, paralleli o no (r ...
Leggi Tutto
piano 2
piano2 [Der. del lat. planum "pianura", neutro sostantivato dell'agg. planus] [ALG] Ente geometrico costituente l'astrazione del concetto intuitivo di una superficie liscia, non incurvata, priva [...] in modo che siano soddisfatte queste tre condizioni (dette spesso assiomidi incidenza): (a) per due punti distinti A, B passa il p. del circolo massimo assunto come fondamentale in un sistemadi coordinate celesti, qual è il p. dell'orizzonte per ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o disistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomidi Euclide, l'unica sino a quasi tutto il sec. 19°: v. geometria Riferimento e., o riferimento ortogonale monometrico: sistemadi riferimento, piano o spaziale, costituito da assi ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...