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