Если рассматривать вопрос о том, что такое математика, то один из возможных ответов такой. Множество всех возможных алгоритмов и состояний памяти на компьютере (при условии, что у него бесконечно памяти) — это то, что изучает математика.
А сама математика — это маленькая часть этих алгоритмов, которая строит граф теорем из аксиом (как Lean строит те…