News for hackers. Stuff that matters.
Re:Ask HN: How to self-study physics? by davidivadavid on Thursday March 26, 2020 @11:50AM (#22694753)
It seems likely that anything that can be expressed in "any programming language" is isomorphic to something that exists in math and can be expressed in that language (automata theory, type theory, category theory, pick your poison).
Re:Ask HN: How to self-study physics? by ukj on Thursday March 26, 2020 @12:20PM (#22695130)
That is probably because you think expression end evaluation are isomorphic. They aren't.

Not all functions are referentially transparent. All Mathematical functions are assumed to be.