Специализация программ с интерпретативным поведением и искусственный интеллект

08 июль 2013 08:06
admin аватар
admin
Посетитель
Посетитель
Автор темы
Специализация программ с интерпретативным поведением и искусственный интеллект #26360
Статья не может быть показана

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

10 июль 2013 17:06
Lmm
Старожил
Старожил
Сообщений: 1326
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26374
Спасибо. Послушал. Удовольствие получил.
Очень непонятно почему.
……………….да, мало ли от чего люди удовольствие получают!

В связи с чем вспомнился преподаватель военной кафедры моего института – майор Вахранёв.

Он, кроме красной морды, прославился, кроме всего прочего (см. анекдот в Приложении), тем, что на институтском мейнфрейме (ЕС ЭВМ) была команда операционки – «майор вахранёв».
Набираешь эту команду и каждый экран монитора, подключённый к ЕС, начинают заполнять слова – «ать два ать два ать два……»
И вот почему после прослушивания семинара, этот самый майор мне вспомнился? Наверное, от того, что на его занятиях всё было предельно четко, ясно и строго по пунктам! А ведь так же, строго по пунктам, научены, своей традицией, излагать и воспринимать материал китайцы. А семинар, кажется, обкатка выступления на конференции в Пекине? Поэтому и майор всплыл.
Майор начинал со слов: «Докладываю цели сегодняшнего занятия».
Далее нумеровал формулировки «задач».
Потом говорил: «Докладываю определения понятий, к материалу занятия»
Далее, кратко каждому термину давал определение.
Потом, в целях решения указанной «задачи», нумеровались «действия командира подразделения».
Неясностей не оставалось вообще!
Кончалось занятие всегда словами: «Товарищи курсанты, занятие законченно, материал в необходимом объеме доведён, цели занятия, считаю, достигнуты»

На самом деле, сидишь за монитором ищешь ошибку в программе, и вдруг – «ать два ать два ……». А ведь это полезно! Это лишний раз напоминает – внутри компьютера всё чётко и логично (как на занятиях у товарища Вахранёва, да и равно как и во всей природе), путаница если где, то только в мозгах.
И мне, почему-то, кажется, что нынешним студентам, например, несомненного передового факультета свободных искусств и наук, очень даже пригодились бы занятия по военной подготовке от товарища Вахранёва. А вдруг, кому то из студентов так же потребуется передать свои свободно-научные мироощущения китайским товарищам.
Да, кажется, к «воспитанию», по крайней мере, одного нобелевского лауреата (Новосёлова) майор Вахранёв характерный военно-китайский способ познания успешно приложил.


Анекдот (но мужики, говорили, что история реальная):
«Идет полковник Сеченов по казарме мимо туалета, смотрит - висит
огнетушитель с вышедшим сроком годности. - Дай, - думает -
проверю. Снимает огнетушитель и сворачивает ему голову. Из
огнетушителя бьят мощная струя - Сеченов пугается, направляет
струю в толчок и кричит: "Помогите!!! ". Мимо проходит майор
Вахранев, видит - полковник Сеченов толчок тушит, хватает
второй огнетушитель, срывает предохранитель и направлять струю в
унитаз».

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

10 июль 2013 17:44 10 июль 2013 17:58 от Хмур.
Хмур
Модератор
Модератор
Сообщений: 3531
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26375
понятно, на крик докладчика 'помогите!' вы сорвали второй огнетушитель и направили струю сюда
аки в толчок.. стоило ли так напрягаться?

молоток везде ищет гвоздь, а задница - толчок..

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 12:49 11 июль 2013 13:09 от Lmm.
Lmm
Старожил
Старожил
Сообщений: 1326
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26376

Хмур пишет: понятно, на крик докладчика 'помогите!' вы сорвали второй огнетушитель и направили струю сюда
аки в толчок.. стоило ли так напрягаться?

