Transfinite Certificates of Convergence
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202300001
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
23-07931S
Alternative language
Project name in Czech
Transfinitní certifikáty konvergence
Annotation in Czech
Dynamické systémy jsou matematickými modely časových změn v prostoru. Takovéto systémy se dají občas rozšířit transfinitně, a takováto rozšíření se dají použít pro důkaz určitých asymptotických vlastností původního finitárního systému. V určitých případech jsou transfinitní metody jedinými známými metodami pro důkaz dané vlastnosti. A občas jsou dokonce nutné ve smyslu, který se dá definovat přesně pomocí matematické logiky. Cílem tohoto projektu je pomocí analýzy takovýchto transfinitních metod pochopit, kterou logickou a výpočetní informaci přesně poskytují, a na základě toho zvýšit jejich použitelnost. Budeme používat nejnovější techniky z teorie důkazů a z teorie ordinálních čísel včetně formalizace v kontextu aritmetiky druhého řádu, kde síla mnoha výsledků v matematické analýze byla systematicky změřena pomocí technik reverzní matematiky. Tyto techniky musí být úzce spjaty s hlubokým porozuměním cílovým oborům, včetně analýzy, kombinatoriky a oblastí potenciální aplikace v inženýrství.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
BA - General mathematics
Completed project evaluation
Provider evaluation
O - Nesplněno zadání, smlouva však byla dodržena
Project results evaluation
The recipient requested termination of the project.
Solution timeline
Realization period - beginning
Jan 1, 2023
Realization period - end
Dec 31, 2023
Project status
U - Finished project
Latest support payment
Jul 14, 2023
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-GA0-GA-U
Data delivery date
May 21, 2024
Finance
Total approved costs
152 thou. CZK
Public financial support
152 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK