biblio toscana

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.

L'aritmetica (dal greco ἀριθμός = numero) è la più antica branca della matematica, quella che studia le proprietà elementari delle operazioni aritmetiche sui numeri, specialmente i numeri interi. È praticata quotidianamente da tutti per scopi molto semplici, come contare oggetti, valutare costi, stabilire distanze; viene utilizzata anche per scopi avanzati, ad esempio in complessi calcoli finanziari o nella tecnologia delle comunicazioni (crittografia). I matematici talvolta usano il termine aritmetica per indicare la teoria dei numeri; questa disciplina però tratta problemi più avanzati e specifici rispetto all'aritmetica elementare e non viene presa in considerazione nel presente articolo.