Mathesis Universalis, Computability and Proof