Подписка на блог

В Телеграме помимо ссылок на заметки делюсь околодизайнерскими наблюдениями.

В Твиттере помимо ссылок на заметки пишу всякую чушь.

В Тумблере и Же-же есть автоматические трансляции. Если не работает, напишите мне: ilyabirman@ilyabirman.ru.

По РСС и Джейсон-фиду трансляции для автоматических читалок

Машина Поста

Пост утверждает, что всякая вычислимая функция вычислима по Посту, т. е. с помощью машины Поста.

Как бы это доказать? Не знаю даже как подступиться. Достаточно ли доказать, что можно сложить, вычесть, умножить и разделить, а потом сказать, что всякие там функции можно разложить в ряд? Или есть какие-то еще загвоздки? Кстати, как разделить? Что делать с дробями?
Подписаться на блог
Поделиться
Отправить

Пользовательский интерфейс
Доступны три раздела
электронного учебника

Популярное