Мақаланы E-mail арқылы жіберу The Computational Power of Infinite Time Blum–Shub–Smale Machines
- Авторлар: Koepke P.1, Morozov A.S.2,3
-
Мекемелер:
- Math. Inst., Rheinische Friedrich–Wilhelms–Univ. Bonn
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Шығарылым: Том 56, № 1 (2017)
- Беттер: 37-62
- Бөлім: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/234020
- DOI: https://doi.org/10.1007/s10469-017-9425-x
- ID: 234020
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
Functions that are computable on infinite time Blum–Shub–Smale machines (ITBM) are characterized via iterated Turing jumps, and we propose a normal form for these functions. It is also proved that the set of ITBM computable reals coincides with ℝ∩Lωω.
Авторлар туралы
P. Koepke
Math. Inst., Rheinische Friedrich–Wilhelms–Univ. Bonn
Хат алмасуға жауапты Автор.
Email: Koepke@math.uni-bonn.de
Германия, Endenicher Allee 60, Bonn, 53115
A. Morozov
Sobolev Institute of Mathematics; Novosibirsk State University
Email: Koepke@math.uni-bonn.de
Ресей, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090
Қосымша файлдар
