Back برهان الخلف Arabic Reductio ad absurdum Azerbaijani Давядзенне да абсурду Byelorussian Довеждане до абсурд Bulgarian Reductio ad absurdum BS Reducció a l'absurd Catalan Absurd (logik) Danish Reductio ad absurdum German Reductio ad absurdum DIQ Reductio ad absurdum English
«La reductio ad absurdum, tanto amata da Euclide, è una delle più belle armi di un matematico. È un gambetto molto più raffinato di qualsiasi gambetto degli scacchi: un giocatore di scacchi può offrire in sacrificio un pedone o anche qualche altro pezzo, ma il matematico offre la partita.»
La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come ragionamento per assurdo, è un tipo di argomentazione logica nella quale, muovendo dalla negazione della tesi che si intende sostenere e facendone seguire una sequenza di passaggi logico-deduttivi, si giunge a una conclusione incoerente e contraddittoria. Tale risultato, nella logica argomentativa, confermerebbe l'ipotesi iniziale, per mezzo della falsificazione della sua negazione. È una delle principali forme di dimostrazione matematica.
- ^ Godfrey H. Hardy, Apologia di un matematico, traduzione di Luisa Saraval, presentazione di Edoardo Vesentini, prefazione di Charles P. Snow, Milano, Garzanti, 1989, p. 73, ISBN 88-11-65225-1.