Anatoly Vorobey (avva) wrote,
Anatoly Vorobey
avva

функция маккарти (немного математики)

Мне раньше не встречалась эта забавная функция.

Определение (рекурсивное):

  • g(x) = x-10 если x > 100
  • g(x) = g(g(x+11)) если x <= 100

g(x) называется 91-функцией Маккарти. Поведение g(x) для x>100 тривиально, как следует из первой строки определения; поведение для x<=100 на первый взгляд неочевидно.

Доказать: g(x)=91 для x<=101.

Я не предлагаю это в качестве задачи для решения в комментах, потому что доказать это очень легко, но все-таки надо немного подумать. Просто красиво, по-моему, и я хотел этим небольшим кусочком красоты, о котором сегодня случайно узнал, поделиться.

Subscribe

  • о мужской психологии и квестах

    Понравилась тирада про мужскую психологию из тиктока - настолько, что транскрибировал ее и перевел с английского (с помощью LLM и то и другое, но с…

  • о правах и плагиате

    Фейсбук гудит от скандала между писателем и журналисткой. Вот мои 5 копеек, которые я конечно же обязан вставить, потому что не писатель и не…

  • stimulation clicker

    Очень хорошая игра (лучше на компьютере, а не на телефоне): Stimulation Clicker Я стараюсь не играть в игры-кликеры, это ужасная трата времени,…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 21 comments

  • о мужской психологии и квестах

    Понравилась тирада про мужскую психологию из тиктока - настолько, что транскрибировал ее и перевел с английского (с помощью LLM и то и другое, но с…

  • о правах и плагиате

    Фейсбук гудит от скандала между писателем и журналисткой. Вот мои 5 копеек, которые я конечно же обязан вставить, потому что не писатель и не…

  • stimulation clicker

    Очень хорошая игра (лучше на компьютере, а не на телефоне): Stimulation Clicker Я стараюсь не играть в игры-кликеры, это ужасная трата времени,…