|
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 10 ноя 18 10:13
Изменено: 10 ноя 18 10:14
|
Автор: гость ВАш тезис является CЛИШКОМ сильным, а потому подозрительным. |
|
Это не тезис, это доказанная теорема. Обсуждать тут нечего. Но если машины безостановочные, то рассматривать нужно динамическую запись на единой ленте - и если ее вид определяется тем, что машины асинхронны и 'в какие-то моменты' независимы, то как возможна унитарная машина, эмулирующая 'истинную' асинхронность и независимость компонентов в себе? |
|
Проблема останова машины Тьюринга это другая проблема. Теорема о сведении как раз и говорит нам что нет проблемы останова N машин Тьюринга. Это всегда сводимо к останову 1й машины Тьюринга. ]
|
|
|
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 10 ноя 18 15:31
|
Автор: гость
миха громко кричит про достаточность слабости, но втихаря размышляет над усилением..
|
|
Я не рассуждаю. Я привел пример, но вовсе не советую заниматься этой хуетой - тем, что вы тут называете усилением, так как столкнетесь с проблемой человеческой руки - эффективным эффектором. Не ебите себе мозг фантазиями. Вот так вот философы философят: кто-то чего--то сказал, это надо вырвать из контекста и переврать и в кандидатскую диссертацию тащить сразу. Уёбки!
|
|
|
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 2:56
|
кусь> это доказанная теорема
не надо мантр - вас просят привести ее точную формулировку чтобы вы сами соотнеслись со своей же неверной формулировкой. НЕ 'любая' система машин эквивалентна (cводима к) одной машине. Даже в узком смысле возникают осложнения. Машина как система рекурсивных функций. Вот две машины объединяются коммуникационной лентой (а в критпологии можно ставить задасу на то, чтобы общение алисы-боба было бы максимально затрудненно к представлению его одним алгоритмом), для каждой машины возникает как бы внешняя рекурсия, - положим, что каким-то образом обнаруживается эквивалентный алгоритм, но сразу возникает возможность спаривания такой расширенной машины. И опять надо ждать пока 'откуда-то' не возникнет унитарное расширение на внешнюю рекурсию. КАк бы идеальное (абстракное) утверждение о сводимости (при упрощенном понятии система) оказывается реаалистически не верным в смысле конструктивной неэквивалентности.
не об останове идет речь, если алгоритм безостановочный 'по-заданию'. речь о том, что динамический паттерн на ленте при асинхронности машин не эквивалентен паттерну при его тактированном формировании. ----------
мих> вовсе не советую
ну, ваших советов же никто не спрашивал. - у всех своя голова на плечах, и во многих головах много больше всякого чем у вас одного кущего воронцова..
> Не ебите себе мозг
ну, вас выебал воронцов и вам уподобляться в уьогом понимании вопроса не так много желающих..
> Уёбки!
темперамент михи восхитителен - не часто встречается такой уебистый ушлепок..
|
|
|
| |
| |
| |
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:31
|
Автор: Разум_Возмущёный
Традиционный srach на тему "композиция автоматов - автомат / неавтомат". Прелестно.)))
Особенно про неавтоматность рекурсивных функций повеселило. Обычное мошенничество с бесконечным стеком новых состояний. |
|
Все что выполнено на Машине Тьюринга есть конечный автомат. Тут тот случай когда большая мысль большого мыслителя не влезает в маленькую книжку по основам. Такое плохо лечиться.
|
|
|
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:39
|
кусь>
даже если вы в десятый раз повторите мантру ничего не изменится - точная формулировка теоремы не подводится под вашу формулировку 'любая система'. МАшина-тьюринговой теории всего не существует. Потом, вам указано на более общую теорему (митчелл), опровергающую частный случай.
> Только в вашем воображении.
нет. Любому такту унитарной машины можно противоставить множество долей такта при асинхронном формировании паттерна коллективом в физическом (условно непрерывном) времени. ИМенно поэтому интуитивно понятна истинность того, что parOR не эквивалентна segOR. --------
еще раз - просто приведите точную формулировку теоремы и вникните в допущения принятые при ее доказательстве. А потом отмените эти допущения.
|
|
|
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:45
|
рв> мошенничество с бесконечным стеком новых состояний.
не большее мошенничество чем с бесконечной лентой и утверждением что дискретное представление эквивалентно непрерывному вне котельнических ограничений. Коллективные состояния могут быть неустойчивыми - одно это проблематизирует соотв. эквивалентную унитарную машину/автомат (как нечто определенное).
|
|
|
| |
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:55
|
Автор: гость
Коллективные состояния могут быть неустойчивыми - одно это проблематизирует соотв. эквивалентную унитарную машину/автомат (как нечто определенное). |
|
Чел утомляешь. Тут доказательство теоремы 3 строчки. Способна ли произвольная машина Тьюринга порождать бесконечные непериодические последовательности? Нет. Может ли произведение N конечных последовательностей дате бесконечную непериодическую последовательность? Нет. Представима ли любая конечная последовательность с помощью одной машины Тьюринга? Да.
|
|
|
| |
|
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 5:32
|
а ты чело не утомляйся - просто приведи точную формулировку, вернись к основам и перестань воспринимать их догматически, недопонятость (cверхобобщение) превращать в основу для неверных утверждений и холивара.
число пи есть бесконечное и непериодическое. Есть компактные алгоритмы (эллиптические разложения) по быстрому вычислению все более далеких знаков этого иррационального числа. 'произведение' никак не эквивалентно понятию 'любая система композиции'. итак, - 'доказательство' некорректно.
возможно вы имеете в виду положение что композиция (некоего канонического вида) конечных машин эквивалента машине с полубесконечной (или экспоненциально большой) лентой, - но речь идет о любой системе машин (не конечных автоматов, а с бесконечными лентами, куда влазят и бесконечные таблицы неуниверсальных машин).
|
|
|
| |
| |
|