How to Do Maths with Words
Neural Machine Learning Applications to Mathematics and Their Philosophical Significance
METADATA ONLY
Loading...
Author / Producer
Date
2024-04
Publication Type
Book Chapter
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Abstract
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.
Permanent link
Publication status
published
Editor
Book title
Handbook of the History and Philosophy of Mathematical Practice
Journal / series
Volume
Pages / Article No.
3191 - 3226
Publisher
Springer
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Deep Neural Networks; Mathematical Practices; Artificial Intelligence; Mathematical Language; Natural Language; Natural Language Processing; Mathematical Language Processing; Linguistics; Computation; Large Language Models; Mathematical Proofs; Mathematical Objects; Mathematical Skills; Mathematical Heuristics
Organisational unit
09591 - Wagner, Roy / Wagner, Roy
Notes
Funding
839730 - Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora (EC)