L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] classi, un vero e proprio 'calcolo degli enunciati'. In rapporto a tale sviluppo, Peirce fissa un insieme di assiomi per la logica enunciativa e propone di valutare gli enunciati composti attribuendo in maniera puramente combinatoria i valori 'vero ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] con dimostrazioni indubitabili" (Dalālat al-ḥā᾽irīn, p. 272). In altre parole, ci sono lemmi che sono così prossimi agli assiomi da risultare evidenti alla minima riflessione (aysar ta᾽ammul); e altri che se ne allontanano tanto da esigere varie ...
Leggi Tutto
La grande scienza. Geometria non commutativa
Alain Connes
Geometria non commutativa
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo, allora la teoria generale [...] (1994) per la costruzione, da un punto di vista concettuale, delle metriche su tori non commutativi. Tutti gli assiomi naturali della geometria non commutativa sono soddisfatti in questo caso.
Tali costruzioni sono state generalizzate da chi scrive ...
Leggi Tutto
Scienza greco-romana. La matematica nel V secolo
Reviel Netz
La matematica nel V secolo
Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] non siamo obbligati a prestare ascolto a Eudemo, che gli attribuisce una successione logica di dimostrazioni a partire da assiomi, come se Ippocrate avesse dato una dimostrazione formale del fatto che ‘segmenti simili di cerchio stanno tra loro come ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Diffusione e primi sviluppi del calcolo infinitesimale
Clara Silvia Roero
Diffusione e primi sviluppi del calcolo infinitesimale
Il decollo enigmatico [...] ), destinata a diventare la principale e più accurata esposizione didattica del calcolo differenziale. In essa compaiono gli assiomi alla base del calcolo e le regole di differenziazione e sono sviluppati, con chiarezza e molte esemplificazioni, i ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] problema dello spazio (1922) Weyl passa in rassegna i vari modi in cui esso era stato trattato in precedenza. Prima c'erano gli assiomi di Euclide e quelli di Hilbert, ora c'è la descrizione cartesiana (come la chiama lo stesso Weyl) che fa uso di ...
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., [...] di manoscritti (Folkerts 1970) che, nel complesso, ci hanno tramandato le definizioni dei Libri I-V, i postulati e gli assiomi del Libro I, la maggior parte delle proposizioni dei Libri I-IV e le dimostrazioni soltanto delle prime tre proposizioni ...
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 [...] più astratta nella Méchanique analitique (1788) di Lagrange.
La meccanica dei 'Principia'
I Principia di Newton sono fondati sui tre "assiomi o leggi del moto" di seguito elencati:
Prima legge: ogni corpo persevera nel suo stato di quiete o di moto ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] tra gli angoli rettilinei e questo angolo, che i Greci chiamavano angolo a corno, per il quale non vale né l'assioma di Archimede-Eudosso né il principio del valore intermedio. Peletier sostenne che l'angolo di contingenza non era un angolo autentico ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] . Samuel Eilenberg e Norman Steenrod definiscono in astratto il concetto di teoria (co-)omologica a partire da 4 assiomi: di omotopia, della successione esatta della coppia, di excissione e di dimensione.
Linguaggio di programmazione Plankalkul. L ...
Leggi Tutto
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...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...