3 ms·
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 la
by davidivadavid 7y ago
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).
- ukj 7y agoThat 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.
- deleted 7y ago[deleted]
- deleted 7y ago[deleted]