РАЗРЕШЕНИЯ (разрешимости) ПРОБЛЕМА

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

Просмотров: 1053
Категория: Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г.




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

  • F68.1 Умышленное вызывание или симулирование симптомов или инвалидности физического или психологического характера (поддельное нарушение)
  • «ДЛЯ СЕБЯ»
  • «НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ»
  • «НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ»
  • Государственные стандарты общего образования детей с ограниченными возмбжностями здоровья или специальный образовательный стандарт
  • Для MTF
  • ДЛЯ СЕБЯ
  • ИНСТРУКЦИЯ ДЛЯ АНКЕТЕРА
  • МУЛЬТФИЛЬМЫ для детей
  • НИХОНДЗИН РОН (япон. - теории о японцах), другое название НИХОН БУНКА РОН (япон. - теории японской культуры)
  • НОВЫЙ ОРГАНОН, или Истинные указания для истолкования природы
  • ОБЩЕНИЕ. Пример чистой, или формальной, социологии
  • ПРЕДМЕТНАЯ ОБЛАСТЬ, или область объектов теории,универсум рассуждения
  • ПРЕДМЕТНАЯ ОБЛАСТЬ, или: Универсум рассуждения, область теории
  • ПРОГРАММА ДЛЯ ЭВМ
  • ПРОЦЕДУРА ОБЩЕГО ЭМОЦИОНАЛЬНО ПОЛОЖИТЕЛЬНО НАСТРОЯ КЛИЕНТА
  • РАЗВИТИЯ (теории, или генетический метод)
  • РАЗВИТИЯ ТЕОРИИ (генетический метод)
  • РАЗРЕШЕНИЯ ПРОБЛЕМА, или: Разрешимости проблема
  • Рассмотрение проблемы в связи с конкретным клиентом или семьей.
  • Речь эгоцентрическая, или «речь для себя»
  • Семантическая концепция истины (для формализованных языков) А. Тарского
  • СОЦИОЛОГИЧЕСКИЕ ТЕОРИИ СРЕДНЕГО УРОВНЯ (СРЕДНЕ-УРОВНЕВЫЕ СОЦИОЛОГИЧЕСКИЕ ТЕОРИИ)
  • Специальные социологические теории, или Теории среднего уровня
  • Теории
  • УСТРОЙСТВО ДЛЯ УСВОЕНИЯ ЯЗЫКА (или СИСТЕМА)
  • Частные, или специальные, теории
  • ЧЕЛОВЕК ДЛЯ СЕБЯ. Исследование психологических проблем этики
  • ЧЕЛОВЕК ДЛЯ СЕБЯ. Исследование психологических проблем этики
  • Язык для иностранцев



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

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






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

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







    Locations of visitors to this page



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