L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] criterio di un numero finito di passi deduttivi. Un metodo famoso, che risale agli antichi greci, è la reductioadabsurdum. Per mostrare che una proposizione è vera, assumiamo che sia falsa e da questo assunto deduciamo qualcosa di contraddittorio ...
Leggi Tutto
reductio ad absurdum
〈redùkzio ...〉 locuz. lat. (propr. «riduzione all’assurdo»), usata in ital. come s. f. – In logica, locuzione (anche reductio ad impossibile) equivalente all’ital. dimostrazione per assurdo (v. assurdo).