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

Onderzoeksoutput: ChapterResearch

Originele taal-2English
TitelMathesis Universalis, Computability and Proof
Aantal pagina's1
ISBN van elektronische versie978-3-030-20447-1
ISBN van geprinte versie978-3-030-20446-4, 978-3-030-20449-5
StatusPublished - 2019

Publicatie series

NaamSynthese Library
ISSN van geprinte versie0166-6991

Bibliografische nota

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).

Citeer dit