Math consists of proofs. Every proof corresponds to a computer program, by Curry-Howard Correspondence. Every program is an implementation of an algorithm. H

Math consists of proofs. Every proof corresponds to a computer program, by Curry-Howard Correspondence. Every program is an implementation of an algorithm. Hence, math consists of things that correspond to implementations of algorithms.