Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




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


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
Видеозаписи:
MP4 720.8 Mb
Дополнительные материалы:
Adobe PDF 222.0 Kb

Количество просмотров:
Эта страница:229
Видеофайлы:52
Материалы:24
Youtube:



Аннотация: 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.

Дополнительные материалы: steklovka.pdf (222.0 Kb)

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

* 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