Preview
Unable to display preview. Download preview PDF.
References
Шанин Н.А. Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Матем. инст. им. В.А.Стеклова АН СССР, 67 (1962), 15–294.
Кушнер Б.А. Лекции по конструктивному математическому анализу. Физматгиз, Москва, 1973.
Марков А.А. О нормальных алгорифмах, вычисляющих булевы функции. Доклады АН СССР, 157 No. 2 (1964), 262–264.
Цейтин Г.С. Теоремы о среднем значении в конструктивном анализе. Труды Матем. инст. им. В.А.Стеклова АН СССР, 67 (1962), 362–384.
Нагорный Н.М. Об алгорифмах для решения некоторых оптимизационных задач. Материалы к конфер. по опыту и персп. применения матем. методов и электр. вычисл. машин в планировании. Новосибирск, 1962, 3–5.
Кушнер Б.А. Некоторые массовые проблемы, связанные с интегрированием конструктивных функций. Труды Матем. инст. им. В.А.Стеклова АН СССР, 113 (1970), 39–72.
Нагорный Н.М. О минимальном алфавите алгорифмов над данным алфавитом. Труды Матем. инст. им. В.А.Стеклова АН СССР, 52 (1958), 66–74.
Канович М.И., Кушнер Б.А. Об оценке сложности некоторых массовых проблем анализа. Зап. научн. семинаров Ленингр. отд. Матем. инст. им. В.А.Стеклова АН СССР, 16 (1969), 81–90.
Канович М.И. Сложность предела шпекеровых последовательностей. Доклады АН СССР, 214 No. 5 (1974), 1020–1023.
Кушнер Б.А. Сложно-вычислимые действительные числа. Zeitschr. f. math. Logik und Grundlagen d. Math., 19 (1973), 447–452.
Bishop E. Foundations of constructive analysis. New York, 1967.
Martin-Löf P. Notes on constructive mathematics. Almqvist & Wiskell, Stockholm, 1970.
Kreisel G. Analysis of the Cantor — Bendixon theorem by means of analytic hierarchy. Bull. Acad. Polon. Sci., 7 (1959), 621–626.
Specker E. Nicht konstruktiv beweisbare Sätze der Analysis. Journ. Symbolic Logic, 14 No 3 (1949), 145–158.
Blum M.A. A machine-independent theory of the complexity of recursive functions. Journ. Ass. Comp. Mach., 14 No 2 (1967), 322–336.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nagorny, N.M. (1976). Algorithms and real numbers. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_164
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_164
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive