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, [...]
Egli dimostra che, dato ε>0, si può trovare un N tale che, per ogni n>N, si abbia:
In altri termini, egli dimostra che:
Con un ragionamentoperassurdo dimostra poi in entram bi i casi l'unicità dell'estremo superiore:
Il contributo di ...
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 [...] del transfinito, dal punto di vista intuizionistico perdono di senso le dimostrazioni di esistenza fondate su un ragionamentoperassurdo, e la gran parte dell'analisi, dai classici teoremi di Weierstrass ai più recenti sviluppi della teoria ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] che riguardavano l'eternità del mondo.
La complessa dimostrazione aristotelica dell'eternità del moto era basata sul seguente ragionamentoperassurdo: se il moto o il divenire avessero avuto un inizio assoluto, il primo movimento avrebbe dovuto ...
Leggi Tutto
SPAZIO (XXXII, p. 315; App. III, 11, p. 789)
Vittorio Dalla Volta
Matematica. - Oggi si considerano quasi esclusivamente s. topologici, con l'aggiunta di eventuali altre strutture (per es., di s. vettoriale), [...] 〈 r/2; supponiamo, perassurdo, che esista z ∈ Ix ⋂ Iy, cosicché d(x, z) 〈 r′; d(y, z) 〈 r′; per la disuguaglianza triangolare si ha però . topologico (S, τ), prodotto della famiglia. Perragioni di semplicità, supporremo che la famiglia sia finita e ...
Leggi Tutto
Fermat, ultimo teorema di
MMassimo Bertolini
di Massimo Bertolini
SOMMARIO: 1. Introduzione. ▭ 2. Storia: il lavoro di Kummer. ▭ 3. Estensioni abeliane di Q. ▭ 4. Estensioni esplicite di campi e funzioni [...] seguendo queste linee di ragionamento che Kummer ottenne la dimostrazione dell'UTF per tutti gli esponenti primi regolari di partenza nella dimostrazione di Wiles consiste nel supporre, perassurdo, che l'equazione di Fermat di esponente p ammetta ...
Leggi Tutto
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 [...] di un falsigraphus nelle dimostrazioni mediante reductio ad absurdum (cioè la cosiddetta 'dimostrazione perassurdo'), commenti sulla struttura logica del ragionamento, e così via. A volte all'inizio del trattato erano aggiunti dei postulati ...
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 [...] ῾a ῾alā) i segmenti AB ed EF. Dimostra allora perassurdo che tutta la figura (φ) si sovrappone (inṭabaqa ῾alā =AC/GI=d1/d2. In altri termini, a questo punto del ragionamento l'autore dimostra che se δ1 e δ2 sono due diametri collineari ...
Leggi Tutto
Giochi, teoria dei
Roberto Lucchetti
Ogni essere vivente, quando deve prendere delle decisioni, lo fa sempre in modo interattivo: il risultato delle sue scelte, e quindi la sua soddisfazione, dipendono [...]
Per l'Hex, un'applicazione diretta del teorema di Zermelo implica, con un facile ragionamentoper −2b)/6). Se letto come distribuzione di utilità sembra un risultato assurdo, se interpretato come indice di potere mostra quanto meno che il ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] porta direttamente a risultati non-costruttivi di esistenza, mediante il metodo di dimostrazione perassurdo. Ciò fu una delle ragioni della critica costruttivista al platonismo insiemistico che portò allo sviluppo di un programma fondazionale ...
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.;...
ragionare
v. intr. [der. di ragione] (io ragióno, ecc.; aus. avere). – 1. a. ant. Discorrere, conversare, parlare: incominciarono a r. delle virtù di diverse pietre (Boccaccio); Né teco le compagne ai dì festivi Ragionavan d’amore (Leopardi);...