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 [...] Libro I del testo De planorum equilibriis era puramente statico; l'autore, cioè, si limitava a dedurre da una serie di assiomi alcuni teoremi sull'equilibrio dei pesi. Non vi era alcun accenno alla forza, alla velocità o al moto naturale e violento ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] non enunciati. In particolare la nozione di convessità: tutti i poligoni e i poliedri considerati sono convessi. Tra gli altri assiomi vi sono i seguenti: (A1) se un poligono convesso è inscritto in un cerchio, allora il suo perimetro è inferiore ...
Leggi Tutto
matematica
Walter Maraschini
Il regno dei numeri e delle figure, del calcolo e del ragionamento
La matematica è un sistema simbolico razionale e astratto che permette di orientarsi tra i problemi e [...] scacchi. All’inizio i pezzi sono disposti sulla scacchiera in un determinato modo: questa disposizione iniziale degli scacchi rappresenta gli assiomi, i punti fermi da cui partire. Il gioco inizia e prosegue muovendo uno alla volta i pezzi e ogni ...
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 [...] rese conto che la nozione di sequenza di scelta (che compare in un contesto piuttosto diverso nella discussione di Borel sull'assioma di scelta) poteva essere legittimata dal suo punto di vista offrendo tutti i vantaggi di una 'teoria aritmetica' del ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] riformulare ulteriormente l'insolubilità del problema della fermata, e ottenere una versione del 'teorema di Gödel': un sistema di assiomi e regole che sia codificabile mediante un programma e che non menta mai non può fornire risposte a ogni domanda ...
Leggi Tutto
Ciascuno dei segni con cui si rappresentano graficamente i suoni delle vocali e delle consonanti di un alfabeto.
Comunicazione scritta che una persona indirizza a un’altra, oppure a un ufficio, a un ente [...] l. indicano i vari elementi del sistema. Le relative regole del calcolo letterale dipendono dalle proprietà formali (o assiomi) delle operazioni definite nel sistema (➔ algebra).
La lettera come comunicazione
Nell’antico Egitto le l. erano scritte ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Le innovazioni di Luca Valerio e di Bonaventura Cavalieri
Pier Daniele Napolitani
Le innovazioni di Luca Valerio e di Bonaventura Cavalieri
L'eredità [...] gli oggetti della geometria classica sono sempre particolari, dati attraverso una procedura costruttiva più o meno assiomatizzata. Gli assiomi di Euclide permettono l'esistenza di rette e cerchi; una procedura implicita (tagliare un dato cono con un ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] un’argomentazione matematica, e i risultati della matematica dicono di più degli assiomi; infatti non è immediato che il teorema di Pitagora sia già contenuto negli assiomi di Euclide. In questo senso la matematica produce informazioni, perché porta ...
Leggi Tutto
L'Ottocento: matematica. Dalla geometria proiettiva alla geometria euclidea
Jeremy Gray
Dalla geometria proiettiva alla geometria euclidea
La geometria proiettiva
La carriera del matematico francese [...] di 'cartesiana' fiducia nelle astrazioni originate dalle intuizioni semplici. Il testo di Legendre iniziava con definizioni e assiomi e procedeva con lunghe deduzioni e accurati ragionamenti su figure elementari come cerchi o triangoli. Questa era la ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] di Euclide; i neoplatonici perfezionarono al tempo stesso il modello del mundus intelligibilis come apodissi more mathematico con assiomi, premesse e deduzioni.
Da un lato, quindi, siamo di fronte a una filosofia che, fin dalla sua istituzione ...
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...