l'ultima crociata

guarda, ci sono molti tipi di dimostrazione. uno di essi è un metodo a cascata, in cui parti da un numero e riesci a proseguire per tutti i numeri naturali.

p. milella

giusto per portare acqua al mio mulino: gowers fa notare che una dimostrazione índuttiva sui numeri naturali può sempre essere trasformata in una dimostrazione per assurdo.

io vado un po' più in la: dico che la dimostrazione giusta è quella induttiva, e che quella per assurdo è solo una complicazione inutile. e questo perchè una dimostrazione induttiva ha sempre nascosto dentro di se un algoritmo, a differenza di quella per assurdo.