کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661746 1633461 2014 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The axiomatic power of Kolmogorov complexity
ترجمه فارسی عنوان
قدرت محوری پیچیدگی کلموگروف
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
Finally, we consider a theory that claims Martin-Löf randomness of a given infinite binary sequence. This claim can be formalized in different ways. We show that different formalizations are closely related but not equivalent, and study their properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 9, September 2014, Pages 1380-1402
نویسندگان
, , , , ,