Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

این جلد Festschrift به افتخار کریستین کالود به مناسبت شصتمین سالگرد تولد او منتشر شده است و شامل مشارکت سخنرانان دعوت شده و مقالات منظم ارائه شده در کارگاه بین المللی علوم کامپیوتر نظری، WTCS 2012، در اوکلند است. نیوزلند، در فوریه 2012.

Cristian Calude سهم قابل توجهی در تحقیقات در نظریه علوم کامپیوتر داشته است. همراه با کارهای اولیه چایتین، کوچرا، کورتز، سولووی و ترویین، مقالات او در اواسط دهه 1990 به طور مشترک با خوساینوف، هرتلینگ و وانگ منتشر شد، پایه و اساس توسعه نظریه مدرن تصادفی الگوریتمی را پایه گذاری کرد. کار او برای ایجاد نقش پیشرو نیوزلند در این زمینه ضروری بود.

علائق پژوهشی کریستین کالود در موضوعات تحت پوشش 32 مقاله موجود در این کتاب، یعنی: نظریه اطلاعات الگوریتمی، الگوریتم‌ها، خودکارها و زبان‌های رسمی، محاسبات و علوم طبیعی، محاسبات و کاربردها، منعکس شده است. منطق و کاربردها، فلسفه محاسبات، فیزیک و محاسبات، و مدل های غیر متعارف محاسبات. آنها در چهار بخش سازماندهی شده اند. بخش اول شامل مقالاتی است که دستاوردهای زندگی او را مورد بحث قرار می دهد. پس از آن مقالاتی در سه حوزه کلی پیچیدگی، محاسبه پذیری و تصادفی ارائه می شود. فیزیک، فلسفه (و منطق) و محاسبات. و الگوریتم‌ها، خودکارها و مدل‌های رسمی (از جمله محاسبات غیر متعارف).

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012.

Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area.

The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).