logoalt Hacker News

whatevertrevor04/03/20252 repliesview on HN

Textbooks aren't just communicating theorems and proofs (which are often just written in formal symbolic language), but also the language required to teach these concepts, why these are important, how these could be used and sometimes even the story behind the discovery of fields.

So this is far from an accurate comparison.


Replies

overfeed04/03/2025

> Textbooks aren't just communicating theorems and proofs

Not even maths papers, which are vehicle for theorem's and proofs, are purely symbolic language and equations. Natural language prose is included when appropriate.

umanwizard04/03/2025

Theorems and proofs are almost never written in formal symbolic language.

show 1 reply