ERC Advanced Grant · 2021
Construction in the Formal Sciences
The notion of construction figures centrally in mathematics and other formal sciences. An idealized, infinitary constructional approach is successfully applied to set theory, which provides the foundation for contemporary mathematics. C-FORS aims to develop new, similarly groundbreaking applications of the constructional approach. This will be the largest concerted effort to date to develop a foundation for the study of intensional entities, e.g. propositions and properties, where a variety of paradoxes still arise, with no agreed-upon solution—nearly a century after set theory received its proper foundation. However, infinitary constructions are poorly understood, and there is no known way…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.