молоток везде ищет гвоздь, а задница - толчок..


Дык, я бы с радостью как-то, может, помог (например, бредовой идеей в виде байки «в тему»), ежели бы товарищ как-то обозначил свою задачу. Чего господин собственно хочуть? Прибор какой полезный стараются сделать или новый закон природы обрисовать формально?
Вроде чувствуется - человек хороший, искренне что-то старается. Он что именно? На мой взгляд, зацепиться не за что.
Вот и решил посоветовать докладчику задачу, данную ему в чувственных ощущениях, попытаться сформулировать по пунктам, разложить на подзадачи, и хорошо-бы, в сколько-нибудь поддающихся определению терминах. Я, конечно, понимаю, что у него это удовлетворительно не получится. (постановка задачи - 90% её решения, была бы у него хорошая постановка он бы воздух университетской аудитории не сотрясал).
Но, хоть в чём-то можно же пойти навстречу слушателям?!

Мы на форуме все пишем «для себя» (безусловно, и это сообщение туда-же).
Однако, другое дело собрать аудиторию и выступить для себя................ собственно, этим мне выступление и понравилось- форумное "творчество" баритоном в массы.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 13:01
Хмур
Модератор
Модератор
Сообщений: 3531
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26377
Lmm> ..как и во всей природе

ну, 'логика' квантового мира довольно странная, всякие там перепутанности..
экологическая логика кажется логичной ну с очень птичьего полета..
логика самой войны тоже вещь очень неформальная, руководящие советы тех же
китайский товарищей по искусcтву войны нужно понимать, похоже, очень творчески..
вообще, логика всяких пертурбационных процессов кажется игрой случая.. постфактум
все кажется логичным..

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 13:13 11 июль 2013 13:29 от Хмур.
Хмур
Модератор
Модератор
Сообщений: 3531
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26378
Lmm> Чего господин собственно хочуть?

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


ну, вот, прямо сейчас и потока публикаций что проходит через меня вылавил для примера работу
iacp.dvo.ru/is/publications/SAIT-2007_Knyazeva_Timchenko.pdf
которая дает некоторое представление о более конкретном пласте проблематики (эти дальневосточные
ребята совсем не упоминают общую теорию, но это не значит что она не имеет значения и что они не
подчинены ей..)

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 13:28 11 июль 2013 13:31 от Lmm.
Lmm
Старожил
Старожил
Сообщений: 1326
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26379
> ну, 'логика' квантового мира довольно странная, всякие там перепутанности..
> экологическая логика кажется логичной ну с очень птичьего полета..

Спасибо. Это да. Не все параметры всегда «не свободны». Такое чувство, что где-то есть причина разнообразия, возникают случайные ветвления, остаётся место «свободе воли», и особенно у высокосложных природных объектов. Больше связей в предразрывном состоянии – больше мутаций. Но, есть суровое ограничение: то чего быть не может – быть не может. Эдакая логика (физика) допустимого.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 13:51 11 июль 2013 13:52 от Lmm.
Lmm
Старожил
Старожил
Сообщений: 1326
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26380

Хмур пишет:
ну, вот, прямо сейчас и потока публикаций что проходит через меня вылавил для примера работу
iacp.dvo.ru/is/publications/SAIT-2007_Knyazeva_Timchenko.pdf


Пример хороший, чувствуется, что у ребят с востока военная кафедра в институте была!
У них с постановкой задачи всё чётко, никаких "извилин" не предполагается:
В настоящее время разрабатывается также Открытая распараллеливающая система,
предназначенная для автоматического распараллеливания программ с процедурных языков
программирования (Фортран, Паскаль, Си)
на параллельные компьютеры, ориентированные на математические вычисления.
Внутреннее представление программ в этой системе представляет собой универсальную структуру данных для хранения информации о программе, а также базис для построения и анализа информационных зависимостей в программе , написания преобразований программ и алгоритмы, облегчающие их выполнение

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 13:52
Хмур
Модератор
Модератор
Сообщений: 3531
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26381
Lmm> чего быть не может – быть не может

