Hacker News Reader

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.

> 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?

mathematician make errors. I want something that can be checked formally.

> mathematician make errors. I want something that can be checked formally.

So you mean math?