Формально об алгоритмах. Вычислительные модели/Задачи/ex-unsolvable-exists — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена Решенные задачи]] на Нерешенные задачи)
(Массовая правка: замена [[Категория:Нерешенные задачи на [[Категория:Нерешенные задачи]])
Строка 5: Строка 5:
 
<!--Вообще-то, решения уже есть-->
 
<!--Вообще-то, решения уже есть-->
  
[[Категория:Нерешенные задачи
+
[[Категория:Нерешенные задачи]]

Версия 17:24, 25 апреля 2018

Докажите, что существуют невычислимые по Тьюрингу функции y=f(x), используя мощностные соображения.