GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.3 (6)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Кусаюсь
Сообщений: 974
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 10 ноя 18 10:13
Изменено: 10 ноя 18 10:14
Цитата:
Автор: гость
ВАш тезис является CЛИШКОМ сильным, а потому подозрительным.

Это не тезис, это доказанная теорема. Обсуждать тут нечего.


Цитата:
Но если машины безостановочные, то рассматривать нужно динамическую запись на единой ленте - и если ее вид определяется тем, что машины асинхронны и 'в какие-то моменты' независимы, то как возможна унитарная машина, эмулирующая 'истинную' асинхронность и независимость компонентов в себе?


Проблема останова машины Тьюринга это другая проблема. Теорема о сведении как раз и говорит нам что нет проблемы останова N машин Тьюринга. Это всегда сводимо к останову 1й машины Тьюринга.
]
[Ответ][Цитата]
Михайло
Сообщений: 2366
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 10 ноя 18 15:31
Цитата:
Автор: гость

миха громко кричит про достаточность слабости, но втихаря размышляет над усилением..

Я не рассуждаю. Я привел пример, но вовсе не советую заниматься этой хуетой - тем, что вы тут называете усилением, так как столкнетесь с проблемой человеческой руки - эффективным эффектором. Не ебите себе мозг фантазиями.

Вот так вот философы философят: кто-то чего--то сказал, это надо вырвать из контекста и переврать и в кандидатскую диссертацию тащить сразу. Уёбки!
[Ответ][Цитата]
гость
188.170.74.*
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 2:56

кусь> это доказанная теорема

не надо мантр - вас просят привести ее точную формулировку чтобы вы сами соотнеслись со своей же неверной формулировкой. НЕ 'любая' система машин эквивалентна (cводима к) одной машине. Даже в узком смысле возникают осложнения. Машина как система рекурсивных функций. Вот две машины объединяются коммуникационной лентой (а в критпологии можно ставить задасу на то, чтобы общение алисы-боба было бы максимально затрудненно к представлению его одним алгоритмом), для каждой машины возникает как бы внешняя рекурсия, - положим, что каким-то образом обнаруживается эквивалентный алгоритм, но сразу возникает возможность спаривания такой расширенной машины. И опять надо ждать пока 'откуда-то' не возникнет унитарное расширение на внешнюю рекурсию. КАк бы идеальное (абстракное) утверждение о сводимости (при упрощенном понятии система)
оказывается реаалистически не верным в смысле конструктивной неэквивалентности.

не об останове идет речь, если алгоритм безостановочный 'по-заданию'. речь о том, что динамический паттерн на ленте при асинхронности машин не эквивалентен паттерну при его тактированном формировании.
----------

мих> вовсе не советую

ну, ваших советов же никто не спрашивал. - у всех своя голова на плечах, и во многих головах много больше всякого чем у вас одного кущего воронцова..

> Не ебите себе мозг

ну, вас выебал воронцов и вам уподобляться в уьогом понимании вопроса не так много желающих..

> Уёбки!

темперамент михи восхитителен - не часто встречается такой уебистый ушлепок..
[Ответ][Цитата]
гость
188.170.74.*
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 3:09
вообще миха выглядит засланным казачком - косит под дурня и болтает про слабые представления, но проговаривается за усиление.. наверное уже понял каким идиотом он выглядит коли полагает воронцова исчерпывающим предмет, но по инерции пиздит и пиздит, чтобы никто не догадался..
[Ответ][Цитата]
Разум_Возмущёный
Сообщений: 488
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:22
Изменено: 11 ноя 18 4:29
Традиционный srach на тему "композиция автоматов - автомат / неавтомат". Прелестно.)))

Особенно про неавтоматность рекурсивных функций повеселило. Обычное мошенничество с бесконечным стеком новых состояний.
[Ответ][Цитата]
Кусаюсь
Сообщений: 974
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:23
Цитата:
Автор: гость
НЕ 'любая' система машин эквивалентна (cводима к) одной машине. Даже в узком смысле возникают осложнения.

Любая. Это доказанная теорема.

Цитата:
речь о том, что динамический паттерн на ленте при асинхронности машин не эквивалентен паттерну при его тактированном формировании.

Только в вашем воображении.

[Ответ][Цитата]
Кусаюсь
Сообщений: 974
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:31
Цитата:
Автор: Разум_Возмущёный

Традиционный srach на тему "композиция автоматов - автомат / неавтомат". Прелестно.)))

