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 [...] ricerche e calcoli difficili, che hanno per fondamento un principio [di attrazione] che a me pare assurdo" (Oeuvres, IX, p. 538 teoria della gravitazione è necessario darne una dimostrazioneper accertarsi che soltanto le sezioni coniche sono orbite ...
Leggi Tutto
L'Eta dei Lumi: matematica. Gli sviluppi del calcolo in Gran Bretagna
Niccolò Guicciardini
Gli sviluppi del calcolo in Gran Bretagna
Un declino della matematica britannica?
Il metodo delle flussioni [...] versione dei suoi difensori, non impiegava nelle sue dimostrazioni un principio assurdo come il principio di cancellazione degli infinitesimi (x+ diverse da zero nella parte iniziale della dimostrazione, per poi essere uguagliate a zero negli ultimi ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Il Libro V degli Elementi
Bijan Vahabzadeh
Il Libro V degli Elementi. i commentari arabi sulla teoria delle proporzioni
La teoria delle [...] una delle condizioni espresse nella definizione di rapporto maggiore. Dimostra poi, perassurdo, il reciproco delle proposizioni precedenti. Con queste tre proposizioni al-Māhānī dimostra così che la sua nozione di uguaglianza di rapporti e ...
Leggi Tutto
procedere
Alessandro Niccoll
Ricorre frequentemente nel Convivio e nella Commedia, ed è anzi uno dei vocaboli più significativi del lessico delle due opere, connesso com'è - per il suo valore fondamentale [...] altre, nella seconda. Quattro sono le ragioni prodotte perdimostrare questo asserto: però che in ciascuna cosa che ne sono state gettate le fondamenta; e, anche se - perassurdo - fosse possibile, un tal procedimento " si svolgerebbe " faticosamente ...
Leggi Tutto
geometria non euclidea
geometria non euclidea geometria basata sulla negazione di uno o più postulati euclidei. La locuzione è tuttavia generalmente riservata, per le notevoli implicazioni storiche, [...] come ipotesi la negazione del quinto postulato si potesse giungere a delle contraddizioni e quindi che per questa via lo si potesse ritenere dimostratoperassurdo. La sua argomentazione prende le mosse da un quadrilatero piano ABCD, con i lati AD e ...
Leggi Tutto
L'ultimo teorema di Fermat
L’ultimo teorema di Fermat
Si chiamano pitagoriche quelle terne (x, y, z) di numeri naturali non nulli che soddisfano l’uguaglianza x 2 + y 2 = z 2, interpretabile geometricamente [...] x, y, z) è una terna pitagorica, lo è anche (kx, ky, kz) per qualunque k naturale non nullo.
Il problema sorge quando, anziché l’uguaglianza x 2 + piccoli, ma questo è manifestamente assurdo. La dimostrazione che non esistono soluzioni dell’equazione ...
Leggi Tutto
Le grandi congetture sui numeri primi
Angelo Guerraggio
Le grandi congetture sui numeri primi
Quasi periodicamente, si ha notizia di qualche matematico che sostiene di avere dimostrato una delle grandi [...] primo come un numero che è misurato soltanto dall’unità e poi passa a dimostrareperassurdo che i numeri primi sono infiniti. Se infatti fossero in numero finito, per esempio p1, p2, ..., pn, il numero 1 + p1p2 ... pn porterebbe a una contraddizione ...
Leggi Tutto
logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] logiche, l’esistenza di un oggetto senza fornire una procedura, seppur teorica, per costruirlo. Per il loro carattere non costruttivo, anche le → dimostrazioniperassurdo, poiché si basano sul principio del terzo escluso, sono rifiutate dalla logica ...
Leggi Tutto
La storia di un numero: e, il numero di Nepero
La storia di un numero: e, il numero di Nepero
Il numero denotato con il simbolo e è un elemento di RQ, cioè un numero reale non razionale. Le prime cifre [...] ultima definizione si prova l’irrazionalità di e. Si ragioni infatti perassurdo e si supponga che e sia razionale ovvero della forma p a provare la trascendenza di π; quest’ultima dimostrazione fu ottenuta nel 1882 dal tedesco Ferdinand von Lindemann ...
Leggi Tutto
geometria euclidea
geometria euclidea locuzione con la quale si intende in primo luogo la sistemazione su basi ipotetico-deduttive della geometria del piano e dello spazio operata da Euclide (sec. III [...] . Saccheri partì dalla negazione del quinto postulato, sicuro di giungere a una contraddizione. In tal modo il postulato sarebbe stato dimostratoperassurdo. Saccheri credette di aver trovato la contraddizione e quindi di essere giunto alla ...
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....