Text this: Outlines of a formalist philosophy of mathematics