News for hackers. Stuff that matters.

A comment on Mathematicians are chronically lost and confused . Parent comment

Re:Mathematicians are chronically lost and confused by cabinpark on Wednesday March 05, 2014 @01:16PM (#7348645)
> 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.

[ Parent | on HN ]
Re:Mathematicians are chronically lost and confused by makmanalp on Wednesday March 05, 2014 @01:24PM (#7348712)
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

[ Parent | on HN ]
Re:Mathematicians are chronically lost and confused by cabinpark on Wednesday March 05, 2014 @01:52PM (#7348930)
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.

[ Parent | on HN ]