کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4952274 | 1442029 | 2017 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Computing halting probabilities from other halting probabilities
ترجمه فارسی عنوان
محاسبه احتمالات توقف از احتمال احتباس دیگر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In this paper we give precise bounds on the redundancy growth rate that is generally required for the computation of an omega number from another omega number. We show that for each ϵ>1, any pair of omega numbers compute each other with redundancy ϵlogâ¡n. On the other hand, this is not true for ϵ=1. In fact, we show that for each omega number ΩU there exists another omega number which is not computable from ΩU with redundancy logâ¡n. This latter result improves an older result of Frank Stephan.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 660, 17 January 2017, Pages 16-22
Journal: Theoretical Computer Science - Volume 660, 17 January 2017, Pages 16-22
نویسندگان
George Barmpalias, Andrew Lewis-Pye,