Mathesis Universalis Computability and Proof