NFFC · New Frontiers for Computability
„Хоризонт Европа“ — Действия „Мария Склодовска-Кюри“
- Период
- 2026-01-01 → 2029-12-31
- Финансиране от ЕС
- 435 870 €
- Участници
- 17
- Схема
- HORIZON-TMA-MSCA-SE
Линиите свързват координатора с партньорите.
Накратко на български
Теорията на изчислимостта се прилага за доказване на математически теореми, например в топологията. Това помага за прецизното изчисляване на математически константи и подобрява проверката на хибридни системи.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
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.
Оригинален текст от CORDIS (на английски).
Участници
- SWANSEA UNIVERSITY · SwanseaКоординаторОбединеното кралство
- FACULTY OF SCIENCE UNIVERSITY OF ZAGREB · ZagrebХърватия
- INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE · Le Chesnay CedexФранция
- INSTITUT ZA MATEMATIKO, FIZIKO IN MEHANIKO · LjubljanaСловения
- KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY · DAEJEONЮжна Корея
- NANYANG TECHNOLOGICAL UNIVERSITY · SingaporeСингапур
- NATIONAL UNIVERSITY CORPORATION KYOTO UNIVERSITY · KyotoЯпония
- NATIONAL UNIVERSITY OF SINGAPORE PUBLIC COMPANY LIMITED BY GUARANTEE · SingaporeСингапур
- Nagoya University Graduate School of Informatics · NagoyaЯпония
- THE BOARD OF REGENTS OF THE UNIVERSITY OF WISCONSIN SYSTEM · MADISON WIСъединени щати
- THE RESEARCH TRUST OF VICTORIA UNIVERSITY OF WELLINGTON · WellingtonНова Зеландия
- UNIVERSIDAD DE ZARAGOZA · ZaragozaИспания
- UNIVERSITA DEGLI STUDI DI UDINE · UdineИталия
- UNIVERSITAET DER BUNDESWEHR MUENCHEN · NEUBIBERGГермания
- UNIVERSITAET SIEGEN · SiegenГермания
- UNIVERSITY OF CONNECTICUT · StorrsСъединени щати
- UNIVERSITY OF LEEDS · LeedsОбединеното кралство
Връзки
Данни: CORDIS, © Европейски съюз