Всех форумчан с наступающим (а в некоторых уголках нашей планеты уже наступившим) Новым Годом!

На "Хабре" пишут вот что:

Бесконечная пирамида из 'омег' дает некий ординал $%\epsilon_0$%. Почитайте про функцию, рост которой измеряется этим ординалом. Выясняется, что функция растет так быстро, что формальная арифметика не может в принципе доказать, что такая функция вообще определена!

Перехожу по данной "Хабром" ссылке и вижу следующее.

Хотелось бы разобраться, что это за функция такая и растёт ли она быстрее, чем Busy Beaver?

задан 31 Дек '19 18:30

1

@Казвертеночка: эта функция, хотя она и растёт очень быстро, но для неё есть алгоритм вычисления. Он фактически задан самим процессом, и нетривиально лишь то, что процесс за конечное (и очень большое) число шагов оканчивается. А функция Busy Beaver растёт быстрее любой вычислимой.

(31 Дек '19 20:26) falcao

@falcao, большое спасибо! И с Новым Годом!

(1 Янв 17:57) Казвертеночка
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,313
×8
×4
×1
×1

задан
31 Дек '19 18:30

показан
96 раз

обновлен
1 Янв 17:57

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru