5 ms·

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.

• GalacticDomin8r 13y 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?
  • Mgccl 13y ago
    mathematician make errors. I want something that can be checked formally.
    • GalacticDomin8r 13y ago
      > mathematician make errors. I want something that can be checked formally. So you mean math?