История изменений
Исправление AndreyKl, (текущая версия) :
Ну тогда понятно, что если у тебя есть только примитивно-рекурсивные функции, то ничего сложнее индукции не напишешь.
да, ну так вот, я и говорю - всё напишешь. (да, условная конструкция есть у нас, только переходов по типу goto/while нету).
Черча знаю, Тьюринга тоже, А кто такой Пакман даже не догадываюсь. :)
да, пожалуй, я был не совсем корректен, надо было уточнить сразу.
Исправление AndreyKl, :
Ну тогда понятно, что если у тебя есть только примитивно-рекурсивные функции, то ничего сложнее индукции не напишешь.
да, ну так вот, я и говорю - всё напишешь. (да, условная конструкция есть у нас, только переходов по типу готу нету).
Черча знаю, Тьюринга тоже, А кто такой Пакман даже не догадываюсь. :)
да, пожалуй, я был не совсем корректен, надо было уточнить сразу.
Исправление AndreyKl, :
Ну тогда понятно, что если у тебя есть только примитивно-рекурсивные функции, то ничего сложнее индукции не напишешь.
да, ну так вот, я и говорю - всё напишешь.
Черча знаю, Тьюринга тоже, А кто такой Пакман даже не догадываюсь. :)
да, пожалуй, я был не совсем корректен, надо было уточнить сразу.
Исходная версия AndreyKl, :
Ну тогда понятно, что если у тебя есть только примитивно-рекурсивные функции, то ничего сложнее индукции не напишешь.
да, ну так вот, я и говорю - всё напишешь.