کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661746 | 1633461 | 2014 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The axiomatic power of Kolmogorov complexity
ترجمه فارسی عنوان
قدرت محوری پیچیدگی کلموگروف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
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
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 9, September 2014, Pages 1380-1402
نویسندگان
Laurent Bienvenu, Andrei Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren,