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...