Значение словосочетания «проблема разрешения»
-
Проблема разрешения (нем. Entscheidungsproblem) — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и математического утверждения «
S
{\displaystyle S}
» на этом языке) — и, после конечного числа шагов, останавливался бы и выдавал один из двух ответов: «Истина!» или «Ложь!», — в зависимости от того, истинно или ложно утверждение «
S
{\displaystyle S}
». Ответ не требует обоснований, но должен быть верным.
Такой алгоритм мог бы, к примеру, подтвердить гипотезу Гольдбаха и гипотезу Римана несмотря на то, что доказательства (и опровержения) пока неизвестны. Нерешаемость проблемы разрешения (неразрешимость множества истинных формул арифметики) для языка арифметики, содержащего «равенство», «сложение» и «умножение», является следствием неарифметичности этого множества. Неарифметичность является следствием теоремы Тарского «о невыразимости понятия истинности в языке средствами того же языка».
В 1936 году — Алонзо Чёрч и независимо от него Алан Тьюринг опубликовали работы, в которых показали, что не существует алгоритма для определения истинности утверждений арифметики, а поэтому и более общая проблема разрешения также не имеет решения. Этот результат получил название: «теорема Чёрча — Тьюринга».
Источник: Википедия
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: ужимать — это что-то нейтральное, положительное или отрицательное?
Ассоциации к слову «проблема»
Ассоциации к слову «разрешение»
Синонимы к словосочетанию «проблема разрешения»
Предложения со словосочетанием «проблема разрешения»
- Реалии жизни актуализируют проблему разрешения возникающих коллизий в национальных сообществах «здесь и сейчас» – как сохранить рабочие места в условиях кризиса, защитить интересы самых незащищённых социальных слоёв, обеспечить стабильность и устойчивость общества и т. п.
- Что касается проблемы разрешения парадоксов, то они не могут, по-видимому, быть «разрешены» в рамках существующих формальных систем, а вопрос о пользе построения формальных систем, в которых подобные парадоксы не возникают, зависит от доказательных возможностей подобных систем [Френкель, Бар-Хиллел, 1966].
- Скажу только, что его – воспитанника, апологета и продолжателя рафинированной немецкой философии бытия – занимали более проблемы разрешения противоречий, таящихся в существующих, прошедших через века идеях, нежели создание новых учений.
- (все предложения)
Цитаты из русской классики со словосочетанием «проблема разрешения»
- На почве такого сознания невозможно разрешение проблемы отношений человека и общества.
- Только новое сознание в христианстве, только понимание его как религии не только личного, но и социального и космического преображения, т. е. усиление в христианском сознании мессианства и пророчества, может привести к разрешению мучительной проблемы отношений человека и общества.
- Мало уже верят в возможность решения проблем по существу, возможно лишь изучение разрешения этих проблем в истории мысли.
- (все цитаты из русской классики)
Сочетаемость слова «проблема»
Сочетаемость слова «разрешение»
- специальное разрешение
официальное разрешение
высокое разрешение - разрешение конфликта
разрешение проблемы
разрешение споров - получение разрешения
выдача разрешений
в ожидании разрешения - разрешение имеется
разрешение пришло - получить разрешение
не спрашивать разрешения
просить разрешения - (полная таблица сочетаемости)
Понятия, связанные со словосочетанием «проблема разрешения»
-
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
-
Детерминированность (от лат. determinans — определяющий) — определяемость. Детерминированность может подразумевать определяемость на общегносеологическом уровне или для конкретного алгоритма. Под жёсткой детерминированностью процессов в мире понимается однозначная предопределённость, то есть у каждого следствия есть строго определённая причина. В таком смысле является антонимом стохастичности. Но детерминированность не всегда тождественна предопределённости. Например, может быть детерминированность...
-
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
-
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
-
Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
- (все понятия)
Афоризмы русских писателей со словом «проблема»
- Смерть решает все проблемы. Нет человека и нет проблем.
- Борьба между разумом и тьмою, созиданием и разрушением, добром и злом, жизнью и смертью — главные проблемы человечества и главные проблемы современной литературы!
- Мир испытывает дефицит совести ныне. Это общечеловеческая проблема.
- (все афоризмы русских писателей)
Отправить комментарий
Предложения со словосочетанием «проблема разрешения»
Реалии жизни актуализируют проблему разрешения возникающих коллизий в национальных сообществах «здесь и сейчас» – как сохранить рабочие места в условиях кризиса, защитить интересы самых незащищённых социальных слоёв, обеспечить стабильность и устойчивость общества и т. п.
Что касается проблемы разрешения парадоксов, то они не могут, по-видимому, быть «разрешены» в рамках существующих формальных систем, а вопрос о пользе построения формальных систем, в которых подобные парадоксы не возникают, зависит от доказательных возможностей подобных систем [Френкель, Бар-Хиллел, 1966].
Скажу только, что его – воспитанника, апологета и продолжателя рафинированной немецкой философии бытия – занимали более проблемы разрешения противоречий, таящихся в существующих, прошедших через века идеях, нежели создание новых учений.
- (все предложения)
Синонимы к словосочетанию «проблема разрешения»
- фундаментальная проблема
- решение проблем
- проблема соотношения
- центральная проблема
- общая проблема
- (ещё синонимы...)