User blog:Edwin Shade/A New Way To Make Art Out Of Math - Proof Spirals

I've recently had an idea to make art out of formal mathematical systems. First, I began by constructing an origami unit out of which I made multiple copies which are colored in different ways. Every time a unit links to another it is at an angle, such that every 10 units the units loop back around, thus allowing one to form a ring, as I have done in the picture below.



By not linking up the 10th link with the first, but rather winding the unit links around in a helical fashion, (like a one-strand equivalent of DNA), a column is created, which is really just one long series of links. This is shown in the pictures below.





By color coding each link to represent symbols of a formal system I can create "proof spirals" as I call them, in which an entire proof is encoded, but appear to a passer-by as a piece of art. This is well and all, but I was wondering if any of you have some mid-sized, (about 300 to 700 symbols), proofs of a certain number theory result that is explicitly defined all the way through, no matter how tedious. A result from Peano arithmetic or a theory of the like would be appreciated.

All pictures of proof spirals will be posted here.

.