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