4 ms·
> I think if the purpose is merely to transmit proofs and axioms unambiguously, I think we can have a language that performs just that and nothing else We do.
by cabinpark 13y ago
> I think if the purpose is merely to transmit proofs and axioms unambiguously, I think we can have a language that performs just that and nothing else
We do. It's called mathematical notation.
- makmanalp 13y agoMathematical notation is not easily computer parseable / checkable. And I'm not sure it's really standardized (no standards body that I could find) or even unambiguous for that matter. You could maybe call it a de facto standard. Please read my other comment: https://news.ycombinator.com/item?id=7348666 https://news.ycombinator.com/item?id=7348666
- cabinpark 13y agoSo? Why does it have to be computer parseable and checkable? I've never heard anyone complain about that before. As for your other comment, DerpDerpDerp provides a good answer.