да, конечно.. но ведь это аналитическое суждение, тавтология.. применять антиномиягенный чистый разум
к эмпирике, синтетике, практике нужно очень осторожно.. представления о том, что возможно, а что невозможно
все-таки переменчивы.. мы же склонны постфактум переопределить базовые регулятивы так, чтобы 'очевидности',
данные в терминах этих регулятивов не поменяли своих формулировок.. энергия это то что ПО ОПРЕДЕЛЕНИЮ
сохраняется.. алгоритм ПО ОПРЕДЕЛЕНИЮ (постулату) есть то, что канонически представимо.. хотя, скажем,
если описывать быстрые, виртуальные процессы, то энергия локально НЕ сохраняется, энтропия локально НЕ
растет (самопроизвольно), топология пространства локально флуктуирует.. как бы виртуально, потенциально
может быть всё, но актуально есть запреты (что маловероятно, то не происходит).

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 13:57
Хмур
Модератор
Модератор
Сообщений: 3531
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26382
> никаких "извилин" не предполагается

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

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 23:53
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26383
Ой так забавно наблюдать свои собственные блуждания многолетней давности ))) Пусть чел напишет мене, дам ему ссылку на машину его мечты. Только к сожалению формальная логика в данном вопросе не помощник. Приходит дядя Гёдель и все рушит. С компанией более мелких товарищей.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 июль 2013 23:59
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26384

Хмур пишет: энергия это то что ПО ОПРЕДЕЛЕНИЮ
сохраняется.. алгоритм ПО ОПРЕДЕЛЕНИЮ (постулату) есть то, что канонически представимо.. хотя, скажем,
если описывать быстрые, виртуальные процессы, то энергия локально НЕ сохраняется, энтропия локально НЕ
растет (самопроизвольно), топология пространства локально флуктуирует..

Ага и черепаха локально удерает от страуса )))

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

12 июль 2013 11:23
Хмур
Модератор
Модератор
Сообщений: 3531
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26385
Lex> Гедель всуе

ну, во1х, гедель это про ФИКСИРОВАННЫЕ формальные системы, речь идет о логике программ в смысле изменяющихся систем. Когда одна программа изменяет другую это есть изменение состава аксиом для системы, определенной как совокупность программ (за вычетом изменяющей). Притом, что в общем случае имплементированная программа не является строго формальным объектом. Т.е. неформальные эффекты исполнения могут отображаться в программе. Вообще, система взаимодействующих программ не является строго формальным объектом, если слишком ЖЕСТКО не ограничивать систему (как это имеет место в стандартных системах межпрограммного взаимодействия). В рамках того же СИИ есть проекты машин многоуровневой динамической (изменяющейся) логики.
А во2х, гедель это про гильбертовы, расселовы формализмы. Могут быть предложены (и предложены) более развитые формализмы (см. напр. Хинтикку), формализмы с 'необычным' синтаксисом (описывающем неопределнность во взаимодействии кванторов), в рамках которых геделева история выглядит по-другому.
В3х, если рассматривать полуформальные, проинтерпретированные системы, то в рамках таких систем неопределенность (расширяющая формальное поведение) возникает из-за взаимодействия синтаксической и семантической подсистем, языка и модели, которые, разумеется, могут быть имплементированными.

cсылку можно сделать общественным достоянием. Машина мечты это всем интересно.

> локально

да, речь идет о ЛОКАЛЬНО формальных системах, поэтому геделевы ограничения не являются глобальными. Разумеется, черепаха локально (до истечения предельного времени) действительно удирает от ахиллеса. И в виртуальной области нет необходимости подчиняться закону сохранения энергии. Эти примерно как в бухгалтерии. -внешние, отчетные, итоговые балансы это одно, а внутреннее движение средств - это совсем другая и гораздо более интересная история..

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

