От Михайлов А.
К Alex~1
Дата 25.01.2007 17:15:50
Рубрики В стране и мире;

«О философии и говорить нечего.»

Конечно, философские познания автора (рассуждения про Канта кое-кого нам напоминают, не правда ли?) никакие, а математические крайне поверхностны, но нет ли здесь ситуации как с кибернетикой - на заре своего существования она позиционировала себя кК всеобщая теория всего и обещала на днях сконструировать искусственный интеллект, однако, как было предсказано, всё ограничилось лишь созданием вычислительной математики и компьютеров? автор заявляет что создал всеобщую теорию, хотя на самом деле он создал всего лишь язык аналогового программирования. Вот последнее и предлагается к экспертизе – он действительно создал язык для своей химической вычислительной машинки быть может для еще какого-то класса объектов ил он нам сказки рассказывает вообще ничего не создал. а только денег «на дальнейшие исследования» просит?
Помниться, Вы когда-то, отвечая Сепульке, сказали что-то вроде того, что «занимаетесь разработкой алгоритмов для объектов, которые еще не открыли», а Крылов как раз заявляет что якобы создал подобный алгоритм. позволяющий единообразно описать любую технологическую операцию. Вот я и спрашиваю – выдумывает Крылов, изобретает велосипед или таки сделал что-то стоящее, хотя переоценивает значение своего открытия?
От Alex~1
К Михайлов А. (25.01.2007 17:15:50)
Дата 25.01.2007 21:14:41

Re: «О философии...

>автор заявляет что создал всеобщую теорию, хотя на самом деле он создал всего лишь язык аналогового программирования. Вот последнее и предлагается к экспертизе – он действительно создал язык для своей химической вычислительной машинки быть может для еще какого-то класса объектов ил он нам сказки рассказывает вообще ничего не создал. а только денег «на дальнейшие исследования» просит?

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

> Помниться, Вы когда-то, отвечая Сепульке, сказали что-то вроде того, что «занимаетесь разработкой алгоритмов для объектов, которые еще не открыли», а Крылов как раз заявляет что якобы создал подобный алгоритм. позволяющий единообразно описать любую технологическую операцию. Вот я и спрашиваю – выдумывает Крылов, изобретает велосипед или таки сделал что-то стоящее, хотя переоценивает значение своего открытия?

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

ПО поводу терминов. Алгоритм - это одно, язык описание любой [формализуемой] операции - это другое. Теорема Геделя запрещает создание алгоритма (в строгом понимании термина "алгоритм"), пригодного для решения любой задачи. Попыткой создания такой системы применительно к арифметике как раз и занимался Гилберт, что послужило толчком для работ Геделя.
От Alex~1
К Alex~1 (25.01.2007 21:14:41)
Дата 25.01.2007 21:20:56

Добавление

>ПО поводу терминов. Алгоритм - это одно, язык описание любой [формализуемой] операции - это другое. Теорема Геделя запрещает создание алгоритма (в строгом понимании термина "алгоритм"), пригодного для решения любой задачи. Попыткой создания такой системы применительно к арифметике как раз и занимался Гилберт, что послужило толчком для работ Геделя.

Можно, конечно, говорить о том, что условия теоремы Геделя о неполноте неприменимы к объектам предлагаемой "формальной системы". Но это, извиняюсь, надо строго показать. Маловато простого утверждения, что предлагаемая система "шире математики" (!?).
От serge
К Alex~1 (25.01.2007 21:20:56)
Дата 26.01.2007 03:05:00

Re: Добавление

Ну ежели "шире математики", то включает и арифметику. А значит и подпадает под теорему Геделя. (Здесь полагается смайлик)

>Можно, конечно, говорить о том, что условия теоремы Геделя о неполноте неприменимы к объектам предлагаемой "формальной системы". Но это, извиняюсь, надо строго показать. Маловато простого утверждения, что предлагаемая система "шире математики" (!?).