Transfinitní certifikáty konvergence
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
SGA0202300001
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
23-07931S
Alternativní jazyk
Název projektu anglicky
Transfinite Certificates of Convergence
Anotace anglicky
Dynamical systems are mathematical models of change in space over time. Such systems may sometimes be extended into the transfinite, and such extensions can be used to prove asymptotic properties about the original finitary system. On occasion, transfinite methods are the only methods known for proving these results, and sometimes may even be necessary, in a way that can be made precise using mathematical logic. The aim of this project is to analyze such transfinite methods in order to understand the logical and computational information provided by them and extend their usefulness. We will employ cutting-edge proof-theoretic and ordinal-theoretic techniques, including formalizations in the context of second order arithmetic, where the strength of many results in mathematical analysis has been systematically gauged through the technique of reverse mathematics. Such techniques must be intimately entwined with a deep understanding of the target fields, including analysis, combinatorics, and potential application areas in engineering.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10101 - Pure mathematics
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
BA - Obecná matematika
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
O - Nesplněno zadání, smlouva však byla dodržena
Zhodnocení výsledků projektu
Příjemce grantu požádal o ukončení projektu.
Termíny řešení
Zahájení řešení
1. 1. 2023
Ukončení řešení
31. 12. 2023
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
14. 7. 2023
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP24-GA0-GA-U
Datum dodání záznamu
21. 5. 2024
Finance
Celkové uznané náklady
152 tis. Kč
Výše podpory ze státního rozpočtu
152 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč