Essere o non essere una dimostrazione? È questo il problema...

Dimostrazione visiva rigorosa per induzione del fatto che la somma dei primi n numeri
dispari è uguale al quadrato di n, ottenuta con il linguaggio dei Quantum Squares.

Condivido, con grande gioia, la mia prima scoperta scientifica nell'ambito della filosofia della matematica. 

Essere o non essere una dimostrazione? È questo il problema che andremo ad affrontare. In altri termini: un'immagine può essere considerata una dimostrazione formale e rigorosa a tutti gli effetti? E se sì, perché? 

Potete scaricare l'articolo in formato pdf al seguente link:

Essere o non essere una dimostrazione? È questo il problema...

Mirco Mariucci