proof theory Appears in 2 extracted records. Back to Domains. Representative papers Beauty in Art and Mathematics: A Common Neural Substrate or the Limits of Language? (2005) The Pythagorean Theorem as a Rooted In-tree Dependency Graph (2016)