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
This research explores the relationship between reasoning and computation in mathematics, focusing on reformulating Hilbert's program and utilizing type theory. It aims to enhance understanding of constructive mathematics and improve proof systems through formal representation.
The general theme is to explore the connections between reasoning and computations in mathematics.
There are two main research directions.
The first research direction is a refomulation of Hilbert's program, using ideas from formal, or pointfree topology.
We have shown, with multiple examples, that this allows a partial realization of this program in commutative algebra, and a new way to formulate constructive mathematics.
The second research direction explores the computational content using ty…
UGOT - GOETEBORGS UNIVERSITET/UNIVERSITY OF GOTHENBURG
GOETEBORGS UNIVERSITET
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.
