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