Title: Mathesis Universalis, Computability and Proof