What about Computer Algebra?
- The right level of discourse for science
- richer than Fortran, C++, etc.
- Communicating about Math over networks, stored in digital form, etc.
- Extensible: library perspective on knowledge
- Framework for programming or meta-programming