Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний
Kučera, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 018 (1977), p. 445-453 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1977-01-01
Classification:  02E99,  02F25,  03D25,  03F99 
@article{105790,
     author = {Anton\'\i n Ku\v cera},
     title = {Ob algopifmicheckoi neaproksimiruemosti  tochnykh verkhnikh gpanits konstruktivnykh pcevdocechenii},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {018},
     year = {1977},
     pages = {445-453},
     zbl = {0367.02015},
     mrnumber = {0469727},
     language = {ru},
     url = {http://dml.mathdoc.fr/item/105790}
}

Kučera, Antonín. Об aлгopифмичecкoй неапроксимируемости  точных верхних гpaниц конструктивных пceвдоceчeний. Commentationes Mathematicae Universitatis Carolinae, Tome 018 (1977) pp. 445-453. http://gdmltest.u-ga.fr/item/105790/

Марков А. А. Теория алгорифмов, Труды Мат. Инст. им. В. А. Стеклова XLII, (1954). (1954) | Zbl 0995.90535

Шанин Н. А. Конструктивные вещественные числа и конструктивные функциональные пространства, Труды Мат. Инст. им. В. А. Стеклова LXVII (1962), 15-294. (1962) | Zbl 1005.68507

Роджерс X. Теория рекурсивных функций и эффективная вычислимость, Москва 1972. (1972) | Zbl 1170.01322

Шанин Н. А. O конструктивном понимании математических суждений, Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. (1958) | Zbl 0101.04502

Цейтин Г. С O верхних границах перечислимых множеств конструктивных вещественных чисел, Груды Мат. Инст. им. В. А. Стеклова CXIII (1970), 102-172. (1970) | Zbl 1098.81563

Канович М. И. Сложность ограниченного разрешения алгорифмов, Исследования по теории алгорифмов и математической логике, ВЦ АН СССР Москва 1973, 3-41. (1973) | Zbl 1170.01397

Канович М. И. Об универсальности сильно неразрешимых множеств, Доклады АН СССР 204 (1972), 533-535. (1972) | MR 0304144 | Zbl 1170.01322

Канович М. И. Сложность предела шпекеровых последовательностей, Доклады АН СССР 214 (1974), 1020-1023. (1974) | MR 0340008 | Zbl 1170.01350