Text this: Mathesis Universalis, Computability and Proof