News for hackers. Stuff that matters.
Re:How inevitable is the concept of numbers? by domrally on Tuesday May 25, 2021 @03:53PM (#27281747)
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...

There are no comments on this comment yet.