@inbook{8933249c0e5e4f6d9f33dd690eebc1f2,
title = "Preface",
author = "Stefania Centrone and Sara Negri and Deniz Sarikaya and Schuster, \{Peter M.\}",
note = "Funding Information: The conference was originally conceived as the capstone of a project supported by the German Research Association (DFG) on the development of Leibniz{\textquoteright}s ideas on the mathesis universalis by the mathematician and philosopher Bernard Bolzano (1781–1848) and by the founder of phenomenology and mathematician by training Edmund Husserl (1859–1938). However, the development of the mathesis universalis in Bolzano and in Husserl is connected to certain programmatic requirements for proofs, in order to satisfy the criteria to be considered “rigorous” (“streng” in German). Hence, the focus of the conference was proof theory, in general the branch of mathematics that is concerned with the problem of articulating the formal conditions to which proofs must conform to be rigorous. Funding Information: Generous financial support came first and foremost from the Alexander von Humboldt Foundation and furthermore from the following associations: Altonaer Stiftung f{\"u}r philosophische Grundlagenforschung (ASPGF), Deutsche Mathematiker-Vereinigung (DMV), Deutsche Vereinigung f{\"u}r Mathematische Logik und f{\"u}r Grundlagenforschung der Exakten Wissenschaften (DVMLG) and Gesellschaft f{\"u}r Analytische Philosophie (GAP).",
year = "2019",
language = "Deutsch",
isbn = "978-3-030-20446-4",
volume = "412",
series = "Synthese Library",
publisher = "Springer",
booktitle = "Mathesis Universalis, Computability and Proof",
}
SDG 3 Good Health and Well-being
SDG 9 Industry, Innovation, and Infrastructure