The algorithmic nonapproximability of the least upper bounds of constructive pseudosections
Commentationes Mathematicae Universitatis Carolinae (1977)
- Volume: 018, Issue: 3, page 445-453
- ISSN: 0010-2628
Access Full Article
top
How to cite
topKučera, Antonín. "Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний." Commentationes Mathematicae Universitatis Carolinae 018.3 (1977): 445-453. <http://eudml.org/doc/16842>.
@article{Kučera1977,
author = {Kučera, Antonín},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {rus},
number = {3},
pages = {445-453},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний},
url = {http://eudml.org/doc/16842},
volume = {018},
year = {1977},
}
TY - JOUR
AU - Kučera, Antonín
TI - Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1977
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 018
IS - 3
SP - 445
EP - 453
LA - rus
UR - http://eudml.org/doc/16842
ER -
References
top- МАРКОВ А. А., Теория алгорифмов, Труды Мат. Инст. им. В. А. Стеклова XLII, (1954). (1954) Zbl0995.90535
- ШАНИН Н. А., Конструктивные вещественные числа и конструктивные функциональные пространства, Труды Мат. Инст. им. В. А. Стеклова LXVII (1962), 15-294. (1962) Zbl1005.68507
- РОДЖЕРС X., Теория рекурсивных функций и эффективная вычислимость, Москва 1972. (1972) Zbl1170.01322
- ШАНИН Н. А., O конструктивном понимании математических суждений, Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. (1958) Zbl0101.04502
- ЦЕЙТИН Г. С, O верхних границах перечислимых множеств конструктивных вещественных чисел, Груды Мат. Инст. им. В. А. Стеклова CXIII (1970), 102-172. (1970) Zbl1098.81563
- КАНОВИЧ М. И., Сложность ограниченного разрешения алгорифмов, Исследования по теории алгорифмов и математической логике, ВЦ АН СССР Москва 1973, 3-41. (1973) Zbl1170.01397
- КАНОВИЧ М. И., Об универсальности сильно неразрешимых множеств, Доклады АН СССР 204 (1972), 533-535. (1972) Zbl1170.01322MR0304144
- КАНОВИЧ М. И., Сложность предела шпекеровых последовательностей, Доклады АН СССР 214 (1974), 1020-1023. (1974) Zbl1170.01350MR0340008
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.