Hacker News new | ask | show | jobs
by cabinpark 4484 days 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.
1 comments
makmanalp 4484 days ago
Mathematical 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

link
cabinpark 4484 days ago
So? 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.

link