Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

1. I work in finance and here people sometimes write math using words as variable names. I can tell you it gets extremely cumbersome to do any significant amount of formula manipulation or writing with this notation. Keep in mind that pen and paper are still pretty much universally used in actual mathematical work and writing full words takes a lot of time compared to single Greek letters.

Large part of math notation is to compress the writing so that you can actually fit a full equation in your vision.

Also, something like what you want already exists, see e.g. Lean: https://lean-lang.org/doc/reference/latest/. It is used to write math for the purpose of automatically proving theorems. No-one wants to use this for actually studying math or manually proving theorems, because it looks horrible compared to conventional mathematics notation (as long as you are used to the conventional notation).



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

Search: