Mathesis universalis, computability and proof. (2019)

• Record Type: Book
• Further Information: Note: Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster, editors.
• Other Names: Centrone, Stefania; Negri, Sara, 1967-; Sarikaya, Deniz; Schuster, Peter M
• Contents: 1. Introduction: Mathesis Universalis, Proof and ComputationStefania Centrone 2. Diplomacy of Trust in the European CrisisEnno Aufderheide 3. Mathesis Universalis and Homotopy Type TheorySteve Awodey 4. Note on the Benefit of Proof Representations by NameMatthias Baaz 5. Constructive Proofs of Negated StatementsJosef Berger and Gregor Svindland 6. Constructivism in Abstract MathematicsUlrich Berger 7. Addressing Circular Definitions via Systems of ProofsRiccardo Bruni 8. The Monotone Completeness Theorem in Constructive Reverse MathematicsHajime Ishihara and Takako Nemoto 9. From Mathesis Universalis to Fixed Points and Related Set-Theoretic ConceptsGerhard Jäger and Silvia Steila 10. Through an Inference Rule, DarklyRoman Kuznets 11. Objectivity and Truth in Mathematics: A Sober Non-Platonist PerspectiveGodehard Link 12. From Mathesis Universalis to Provability, Computability, and ConstructivityKlaus Mainzer 13. Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus: a SurveyPierluigi Minari 14. Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful ProgramsThomas Powell 15. The Concepts of Proof and GroundDag Prawitz 16. On Relating Theories: Proof-Theoretical ReductionMichael Rathjen and Michael Toppel 17. Program Extraction from Proofs: the Fan Theorem for Uniformly Coconvex BarsHelmut Schwichtenberg 18. Counting and Numbers, from Pure Mathesis to Base Conversion AlgorithmsJan von Plato 19. Point-Free Spectra of Linear SpreadsDaniel Wessel.
• Publisher Details: Cham : Springer
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 511.3/6; Proof theory; Proof theory; Electronic books
• Languages: English
• ISBNs: 9783030204471; 3030204472
• Related ISBNs: 3030204464; 9783030204464
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.