Особенно про неавтоматность рекурсивных функций повеселило. Обычное мошенничество с бесконечным стеком новых состояний.

Все что выполнено на Машине Тьюринга есть конечный автомат.

Тут тот случай когда большая мысль большого мыслителя не влезает в маленькую книжку по основам. Такое плохо лечиться.
[Ответ][Цитата]
гость
188.170.74.*
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:39
кусь>

даже если вы в десятый раз повторите мантру ничего не изменится - точная формулировка теоремы не подводится под вашу формулировку 'любая система'. МАшина-тьюринговой теории всего не существует. Потом, вам указано на более общую теорему (митчелл), опровергающую частный случай.

> Только в вашем воображении.

нет. Любому такту унитарной машины можно противоставить множество долей такта при асинхронном формировании паттерна коллективом в физическом (условно непрерывном) времени. ИМенно поэтому интуитивно понятна истинность того, что parOR не эквивалентна segOR.
--------

еще раз - просто приведите точную формулировку теоремы и вникните в допущения принятые при ее доказательстве. А потом отмените эти допущения.
[Ответ][Цитата]
гость
188.170.74.*
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:45
рв> мошенничество с бесконечным стеком новых состояний.

не большее мошенничество чем с бесконечной лентой и утверждением что дискретное представление эквивалентно непрерывному вне котельнических ограничений. Коллективные состояния могут быть неустойчивыми - одно это проблематизирует соотв. эквивалентную унитарную машину/автомат (как нечто определенное).
[Ответ][Цитата]
гость
188.170.74.*
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:50
кусь> маленькую книжку по основам.

наверное надо лечиться тому, кто ЧАСТНЫЕ основы принимает за основы всего.. потом, может быть вы все-таки приведете точную формулировку теоремы из 'основ', чтобы ваша позиция не выглядела как городская легенда со времен недопонятого изучения основ..
[Ответ][Цитата]
Кусаюсь
Сообщений: 974
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 4:55
Цитата:
Автор: гость

Коллективные состояния могут быть неустойчивыми - одно это проблематизирует соотв. эквивалентную унитарную машину/автомат (как нечто определенное).


Чел утомляешь. Тут доказательство теоремы 3 строчки. Способна ли произвольная машина Тьюринга порождать бесконечные непериодические последовательности? Нет. Может ли произведение N конечных последовательностей дате бесконечную непериодическую последовательность? Нет. Представима ли любая конечная последовательность с помощью одной машины Тьюринга? Да.
[Ответ][Цитата]
Разум_Возмущёный
Сообщений: 488
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 5:17
Изменено: 11 ноя 18 5:52
Просто есть такая категория граждан способная замутить любую проблему. На этом строятся все религии мира. Как там у классика? "Дурак - это такой ум".
[Ответ][Цитата]
гость
188.170.74.*
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 5:32
а ты чело не утомляйся - просто приведи точную формулировку, вернись к основам и перестань воспринимать их догматически, недопонятость (cверхобобщение) превращать в основу для неверных утверждений и холивара.

число пи есть бесконечное и непериодическое. Есть компактные алгоритмы (эллиптические разложения) по быстрому вычислению все более далеких знаков этого иррационального числа. 'произведение' никак не эквивалентно понятию 'любая система композиции'.
итак, - 'доказательство' некорректно.

возможно вы имеете в виду положение что композиция (некоего канонического вида) конечных машин эквивалента машине с полубесконечной (или экспоненциально большой) лентой, - но речь идет о любой системе машин (не конечных автоматов, а с бесконечными лентами, куда влазят и бесконечные таблицы неуниверсальных машин).

[Ответ][Цитата]
гость
188.170.74.*
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 5:36
рв> Дурак - это такой ум

напр. Нам всем известен дурак с дурацкой интерпретацией комбинаторных невозможностей b полагающий разум угадайцем..
[Ответ][Цитата]
Разум_Возмущёный
Сообщений: 488
На: Ответ Егорову на его "глубокие мысли" о всесилии нейросетей и программировании 2.0
Добавлено: 11 ноя 18 5:54
Изменено: 11 ноя 18 6:45
Ну понеслась "пи" по кочкам... Это в рациональной системе счисления пи - иррациональное число. А вот иррациональной сс по основанию пи очень даже симпатичная рациональная пишная еденица.)))
[Ответ][Цитата]
 Стр.3 (6)1  2  [3]  4  5  6<< < Пред. | След. > >>