-
1 проблема сводимости
См. также в других словарях:
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой … Математическая энциклопедия
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
АЛГОРИТМОВ ТЕОРИЯ — раздел математики, изучающий общие свойства алгоритмов. Содержательные явления, приведшие к образованию понятия алгоритм , прослеживаются в математике в течение всего времени ее существования. Однако само это понятие сформировалось лишь в 20 в. и … Математическая энциклопедия
ТЕОРИЯ — (от греч. оеяркх умозрение) 1) в широком смысле вид человеческой деятельности, направленный на получение обоснованного объективно истинного знания о природной и социальной реальности в целях ее духовного и практического освоения; 2) в узком… … Современный философский словарь
ПСИХОЛОГИЯ — (от греч. душа и слово, учение), наука о закономерностях, механизмах и фактах психич. жизни человека и животных. Взаимоотношения живых существ с миром реализуются посредством чувств. и умств. образов, мотиваций, процессов общения,… … Философская энциклопедия
ФИЛОСОФИЯ НАУКИ — область философии, исследующая природу научного знания, его структуру и функции, методы научного познания, способы обоснования и развития научного знания. В своем исследовании научного знания Ф.н. опирается на те или иные гносеологические… … Философская энциклопедия
РАССЕЛ — (Russell) Бертран (1872 1970) англ. философ, ученый и общественный деятель. Лауреат Нобелевской премии по литературе (1950). Р. учился и в дальнейшем преподавал в Кембриджском ун те. Он неоднократно приглашался для преподавания в ун ты др. стран … Философская энциклопедия
СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание … Философская энциклопедия