15 июль 2013 13:47
Inex
Модератор
Модератор
Сообщений: 1249
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26411

Хмур пишет: cсылку можно сделать общественным достоянием. Машина мечты это всем интересно.


+1

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

15 июль 2013 13:50
Inex
Модератор
Модератор
Сообщений: 1249
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26412

Lex пишет: Приходит дядя Гёдель и все рушит.

ну, докладчик (правда, вроде не на семинаре, а в кулуарах) на Гёделя тоже ссылался... правда, имхо, Гёдель не вполне релевантен

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

15 июль 2013 14:51
Хмур
Модератор
Модератор
Сообщений: 3531
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26414
Inex> +1

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

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

15 июль 2013 15:27
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26416

Inex пишет:

Lex пишет: Приходит дядя Гёдель и все рушит.

ну, докладчик (правда, вроде не на семинаре, а в кулуарах) на Гёделя тоже ссылался... правда, имхо, Гёдель не вполне релевантен

Гёдель более чем релевантен. Посмотрите доказательство выложенное на этом самом форуме. Там дядечка сразу говорить что Гёдель приходит в ЛЮБУЮ формальную систему если она ДОСТАТОЧНО СЛОЖНА. С ростом сложности системы Гёдель только набирает силы. Если мы накачиваем в систему сложность в виде формальных правил, то это все только ухудшает. Больше сложности, больше размерность и изолированность формально не выводимого ядра.

Нет статических систем. Как только bs начинает применть правила вывода, то любая система становиться динамической. Гёдель приходит не только в сам формальный набор правил, но и результат их работы. Это самое формально не выводимое ядро порождает в потоке результатов работы системы правил имеющих не выводимое ядро псевдослучайные последовательности (формально не выводимые). Чем больше вы делаете систему "динамической", тем длиннее такие последовательности. Рано или поздно они начнут перемножаться. Энтропия сингулярно уйдет вверх. Чем больше "динамичности" тем быстрее этот момент наступит.

Вообще я честно говоря не понимаю о какой "динамичности" может идти речь если любая обсуждаемая система (тем более в случае метакомпиляции) если все такие системы реализуются на машине тьюринга. Какая тут мажет быть статичность? Все о чем можно говорить так это о не зацикленности алгоритма. Что кстати еще доказать нужно.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

15 июль 2013 15:53
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26417

Inex пишет:

Хмур пишет: cсылку можно сделать общественным достоянием. Машина мечты это всем интересно.

+1

Там ничего интересного. Я все проблемы тут уже описывал. Машина живет с 2007г. Тока она на формальных логиках, правда N-го порядка. Сама порождает правила, сама по ним делает выводы. Только этого не достаточно. Проблему с токсичностью обучения на формальных логиках не обойти.

Стенд поднять можно. Это конечно потребует времени .. но можно. Подумаю как это сделать. Только смысла в этом особого не вижу. Уже готова новая машина. Там пока серьезные проблемы с реализацией. Ошибки в коде и нет нескольких ключевых алгоритмов, но работы там на 2-3 месяца. Идея что можно "схалявить" и сесть на внешний источник сработала на все 100%. Там уже должно быть 1.00..001 т.е. каждое последующее обучение на 0.00..001 проще предыдущего.

Если идея стенда разок посмотреть, то делать если честно лень. Лето-солнце-всё-такое )) Если есть более вразумительные цели, то напишите.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

15 июль 2013 15:58 15 июль 2013 16:48 от Lex.
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #26418

Хмур пишет: да, речь идет о ЛОКАЛЬНО формальных системах, поэтому геделевы ограничения не являются глобальными. Разумеется, черепаха локально (до истечения предельного времени) действительно удирает от ахиллеса. И в виртуальной области нет необходимости подчиняться закону сохранения энергии. Эти примерно как в бухгалтерии. -внешние, отчетные, итоговые балансы это одно, а внутреннее движение средств - это совсем другая и гораздо более интересная история..

