Joscha Bach says modern computer science constructs arithmetic and geometry from simple operations on bit patterns, describing mathematics from the ground up.

“And, um, this finds itself in its modern incarnation in computer science, where mathematics is being described from the ground up by the tools that we can make to build arbitrary arithmetic and geometry from simple operations over bit patterns.”