Hacker News new | ask | show | jobs
by GalacticDomin8r 4604 days ago
> This is why I think it be important to have a language designed to express algorithms and can be verified of correctness to a certain point.

Do you mean math?
1 comments
Mgccl 4603 days ago
mathematician make errors. I want something that can be checked formally.
link
GalacticDomin8r 4601 days ago
> mathematician make errors. I want something that can be checked formally.

So you mean math?

link