Mathesis Universalis, Computability and Proof | lit.salon