Разрешимая Теория

См. Разрешения проблема.. ..

Или. Разрешимости пробле­ма, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфор­мулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой (алгоритмом), называется процедурой разрешения или разрешающей процедурой, а теория, для которой такая процедура существует, — разрешимой теорией. Р. П. Решается в классической логике высказываний с помощью таблиц истинности. Разреша..

(от лат. Ratio - разум) - относящееся к ра­зуму, обоснованность разумом, доступное разумному пониманию, в  . Противоположность иррациональности как чему-то неразум­ному, недоступному разумному пониманию. В методологии научного познания Р. Понимается двояко. Чаще всего Р. Истолковывается как соответствие законам разума — законам логики, методологическим нормам и правилам. То, что соот­ветствует логико-методологическим стандартам, — Р., то, что наруша­ет эти стандарты, — нерационально или даже..

(от лат. Recurso - возвраща­юсь) — метод определения арифметической функции φ(у) или пре­диката Р(у) через область значений этой функции или предиката. Примером Р. О. Может быть определение функции сложения. А + 0 = а, (1) а + b'=(а+b)' (2) В равенстве (1) говорится, что некоторое фиксированное число а (см. Параметр) при прибавлении к нему нуля дает число а. В равенстве (2) говорится., что если к некоторому фиксированному числу а добавить число, следующее за некоторым фиксированным числом b..