Dimostrazione per assurdo
argomentazione logica / Da Wikipedia, l'enciclopedia encyclopedia
Caro Wikiwand AI, Facciamo breve rispondendo semplicemente a queste domande chiave:
Puoi elencare i principali fatti e statistiche su Reductio ad absurdum?
Riassumi questo articolo per un bambino di 10 anni
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.
«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.»