Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
davidivadavid
on March 26, 2020
|
parent
|
context
|
favorite
| on:
Ask HN: How to self-study physics?
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
on March 26, 2020
[–]
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.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
