О математике. ВУЗ

Многие люди, слыша слово «бобры», не задумываются о математике. Однако эти трудолюбивые создания символизируют одну из самых удивительных концепций в сложной области науки: не всё поддаётся вычислению, как бы мы ни старались. Функция «busy beaver» (усердный бобёр) является первым примером невычислимого математического выражения. Она легко объясняется: это максимальное количество шагов, которое компьютерная программа может сделать перед остановкой, если у неё есть n состояний, где состояния означают сложность задачи. Но её значения, называемые BB(n), никогда не будут известны для всех величин n. Математики и теоретики компьютерных наук долго задавались вопросом, на каком n инструменты математики перестают работать: где именно находится предел того, что можно вычислить? Оказывается,что магическое число для BB(5) составляет 47,176,870. Это значит, что программа с пятью состояниями может выполнить максимум 47,176,870 шагов перед остановкой — или никогда не остановится ВВ(6),ВВ(7)-???? Может быть обратиться к самим бобрам и просто посчитать?

Цитаты преподавателей 😀 Помните, да, что плоскость задаётся 3 точками, а направление — 3 буквами... (МГТУ) Источник