[amelius]

Unlike computer software, mathematical theorems don't suffer from bit rot.

[pron]

Neither do languages, especially formal ones.

[IshKebab]

FORTRAN isn't a formal language though.

[pron]

Of course it is, just like all programming languages. If it weren't formal, a computer couldn't interpret it precisely. Formal means mechanical; a language whose calculus can be carried out by a machine.