Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

We use the natural numbers as an abstraction to understand computation. Arithmetic and number theory have isomorphisms to other areas of mathematics. The proofs-as-programs equivalence shows that math and computation are the same. So i like to think numbers are how we perceive the computational aspect of reality.

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: