costruttivismo e radice quadrata di due
Non sono mai riuscito a capire se chi la matematica la odia ha o no problemi con le dimostrazioni per assurdo. Per chi non si ricorda di cosa parlo, una dimostrazione per assurdo di un teorema è quella in cui si immagina che il teorema sia falso, ci si mette a trarre un po’ di deduzioni logiche e alla fine si scopre che ci stiamo contraddicendo. Ma se tutte le deduzioni sono formalmente corrette allora l’unico punto dove possiamo aver sbagliato è l’assunzione iniziale: quindi il teorema non è falso e pertanto è vero. Voi che ne pensate, innanzitutto?
