Hacker News new | past | comments | ask | show | jobs | submit login

About the relation of the "computer science" approach to symbolic expression, and the "mathematics" approach: remember that lambda-calculus was originally introduced to make functional substitution, composition, etc., completely rigorous. Part of the early/mid 20th century project to turn mathematics into a completely formal system.

Of course, I agree that any idea of a "symbol standardization committee" for mathematics is both crazy and stupid.




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: