Запитання з тегом «busy-beaver»

Функція максимального зсуву бобра, , має відомі значення для . Чи є якась основна, структурна причина, чому немислимо, що ми коли-небудь знаходимо для ? Що так відрізняється від ніж ? Або ? Десь на цьому шляху повинна існувати якась принципова різниця, інакше в принципі була б обчислюваною для всіх , …

13 computability  busy-beaver 

Передумови: Я є повноправним мирянином з інформатики. Я читав про зайнятих номерах Бівер тут , і я знайшов такий уривок: Людство ніколи не може знати значення ВВ (6) для певного, не кажучи вже про ВВ (7) або будь-якого більшого числа в послідовності. Насправді, у нас вже ухиляються перші п’ятірки та …

12 turing-machines  number-theory  busy-beaver