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

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

Версия 22:53, 9 мая 2018

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