RUS  ENG
Полная версия
СЕМИНАРЫ

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
4 октября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom


Primitive Recursive Ordered Fields and Some Applications

V. L. Selivanovab

a A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University


https://youtu.be/KampOe0j82Y

Аннотация: We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals and apply them to several problems of algebra and analysis. In particular, we find a primitive recursive analogue of Ershov-Madison's theorem about the computable real closure, relate primitive recursive fields of reals to the field of primitive recursive reals, give sufficient conditions for primitive recursive root-finding and for computing spectral decompositions of matrices, which applies to computing solution operators of symmetric hyperbolic systems of partial differential equations.

Язык доклада: английский

* This talk is supported by the Simons Foundation and the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2019-1614).


© МИАН, 2024