undefined | Better HN

0 pointsamelius5y ago0 comments

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

0 comments

pron5y ago

Neither do languages, especially formal ones.

FORTRAN isn't a formal language though.

pron5y ago

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.

j / k navigate · click thread line to collapse

0 pointsamelius5y ago0 comments

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

0 comments

pron5y ago

Neither do languages, especially formal ones.

IshKebab5y ago

FORTRAN isn't a formal language though.

pron5y ago

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.

j / k navigate · click thread line to collapse