ИСЧИСЛЕНИЕ ЗАДАЧ


ИСЧИСЛЕНИЕ ЗАДАЧ
интуиционистское исчисление высказываний, понимаемое в свете интерпретации, к-рую предложил в 1932 сов. ученый А. Н. Колмогоров. Эта интерпретация была свободна от гносеологич. установок интуиционизма и вскрывала содержательный материалистич. смысл указ. исчисления. При интерпретации Колмогорова значениями переменных в формулах являются любые з а д а ч и. Если р и q задачи, то формулы р & q, p / q, p ? q и р толкуются, соответственно, как задачи: "Решить задачу p и задачу q", "Решить задачу p или задачу q", "Свести решение задачи q к решению задачи р" и "Предполагая задачу p решенной, прийти к противоречию". Эта интерпретация положила начало разработке принципов конструктивного понимания логич. связей и конструктивного истолкования суждений логики и математики.
При интерпретации Колмогорова каждой доказуемой формуле U (р1, р2, ..., рn) интуиционистского исчисления высказываний (см. Интуиционистская логика) соответствует класс задач, имеющих общий метод решения (не зависящий от конкретного содержания задач р1, р2, ..., рn). Формуле же p / р не доказуемой в указ. логич. исчислении (она выражает принцип исключенного третьего), соответствует класс задач вида "Решить задачу p или, предполагая задачу p решенной, прийти к противоречию", существование общего метода решения к-рых как раз не очевидно.
В интерпретации Колмогорова оставалось не выясненным, что надо понимать под общим методом решения задач нек-рого класса и под сведeнием решения одной задачи к решению другой. Это было уточнено (и притом различными способами) после того, как в 30-х гг. были разработаны точные понятия алгоритма и вычислимой (рекурсивной) функции (см. Рекурсивные функции и предикаты), что позволило строго доказать несуществование общего метода (алгоритма) решения задач из класса, соответствующего формуле p / р. Действительно, существование такого алгоритма означало бы, в частности, существование алгоритма решения задач вида "Доказать выводимость формулы U в исчислении S или, предполагая формулу доказуемой в нем, прийти к противоречию" (в качестве p взята задача "Доказать выводимость U в исчислении S"). Алгоритм решения задач этого вида при нек-ром конкретном S является решением разрешения проблемы для исчисления S. Но, как показал Чёрч (1936), эта проблема неразрешима, напр., для узкого исчисления предикатов.
Идеи Колмогорова получили развитие в работах Клини (1945) (см. Реализуемость), Медведева (1955), Шанина (1958). См. Конструктивная логика.
Лит.: Пильчак Б. Ю., Об исчислении задач, "Укрмат. ж.", 1952, т. 4, No 2, с. 174–94; ее же, О проблеме разрешимости для исчисления задач, "Докл. АН СССР", 1950, т. 75, No 6, с. 773–76; Медведев Ю. Т., Степени трудности массовых проблем, там же, 1955, т. 104, No 4, с. 501–504; Шанин ?. ?., О конструктивном понимании математических суждений. "Тр. мат. ин-та им. В. А. Стеклова", 1958, т. 52, с. 226–311; его же, Об алгорифме конструктивной расшифровки математических суждений, "Z. Math. Logic und Grundlagen der Math.", 1958, Bd 4, H. 3, S. 293–303; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 82; Коlmоgоrоff ?., Zur Deutung der intuitionistischen Logik, "Math. Z.", 1932, Bd 35, S. 58–65; Church ?., A note on the Entscheidungsproblem, "J. Symb. Logic", 1936, v. 1, No 1, p. 40–41; Кleene S. С., On the interpretation of intuitionistic number theory, там же, 1945, v. 10, No 4, p. 109–24.
Б. Пильчак. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


Просмотров: 879
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • "ГОСУДАРСТВО И РЕВОЛЮЦИЯ. Учение марксизма о государстве и задачи пролетариата в революции"
  • "ЗАДАЧИ СОЮЗОВ МОЛОДЁЖИ"
  • БОРЬБА ЗА СУЩЕСТВОВАНИЕ
  • БОРЬБА ЗА СУЩЕСТВОВАНИЕ
  • ДВА ВИДА
  • естественные интерпретации
  • ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
  • ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
  • Кардиналы-выборщики на Конклаве 1958
  • КОЛМОГОРОВА-СМИРНОВА ТЕСТ
  • КРИТЕРИЙ ПРИНЯТИЯ РЕШЕНИЯ
  • ЛОГИКА ВЫСКАЗЫВАНИЙ
  • логика высказываний
  • логика высказываний
  • Метод социолингвистической интерпретации
  • методика интерпретации
  • ОРИЕНТАЦИЯ ЧЛЕНОВ ГРУППЫ НА ЗАДАЧУ ИЛИ НА СЕБЯ
  • отношение включения класса в класс
  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ
  • Принятие Решения
  • ПСИХОТЕРАПИЯ НОВОГО РЕШЕНИЯ М. ГУЛДИНГ И Р. ГУЛДИНГА
  • РАСКРЫВАЮЩАЯ РЕКОНСТРУКТИВНАЯ ПСИХОТЕРАПИЯ БОЛЬНЫХ МАЛОПРОГРЕДИЕНТНОЙ ШИЗОФРЕНИЕЙ ВИДА
  • РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ
  • решение задачи
  • РЕШЕНИЕ КОМПЛЕКСНЫХ ЗАДАЧ
  • СУЩЕСТВОВАНИЕ
  • СУЩЕСТВОВАНИЕ В АРАБО-МУСУЛЬМАНСКОЙ ФИЛОСОФИИ
  • ТЕСТ КОЛМОГОРОВА-СМИРНОВА
  • умозаключения из суждений с отношениями
  • четыре вида мудрости



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь