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

Версия 17:37, 20 декабря 2012

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