: Зауряд-майор, похоже, воспринимает проблему как такую, будто кто-то защищает позицию, что компьютерное решение неких мыслимых им задач с множествами надо решать только расчетным путем. :) Тогда как не видит, что речь идет как раз не о расчетных задачах, а возможности решения и аналитических. Для некоторых требуется реализовать другой язык, позволяющий оперировать с аналитическими выражениями и в т.ч. "доказывать теоремы" - только дай ей аксиоматику и запрограммируй правила вывода новых суждений в рамках теории.
дык в том-то и дело, что давно доказали, что так - не сводится к тому, что бы хотелось ;)
:
: Если какая-то задача решается аналитическим путем, то здесь тоже существуют средства, ориентированные на реш. таких задач. И некоторым таким программам уже не один десяток лет, что, возможно, зауряд-майору неизвестно пока. Как ни обращай его внимание, что не про расчетные задачи речь идет и у оппонента, - он это не слушает, а пытается исходить из того, что оппонент как бы имеет ввиду только расчет. :)
речь идет о машине тьюринга, всего только :)
:
: Так что компьютер не умеет лишь создавать новые понятия сам, т.е. познавать. А если речь идет о манипулировании известными категориями, и надо просто доказывать теоремы в рамках некоторых формальных теорий, то такая задача вполне может быть решена компьютером или им, но с подсказками (помощью) человека для ускорения.
ну я и говорю: "п-р-и-в-е-д-и-т-е п-р-и-м-е-р", как так вы будете вполне упорядочивать отрезок [0, 1] ;)
сдается мне вы сам не понимаете, что говорите
: Хоть и не буду утверждать, что не все из них сейчас решить легко.
и не надо ;)
: Если человек не знает, как решать, то и комп, конечно, тоже не смогет абсолютно во всех случаях ничем помочь. Если человек не знает, как решать задачи с бесконечными множествами, то нефиг требовать это от компьютера: невозможно определить аналитические операции. А требовать от него (компьюетра) волшебства (сам все познал и дал ответ), то это даже не для этого форума вопрос...
"осознал" тут совершенно ни при чем
речь идет о том, сможет ли машина тьюринга самостоятельно вычислить, остановится она или нет
это ж классика ;)
отредактировано 07.12.2006 16:22 |