Mathesis Universalis, Computability and Proof

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Centrone, Stefania (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Negri, Sara (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sarikaya, Deniz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Schuster, Peter M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 412
• Θέματα: 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...