Photo from wikipedia
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… Click to show full abstract
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. We give an overview of our philosophy of pictures in mathematics. We emphasize a bidirectional process between picture language and mathematical concepts: abstraction and simulation. This motivates a program to understand different subjects, using virtual and real mathematical concepts simulated by pictures.
Journal Title: Proceedings of the National Academy of Sciences of the United States of America
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!