Mathematical picture language program
Sign Up to like & getrecommendations! Published in 2017 at "Proceedings of the National Academy of Sciences of the United States of America"
DOI: 10.1073/pnas.1710707114
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… read more here.
Keywords: language; language program; mathematics; picture language ... See more keywords