کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4609135 1338414 2006 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A sequentially computable function that is not effectively continuous at any point
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات آنالیز ریاضی
پیش نمایش صفحه اول مقاله
A sequentially computable function that is not effectively continuous at any point
چکیده انگلیسی

P. Hertling [Lecture Notes in Computer Science, vol. 2380, Springer, Berlin, 2002, pp. 962–972; Ann. Pure Appl. Logic 132 (2005) 227–246] showed that there exists a sequentially computable function mapping all computable real numbers to computable real numbers that is not effectively continuous. Here, that result is strengthened: a sequentially computable function on the computable real numbers is constructed that is not effectively continuous at any point.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Complexity - Volume 22, Issue 6, December 2006, Pages 752-767