Во первых зря вы так не верите в Гёделя, а во вторых он не единственный автор ограничивающих теорем. Та же проблема останова качественный гвоздик в идею метакомпиляции. Доказать что "сие ни есть вечный цикл" без привлечения мудрого Хмура никак невозможно на машине тьюринга, а вся задача ИР как раз и состоит в том чтобы убрать мудрого Хмура с пути прогресса )))

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

30 март 2015 18:52
Astuz аватар
Astuz
Посетитель
Посетитель
Специализация программ с интерпретативным поведением и искусственный интеллект #28280
Не ну прогресс не стоит на месте "Презентация Робототехника и Искусственный Интеллект" reshebniki-online.ru/node/390718

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

09 мая 2015 04:24 09 мая 2015 04:25 от max.
max
Опытный писатель
Опытный писатель
Сообщений: 446
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28367

Lex пишет:

Inex пишет:

Lex пишет: Приходит дядя Гёдель и все рушит.

ну, докладчик (правда, вроде не на семинаре, а в кулуарах) на Гёделя тоже ссылался... правда, имхо, Гёдель не вполне релевантен

Гёдель более чем релевантен. Посмотрите доказательство выложенное на этом самом форуме. Там дядечка сразу говорить что Гёдель приходит в ЛЮБУЮ формальную систему если она ДОСТАТОЧНО СЛОЖНА. С ростом сложности системы Гёдель только набирает силы. Если мы накачиваем в систему сложность в виде формальных правил, то это все только ухудшает. Больше сложности, больше размерность и изолированность формально не выводимого ядра.

Нет статических систем. Как только bs начинает применть правила вывода, то любая система становиться динамической. Гёдель приходит не только в сам формальный набор правил, но и результат их работы. Это самое формально не выводимое ядро порождает в потоке результатов работы системы правил имеющих не выводимое ядро псевдослучайные последовательности (формально не выводимые). Чем больше вы делаете систему "динамической", тем длиннее такие последовательности. Рано или поздно они начнут перемножаться. Энтропия сингулярно уйдет вверх. Чем больше "динамичности" тем быстрее этот момент наступит.

Вообще я честно говоря не понимаю о какой "динамичности" может идти речь если любая обсуждаемая система (тем более в случае метакомпиляции) если все такие системы реализуются на машине тьюринга. Какая тут мажет быть статичность? Все о чем можно говорить так это о не зацикленности алгоритма. Что кстати еще доказать нужно.


что же вы цепляетесь за этого Геделя..
нерелевантен он, нерелевантен.

динамичность - когда изменяются сами правила, когда изменяется язык.

ограничения Геделя применимы ТОЛЬКО к статичным формальным системам.
ну там арифметика...

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

не надо искать ограничения, где их нет )


не существует прблем - существуют ситуации;)

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 мая 2015 12:33
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28385
Вы не можете отвергать действия ограничивающих теорем только потому что они вам не нравятся. Все теоремы действуют и все представляют большую проблему.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

11 мая 2015 16:05
max
Опытный писатель
Опытный писатель
Сообщений: 446
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28387

Lex пишет: Вы не можете отвергать действия ограничивающих теорем только потому что они вам не нравятся. Все теоремы действуют и все представляют большую проблему.


вы не можете распространять действие ограничивающих теорем на системы,
коих эта теорема НЕ КАСАЕТСЯ.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

12 мая 2015 11:27
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28419
Ну как это не касается? Смешно.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

12 мая 2015 14:32
max
Опытный писатель
Опытный писатель
Сообщений: 446
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28421

Lex пишет: Ну как это не касается? Смешно.


действительно смешно.

доказал он одно.

а приплетают все подряд.

его теоремы касаются достаточно сложный формальных систем , типа арифметики.

