TY - JOUR
T1 - Mathematical picture language program
JF - Proceedings of the National Academy of Sciences
JO - Proc Natl Acad Sci USA
SP - 81
LP - 86
M3 - 10.1073/pnas.1710707114
VL - 115
IS - 1
AU - Jaffe, Arthur M.
AU - Liu, Zhengwei
Y1 - 2018/01/02
UR - http://www.pnas.org/content/115/1/81.abstract
N2 - 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.
ER -