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, [...] con un'omotetia, una tecnica che al-Ḥasan ibn Mūsā conosceva.
Nella successiva proposizione i Banū Mūsā dimostranoperassurdo l'espressione dell'area del cerchio come prodotto del semidiametro per la semicirconferenza, ossia S=rp/2. Si osservi che ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni sulle coniche...
Roshdi Rashed
Philippe Abgrall
Le tradizioni sulle coniche e l'inizio delle ricerche sulle proiezioni
A [...] (φ′) e ABFE è un parallelogramma; di conseguenza AB=EF ed è possibile sovrapporre (waḍa῾a ῾alā) i segmenti AB ed EF. Dimostra allora perassurdo che tutta la figura (φ) si sovrappone (inṭabaqa ῾alā) alla (φ′), supponendo che un punto C della (φ) si ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria: la tradizione euclidea rivisitata
Pascal Crozet
Geometria: la tradizione euclidea rivisitata
Introduzione
Fin dai primi sviluppi [...] commenti agli Elementi, e si occupano di dimostrazioni relative a casi di figure trascurate da Euclide per non sovraccaricare la sua esposizione della ricerca di una dimostrazione diretta al posto di una perassurdo, e così via. Inoltre, fra i titoli ...
Leggi Tutto
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] incommensurabili). Ciò che più conta è però la dimostrazioneper la quale nessuna classificazione secondo il metodo usato Elementa, lib. XII, prop. 10)
Ciò porta naturalmente a un assurdo, il metodo presuppone che se una certa grandezza non è uguale a ...
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à [...] tutta una serie di teoremi di Euclide e di Archimede si basano su una tecnica comune: per provare che due figure sono uguali, si dimostra con una doppia riduzione all'assurdo che una delle due non può essere né maggiore né minore dell'altra, e tale ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. L'algebra e il suo ruolo unificante
Roshdi Rashed
L'algebra e il suo ruolo unificante
La seconda metà del VII sec. vede il costituirsi [...] Maṭar, anch'egli al Bayt al-Ḥikma. Ognuna di queste dimostrazioni viene definita ῾illa (causa) della soluzione. Al-Ḫwārizmī non solo richiede una dimostrazioneper ogni caso, ma a volte per un medesimo tipo di equazioni ne propone due. Tale esigenza ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Specchi ustori, anaclastica e diottrica
Roshdi Rashed
Specchi ustori, anaclastica e diottrica
Esiste una particolare [...] In una seconda proposizione, Ibn al-Hayṯam mostra che la deviazione totale è il doppio di ciascuna delle deviazioni, dimostrando successivamente, perassurdo, che un dato punto S sul diametro e oltre C può essere raggiunto soltanto a partire da M: S ...
Leggi Tutto
L'Ottocento: fisica. La termodinamica
Olivier Darrigol
La termodinamica
Termodinamica è il nome dato da William Thomson (futuro lord Kelvin) nel 1854 alla nuova teoria meccanica del calore, fondata [...] , il suo teorema, come pure il metodo utilizzato perdimostrarlo, avrebbero avuto un futuro brillante. Le macchine e i processi ideali, i cicli reversibili, i ragionamenti perassurdo nonché i principî generali divennero l'essenza della termodinamica ...
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 [...] molti matematici, l'ardita teoria cantoriana del transfinito sia solo un esercizio logico.
Le dimostrazioniperassurdo si basano infatti sul principio logico del 'terzo escluso' (tertium non datur). Ne consegue che il concetto stesso di esistenza ...
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, [...] solo di sfuggita nel corso di una riduzione all’assurdo. Ritroviamo la sfera, punto di partenza e di arrivo possono essere paragonati a quelli che riguardano la sfera. Archimede dimostraper prima cosa un’uguaglianza tra il cerchio e un altro oggetto ...
Leggi Tutto
assurdo
agg. e s. m. [dal lat. absurdus, propr. «stonato», der. di surdus «sordo»]. – 1. agg. Che è contrario alla ragione, all’evidenza, al buon senso; che è in sé stesso una contraddizione: un’affermazione, una tesi, una supposizione a.;...
ab absurdo
locuz. lat. (propr. «dall’assurdo»). – Argomentazione ab a.: nella logica classica, argomentazione volta a dimostrare la verità di una proposizione, attraverso gli assurdi che deriverebbero ammettendo la proposizione contraria....