а пример.. однаместной интуитивно вычислимой функцыи можешь привести?))
, все интуитивные функции---это неразрешимо невычислимые в каком-либо точном смысле функции, как неприменимость к ним точных алгоритмов и процедур вычислений, тем не менее уточняющихся конструктивно-интуитивным способом. А одноместные интуитивно вычислимые функции---это строгая их привязка либо к одному объекту, либо к одному Предикату (пропозиции). А ПРИМЕРОМ могут служить все точные и верные суждения в области Нагвализма, где точно нет чётких научно-алгоритмических процедур, но тем не менее где вполне определимы точные в этой области суждения. Ибо в противном случае, при невозможности уточнять и проверять знания в Нагвализме, ввиду отсутствия цельной взаимосвязи, как их полная нерекурсивность---это означает, что такого рода ДУХ (НАГУАЛЬ) никак не может быть управителем действительности, которая так или иначе, но обязательно в каком-то смысле РЕКУРСИВНА. А значит и Тональ Нагваля такого химерно антиреалистичного Нагуаля---не из области реалий, а чисто фантазмогоричен, и совершенно лишён влияния на события реальности. Это означает, что научно-практическая (рекурсивно содержательная) основа Нагвализма, продвигаемая нашей Уважаемой
Pipa
, существенно более реалистична, чем антинаучная версия ОМОСЕКОВ.
lis, сам посмотри, шо пишут тута по этому поводу самые продвинутые граматеи:
