Лингвофорум

Цитата: arseniiv от января  6, 2013, 19:49
У меня другой клон, Sneguro4ko.

И не только! 

Да, да, вертолетик знает все...

Цитата: Драгана от января  6, 2013, 20:19
И не только! 

Того забанили же.

Остальных не забанили.

Остальные образуют неразрешимое множество.

неразрешимое — это которое нельзя задать конечным алгоритмом? или проверить принадлежность элемента к нему конечным алгоритмом?

В таком случае, вообще-то оно разрешимо.

(Бесконечных алгоритмов не бывает.)

Разрешимое — существует алгоритм, который для каждого входа завершается и определяет, принадлежит ли он множеству.
Перечислимое — существует алгоритм, перечисляющий элементы данного множества.
Первое всегда и последнее, но не наоборот. Разрешимость перечислимого эквивалентна разрешимости его дополнения.

Цитата: Вадимий от января  6, 2013, 20:54
В таком случае, вообще-то оно разрешимо.

Нет (практически)! В том-то вся фишка. Если попытаться, то на ЛФ настанет регистрационная сингулярность — будет регистрироваться всё больше и больше пользователей, мешая вычислению.

Кошмаръ.

Цитата: arseniiv от января  6, 2013, 20:58
(Бесконечных алгоритмов не бывает.)

Возвращающим результат за конечное число шагов.

А что за дополнение?

Цитата: arseniiv от января  6, 2013, 20:59
Нет (практически)! В том-то вся фишка. Если попытаться, то на ЛФ настанет регистрационная сингулярность — будет регистрироваться всё больше и больше пользователей, мешая вычислению.

Кошмаръ.

Поставил плюсик. :D

Цитата: Вадимий от января  6, 2013, 21:00
А что за дополнение?

Как бы алгоритм не представлялся, в каком бы виде (машиной ли Тьюринга (а они разные бывают), комбинаторами или ещё как), на вход он может принимать только определённое множество объектов, в которые данное множество отображается инъективно — разные образы у разных элементов — насчёт множества этих образов он и говорит. Т. к. множество всех возможных входных значений существует, то разность его и множества образов исследуемого множества тоже существует. Вот это и есть его дополнение.

Дополнение — это вычитание из какого-то «большого» множества , заранее указанного (притом хорошим тоном будет, если — тогда обязательно работает ). Хотя может быть и просто дополнение — тогда это вычитание из класса всех множеств, но это только в теориях с классами.

Например, машина Тьюринга с бесконечной в одну сторону лентой принимает на вход строки, соответствующие регулярному выражению (0+A+)*, где A — любой символ алфавита машины, 0 — символ-заполнитель, который иногда включают в алфавит, иногда — вроде нет, и это единственный символ, заполняющий бесконечное кол-во ячеек ленты (справа от какой-то существующей позиции на ней).

Заметим, что множество всех входных объектов разрешимо.

Цитата: Hübschräuber от января  6, 2013, 19:16
¿Arseniiv?

Не попали-съ.

Цитата: H₃PO₄ от января  6, 2013, 19:53
Мэрайя, ты?

Кто-съ?

Скорпион?

В подписи «леди гага» — Драже?

Таки АрсенийВ. Он просто своих клонов не сдаёт.

Цитата: Валентин Н от января 10, 2013, 17:12
В подписи «леди гага» — Драже?

Где это? Ну так то я и есть.  Просто выянилось, что всякие сербы, хорваты и иже с ними сокращают это имя как Гага. Ну, типа у нас Мария-Маша, а у них Драгана-Гага. 

Цитата: Драгана от января 10, 2013, 19:09
Где это?

Цитата: Λυζτα μανιὰε от января 10, 2013, 17:01
Леди Гаrа

Леди Гага и Леди Гаrа - не одно и то жѣ!

О, там latin small letter R...