Результаты поиска

...бротом]] в 1950 году<ref>''Трахтенброт Б. А.'' Невозможность алгорифма для проблемы разрешимости на конечных классах // Доклады АН СССР, — 1950. — Т. 70, № 4. [[Категория:Неразрешимые проблемы]] ...

...принимал в качестве входных данных описание любой [[Проблема разрешимости|проблемы разрешимости]] (формального языка и математического утверждения «<math>S</m ...я на то, что доказательства (и опровержения) пока неизвестны. Нерешаемость проблемы разрешения (неразрешимость множества истинных формул арифметики) для языка ...

...е Тьюринга]]. Другими словами, не существует общего алгоритма решения этой проблемы<ref>{{source|Q25864184|ref=Turing|ref-year=1937}} <!-- On Computable Number ...придем к противоречию, ведь известно, что не существует алгоритма решения проблемы остановки. А значит, предположение было неверным и исходная задача также не ...

...мёнов, Алексей Львович|Семёнов А. Л.]] Решимые и нерешимые алгоритмические проблемы. // [[Квант (журнал)|Квант]], 1985, № 7, с. 9 — 15</ref>, теории передачи и ...ти алгоритмического разрешения многих математических проблем (в частности, проблемы выводимости в [[исчисление предикатов|исчислении предикатов]]) вызвало необ ...

...hwartz}}</ref>. Математическая гипотеза является [[Открытые математические проблемы|открытой математической проблемой]], и каждую нерешённую математическую про === Неразрешимые гипотезы === ...

...В 1953 году он опубликовал работу, в которой наметил путь решения десятой проблемы в [[Натуральные числа|натуральных числах]]. ...ежащих к этому множеству: поскольку среди перечислимых множеств содержатся неразрешимые, то, взяв неразрешимое множество <math>M</math> за основу, невозможно было ...

...квантовых состояний. В частности, проблемы, [[Алгоритмическая разрешимость|неразрешимые]] на классических компьютерах (например, [[проблема остановки]]), остаются ...

'''Деся́тая пробле́ма Ги́льберта''' — одна из [[Проблемы Гильберта|23 задач]], которые [[Гильберт, Давид|Давид Гильберт]] предложил |часть = § 36. Неразрешимые алгоритмические проблемы ...

Из формулировки проблемы видно, что она тесно связана с практически важной задачей нахождения [[Площ ... э.) вопрос о площади круга не затрагивается. Важным этапом в исследовании проблемы стало сочинение Архимеда «Измерение круга», в котором впервые строго доказа ...

...лизация понятия алгоритма началась с попыток решения [[Проблема разрешения|проблемы разрешения]] ({{lang-de|Entscheidungsproblem}}), которую сформулировал [[Да ...от которого так и называется — «Использование нового алгоритма для решения проблемы Пелля» (''De usu novi algorithmi in problemate Pelliano solvendo''). Мы вид ...

...ина ещё только становилась<ref>{{Из КНЭ|2|485|Информатика}}</ref>, и такие проблемы были обычным явлением. ...лений и вычислимости, и доказательство того, что существуют алгоритмически неразрешимые задачи{{sfn|Computer Science: Achievements and Challenges circa 2000|2000}} ...

...завершению и что в ней осталось исследовать лишь некоторые незначительные проблемы. Впрочем, этот разговор не повлиял на желание Планка стать теоретиком{{sfn| ...е Аррениусом]]; последний приезжал к Планку в Киль, чтобы обсудить научные проблемы. 31 марта [[1887 год]]а Макс Планк, который теперь был вполне обеспечен фин ...