3 ms·
I think the answer is that such a language would be overly verbose. You could ask the same question about human language and the same answer applies.
by meken 9y ago
I think the answer is that such a language would be overly verbose. You could ask the same question about human language and the same answer applies.
- heavenlyblue 9y agoIt probably is also the case that the language used in sci articles is constantly changing, too. We may take advantage of libraries in programming (but even then they may not work on all of the physical platforms), but it's not that well defined, what is "the fundamental language" of mathematics; at least not as of today. Although I find it cool that tools like Coq are getting increasingly popular, so we will eventually get there.