How to Do Maths with Words: Neural Machine Learning Applications to Mathematics and Their Philosophical Significance
摘要
Recent years have seen a remarkable development of deep neural network techniques for data analysis, along with their increasing application in scientific research across different disciplines. The field of mathematics has not been exempted from this general trend. The present chapter provides a survey of recent applications of neural models to mathematics and assesses their philosophical significance, related to the role of language in mathematics.