Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationMathesis Universalis, Computability and Proof
Number of pages1
ISBN (Electronic)978-3-030-20447-1
ISBN (Print)978-3-030-20446-4, 978-3-030-20449-5
Publication statusPublished - 2019

Publication series

NameSynthese Library
ISSN (Print)0166-6991

Bibliographical 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’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ür philosophische Grundlagenforschung (ASPGF), Deutsche Mathematiker-Vereinigung (DMV), Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) and Gesellschaft für Analytische Philosophie (GAP).

Cite this