NFFC · New Frontiers for Computability
Horizon Europe — Marie Skłodowska-Curie Actions
- Duration
- 2026-01-01 → 2029-12-31
- EU contribution
- €435,870
- Participants
- 17
- Scheme
- HORIZON-TMA-MSCA-SE
Lines connect the coordinator with its partners.
Project objective
Recent advances in computability theory have uncovered new pathways to apply computability to prove theorems in other areas of mathematics. Examples include a long-open question in topological dimension theory answered by Kihara and Pauly using computability-theoretic methods and a new proof of the 2-dimensional Kakeya conjecture by Lutz and Lutz. By bringing together the right experts, we will deepen those pathways and find more such applications.In a parallel development, we will focus on implementating algorithms working on continuous data types. This, too, has promising applications in diverse areas of mathematics. For example, tools that can compute Bloch's constant or the solution to the Lebesgue universal covering problem are within our grasp -- and both these numbers are only known up to the first post-decimal digit. The tools to be developed also have applications outside of mathematics, such as for the verification of hybrid systems.Both routes to applications built on a shared theoretical foundation, which in itself will be developed further.
Original text from CORDIS.
Participants
- SWANSEA UNIVERSITY · SwanseaCoordinatorUnited Kingdom
- FACULTY OF SCIENCE UNIVERSITY OF ZAGREB · ZagrebCroatia
- INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE · Le Chesnay CedexFrance
- INSTITUT ZA MATEMATIKO, FIZIKO IN MEHANIKO · LjubljanaSlovenia
- KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY · DAEJEONSouth Korea
- NANYANG TECHNOLOGICAL UNIVERSITY · SingaporeSingapore
- NATIONAL UNIVERSITY CORPORATION KYOTO UNIVERSITY · KyotoJapan
- NATIONAL UNIVERSITY OF SINGAPORE PUBLIC COMPANY LIMITED BY GUARANTEE · SingaporeSingapore
- Nagoya University Graduate School of Informatics · NagoyaJapan
- THE BOARD OF REGENTS OF THE UNIVERSITY OF WISCONSIN SYSTEM · MADISON WIUnited States
- THE RESEARCH TRUST OF VICTORIA UNIVERSITY OF WELLINGTON · WellingtonNew Zealand
- UNIVERSIDAD DE ZARAGOZA · ZaragozaSpain
- UNIVERSITA DEGLI STUDI DI UDINE · UdineItaly
- UNIVERSITAET DER BUNDESWEHR MUENCHEN · NEUBIBERGGermany
- UNIVERSITAET SIEGEN · SiegenGermany
- UNIVERSITY OF CONNECTICUT · StorrsUnited States
- UNIVERSITY OF LEEDS · LeedsUnited Kingdom
Links
Data: CORDIS, © European Union