Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом доказательство-тьюринг-машины
0
голосов
0
ответов
Доказательством сокращения является то, что Универсальный язык не является рекурсивным, используя дополнение языка Диагонализации
michafranz
/
08 января 2020
доказательство-тьюринг-машины
сокращения
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...