И НИЧЕГО БОЛЬШЕ. это математика. доказано только то что доказано.

Нет статических систем. Как только bs начинает применть правила вывода, то любая система становиться динамической. Гёдель приходит не только в сам формальный набор правил, но и результат их работы.


я думаю вы путаете строгие формальные системы со всем остальным.

если например, у вас в алгоритме будет правило -

каждый день в 20-00 выглянуть в окно, если температура воздуха =18 градусов, тогда число Пи обнулить, а все константы и перемеренные сделать =1

ПОСЛЕ ЭТОГО КАКИЕ НЕВЫВОДИМЫЕ ИСТИНЫ ОСТАНУТСЯ В СИСТЕМЕ?

)


;)

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

13 мая 2015 07:15
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28427
Иногда хочется доказать твердость научного подхода канделябром. Иначе совсем как-то грустно получается.

Не нужно разводить всех этих псевдофилософских понтов. Нужно просто формально доказать что формальная модель конечных автоматов есть надмножество над всем множеством формальных арифметик. Пока вы этого не сделаете ТЕОРЕМА ГЕДЕЛЯ РАСПРОСТРАНЯЕТСЯ НА ВСЕ КОНЕЧНЫЕ АВТОМАТЫ ВКЛЮЧАЯ МАШИНУ ТЬЮРИНГА.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

13 мая 2015 17:03
max
Опытный писатель
Опытный писатель
Сообщений: 446
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28429

Lex пишет: Не нужно разводить всех этих псевдофилософских понтов. Нужно просто формально доказать что формальная модель конечных автоматов есть надмножество над всем множеством формальных арифметик. Пока вы этого не сделаете ТЕОРЕМА ГЕДЕЛЯ РАСПРОСТРАНЯЕТСЯ НА ВСЕ КОНЕЧНЫЕ АВТОМАТЫ ВКЛЮЧАЯ МАШИНУ ТЬЮРИНГА.


))

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

просто покажите, где в его доказательстве (сколько там , 200 станиц кажется..) есть слово конечный автомат.

;)

кто и что должен сделать...


формальная модель конечных автоматов....


)))))

какие невыводимые истины содержит? (гедель ведь именно это доказывал...)

не читайте умные книжки на ночь! ;)

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

13 мая 2015 17:15
Lex
Модератор
Модератор
Сообщений: 4048
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28430
Формальные логики включают в себя конечные автоматы.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

13 мая 2015 18:17 13 мая 2015 18:18 от max.
max
Опытный писатель
Опытный писатель
Сообщений: 446
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28432

Lex пишет: Формальные логики включают в себя конечные автоматы.



))))))


учите мат. часть. (не обессудьте за иронию)


не ф. логики - а ф. системы.

гедель говорил про формальные системы и причем ОПРЕДЕЛЕННЫЕ ф.с., типа арифметики, а не все ф.с.

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

почти уверен, что его нет.

просто почти нет людей, которые доказательство геделя до конца дочитали )))))))


+ вы не ответили на 3 вопроса. ;)

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

а то что т. геделя применима к конечным автоматам и вообще к комбинаторике - ГИПОТЕЗА.

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

13 мая 2015 18:50 13 мая 2015 18:51 от KOT.
KOT
Пользователь заблокирован
Пользователь заблокирован
Сообщений: 114
Больше
Специализация программ с интерпретативным поведением и искусственный интеллект #28433

Lex пишет: <....> ВСЕ КОНЕЧНЫЕ АВТОМАТЫ ВКЛЮЧАЯ МАШИНУ ТЬЮРИНГА.


Прошу прощения, только лишь хочу уточнить: Вика - ничего не путает? - пишет (с "точностью" - до наоборот):

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

Пожалуйста Войти или Регистрация, чтобы присоединиться к беседе.

Модераторы: Inex
Время создания страницы: 0.547 секунд
Работает на Kunena форум