Mathesis Universalis, Computability and Proof

• Corporate Author: SpringerLink (Online service)
• Other Authors: Centrone, Stefania (Editor, http://id.loc.gov/vocabulary/relators/edt), Negri, Sara (Editor, http://id.loc.gov/vocabulary/relators/edt), Sarikaya, Deniz (Editor, http://id.loc.gov/vocabulary/relators/edt), Schuster, Peter M. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 412
• Subjects: Logic.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes "the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined"; in another fragment he takes the mathesis to be "the science of all things that are conc...