Какія будутъ предположенія-съ?
Цитата: Λυζτα μανιὰε от января 4, 2013, 23:45
Какія будутъ предположенія-съ?
Пить надо меньше.
Цитата: sasza от января 5, 2013, 00:10
Цитата: Λυζτα μανιὰε от января 4, 2013, 23:45
Какія будутъ предположенія-съ?
Пить надо меньше.
Это не предположение, а жизненная установка.
Цитата: sasza от января 5, 2013, 00:10
Пить надо меньше.
Пить не надо больше 8-)
Лингвист.
На тойву похож
Говорятъ, что я являюсь клономъ. А чьимъ, не говорятъ! Интересно-жѣ!
Цитата: sasza от января 5, 2013, 00:10
Пить надо меньше.
Я-съ вѣдь не кактусъ, усохну! :(
А я знаю!
Луста, выдать тебя, что ли?
Да Гарри Потер это... на аватере ж лицо)))
Конечно, похоже. Стал бы я делать столько ошибок в старой орфографии... :what:
:umnik:Перекинулся через пенёк - стал...
У меня другой клон, Sneguro4ko.
Таю, таю!.. :'( Столько тысяч лет прожила и вот... Как тебе не совестно!! :(
...
Цитата: Λυζτα μανιὰε от января 4, 2013, 23:45
Кто я?
Какія будутъ предположенія-съ?
Мэрайя, ты? :???
Аштрипэочетыре — Менашше?
:D
А что, нет? Символы, химия, орфография, знание про Марайю...
Кто про Мэрайю (http://ru.wikipedia.org/wiki/%D0%9A%D1%8D%D1%80%D0%B8,_%D0%9C%D1%8D%D1%80%D0%B0%D0%B9%D1%8F) не знает. Такая милая!‥
Цитата: arseniiv от января 6, 2013, 19:49
У меня другой клон, Sneguro4ko.
И не только! :P
Да, да, вертолетик знает все... ;D
Остальных не забанили.
Остальные образуют неразрешимое множество.
неразрешимое — это которое нельзя задать конечным алгоритмом? или проверить принадлежность элемента к нему конечным алгоритмом?
В таком случае, вообще-то оно разрешимо.
(Бесконечных алгоритмов не бывает.)
Разрешимое — существует алгоритм, который для каждого входа завершается и определяет, принадлежит ли он множеству.
Перечислимое — существует алгоритм, перечисляющий элементы данного множества.
Первое всегда и последнее, но не наоборот. Разрешимость перечислимого эквивалентна разрешимости его дополнения.
Цитата: Вадимий от января 6, 2013, 20:54
В таком случае, вообще-то оно разрешимо.
Нет (практически)! В том-то вся фишка. Если попытаться, то на ЛФ настанет регистрационная сингулярность — будет регистрироваться всё больше и больше пользователей, мешая вычислению.
Кошмаръ.
Цитата: arseniiv от января 6, 2013, 20:58
(Бесконечных алгоритмов не бывает.)
Возвращающим результат за конечное число шагов.
А что за дополнение?
Цитата: arseniiv от января 6, 2013, 20:59
Нет (практически)! В том-то вся фишка. Если попытаться, то на ЛФ настанет регистрационная сингулярность — будет регистрироваться всё больше и больше пользователей, мешая вычислению.
Кошмаръ.
Поставил плюсик. :
D
Цитата: Вадимий от января 6, 2013, 21:00
А что за дополнение?
Как бы алгоритм не представлялся, в каком бы виде (машиной ли Тьюринга (а они разные бывают), комбинаторами или ещё как), на вход он может принимать только определённое множество объектов, в которые данное множество отображается инъективно — разные образы у разных элементов — насчёт множества этих образов он и говорит. Т. к. множество всех возможных входных значений существует, то разность его и множества образов исследуемого множества тоже существует. Вот это и есть его дополнение.
Дополнение
![\bar A [tex]\bar A[/tex]](https://latex.codecogs.com/png.latex?\bar A)
— это вычитание
![U\setminus A [tex]U\setminus A[/tex]](https://latex.codecogs.com/png.latex?U\setminus A)
из какого-то «большого» множества
![U [tex]U[/tex]](https://latex.codecogs.com/png.latex?U)
, заранее указанного (притом хорошим тоном будет, если
![A\subset U [tex]A\subset U[/tex]](https://latex.codecogs.com/png.latex?A\subset U)
— тогда обязательно работает
![\bar A \cup A = U [tex]\bar A \cup A = U[/tex]](https://latex.codecogs.com/png.latex?\bar A \cup A = U)
). Хотя может быть и просто дополнение — тогда это вычитание из класса всех множеств, но это только в теориях с классами.
Например, машина Тьюринга с бесконечной в одну сторону лентой принимает на вход строки, соответствующие регулярному выражению
(0+A+)*, где
A — любой символ алфавита машины,
0 — символ-заполнитель, который иногда включают в алфавит, иногда — вроде нет, и это единственный символ, заполняющий бесконечное кол-во ячеек ленты (справа от какой-то существующей позиции на ней).
Заметим, что множество всех входных объектов разрешимо.
Скорпион?
В подписи «леди гага» — Драже?
Таки АрсенийВ. Он просто своих клонов не сдаёт.
Цитата: Валентин Н от января 10, 2013, 17:12
В подписи «леди гага» — Драже?
Где это? Ну так то я и есть. ;D Просто выянилось, что всякие сербы, хорваты и иже с ними сокращают это имя как Гага. Ну, типа у нас Мария-Маша, а у них Драгана-Гага. ;D
Леди Гага и Леди Гаrа - не одно и то жѣ!
О, там latin small letter R...