Tech
Exploring the Intersection of Human and Formal Mathematics
A new study published on ArXiv examines the relationship between human mathematics and formal mathematics, highlighting the limited scope of human discovery.
Editorial Staff
1 min read
The recent publication titled 'Compression is all you need: Modeling Mathematics' on ArXiv discusses the disparity between human mathematics (HM) and formal mathematics (FM).
Human mathematics represents a small fraction of the broader landscape of formal mathematics, which encompasses all valid deductions.
This analysis raises important questions regarding the implications of this relationship for mathematical modeling and understanding within the field.