CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The MeReMath project aims to enhance the understanding of foundational mathematics through computer mechanization. It focuses on analyzing Gödel's completeness theorem and related results, developing a Coq library for constructive reverse mathematics to improve logical reasoning and computational applications.
“Foundations of mathematics” labels the centuries-old interdisciplinary vision to secure the logical basis for mathematics and its applications. Gödel's celebrated completeness theorem for first-order logic, identifying semantic truth with syntactic deduction, is a key result heralding the formal phase of that vision.
Yet, this and other foundational results have not been fully characterised regarding their logical strength and computational content, limiting their understanding and applicabilit…
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
