Nxx писал(а):
Цитата:
Пусть функция

есть одна из

и

(любая).
Случайным образом?

Или когда ей как нравится?
Да, именно так. Слово "любая" означает любая, какая угодно, выбранная произвольным образом. Акт выбора одного произвольного элемента из двух данных нетривиальная операция?
Nxx писал(а):
Я четко видел в определении функции

слово "если" и фигурную скобку. Или мне показалось? Или это не было частью определения функции

?
Если это не относилоcь к определению

, а было чемто посторонним, то да.
Условие приведено как есть у Мендельсона. Дополнительных указаний или уточнений там нет.
Nxx, выражайтесь, пожалуйста, точнее. В частности, неясно, что такое "функция дает ответ", "функции нравится", "функция не имеет отношения к", "функция ничего не знает про", "функция не сможет вычислить", "передать в качестве аргумента в функцию", "в функцию вводится параметр" и т.п.
PS
Завтра функция
MaximKat станет примитивно рекурсивной!
