Обсуждение:Примеры неразрешимых задач: задача о выводе в полусистеме Туэ

☐ англоязычные термины

☐ нормальные русские и английские источники

☐ мне кажется, здесь должен быть значок , а не

☐ "Система команд" щито?

☐ "В исчислении S(T)" — что такое S(T)?

☐ "за конечное число тактов.(1)" ?? что за 1

☐ "правильновычисляющую", "унивирсальный", "распознования"

☐ S(U) какой-то. Короче, здесь надо вее внимательно вычитать, осознать и написать нормально заново. --Дмитрий Герасимов 13:22, 9 декабря 2012 (GST)

Навигация