Mathematical picture language program
Arthur M. Jaffe, Zhengwei Liu · Proceedings of the National Academy of Sciences · 2017
Significance We reevaluate ways that one can use pictures, not only to gain mathematical insights, but also to prove mathematical theorems. As an example, we describe ways that the quon language, invented to study quantum information, sheds light on several other areas of mathematics. It results in proofs and algebraic identities of interest in several fields. Motivated by this success, we outline a picture-language program for further research.