Здравствуйте, LaptevVV, Вы писали:
LVV>Это к вопросу о проблеме остановки. LVV>Там же указано, что эта проблема неразрешима на машине Тьюринга.
Теоретически — как бы нет проблем, да. Квантовый компьютер можно даже эмулировать в рамках классического компьютера. Только всего то одна мелочь — для эмуляции 1000 кубит потребуется чуть больше времени, около 10ˆ1000 секунд.
Но для теории это не имеет значения — это для нас 10ˆ1000 секунд = невозможно, а для математики нет ничего невозможного
Re: Является ли квантовый компьютер машиной Тьюринга?
Здравствуйте, LaptevVV, Вы писали:
LVV>Это к вопросу о проблеме остановки. LVV>Там же указано, что эта проблема неразрешима на машине Тьюринга.
Не является. КК эффективно эмулирует МТ, а наоборот — нет.
Дело не в машине Тьюринга, она вторична и служит просто для иллюстрации, а в принципе Тьюринга. Для КК этот принцип выполняется, и имеется аналог МТ — квантовая МТ.
Проблеме останова подвержены обе, и квантовая и классическая. Дело в диагоналях Кантора, они жирно перечёркивают бОльшую часть возможных вычислений, в т.ч. это.
Re[2]: Является ли квантовый компьютер машиной Тьюринга?
Здравствуйте, Alekzander, Вы писали:
A>>>Не является. КК эффективно эмулирует МТ, а наоборот — нет. G>>Формально — является. A>У проигнорированного тобой слова "эффективно" есть строгое определение.
Я не утверждал, что весь твой пост является ложью. Только возразил на первое предложение, так как ТС интересовал вопрос не эффективности, а разрешимости.
Re[5]: Является ли квантовый компьютер машиной Тьюринга?
Здравствуйте, graniar, Вы писали:
A>>>>Не является. КК эффективно эмулирует МТ, а наоборот — нет. G>>>Формально — является. A>>У проигнорированного тобой слова "эффективно" есть строгое определение.
G>Я не утверждал, что весь твой пост является ложью. Только возразил на первое предложение, так как ТС интересовал вопрос не эффективности, а разрешимости.
Ты не прав как математик, как физик и как инженер.
Математически это твоё "Формально — является" — всё равно, что сказать, что между счётными и несчётными множествами нет разницы, ведь они бесконечны. Кантор, как раз, и объясняет, в чём разница, вводя понятие мощности.
Как физик, ты должен знать, что число Эддингтона никто не отменял. Кто тебе сказал, что классическим образом физически возможно организовать вычисление любой сложности? Классическая эмуляция довольно простого (и, как мы ожидаем, доступного в не столь отдалённом будущем) расчёта на КК потребует организации всей известной материи Вселенной, взятой НАМНОГО больше раз, чем атомов в ней, в течение периода, превышающего время жизни этой материи до того, как она станет недоступной, упав в гравитационные колодцы.
А как инженер почитай про "квантовое превосходство", достигнутое другими инженерами уже сегодня.
Re[6]: Является ли квантовый компьютер машиной Тьюринга?
Здравствуйте, Alekzander, Вы писали:
A>Ты не прав как математик, как физик и как инженер.
А как психолог, выражу некоторое недоумение, почему тебе так важно оказаться правым, и притом обязательно в какой-то роли?
A>Математически это твоё "Формально — является" — всё равно, что сказать, что между счётными и несчётными множествами нет разницы, ведь они бесконечны. Кантор, как раз, и объясняет, в чём разница, вводя понятие мощности.
Признаю, действительно не знаю разницы между счетными и несчетными бесконечными множествами. За отсылку на Кантора спасибо.
Только мощность множества к вопросу в топике не имеет отношения. Формально, квантовый компьютер является машиной Тьюринга.
A>Как физик, ты должен знать, что число Эддингтона никто не отменял.
Про число Эддингтона тоже первый раз услышал.
A>Кто тебе сказал, что классическим образом физически возможно организовать вычисление любой сложности?
А это вообще непонятно к чему. Квантовый компьютер из нескольких кубитов легко эмулируется на бумаге. Машину Тьюринга из 10^100 ячеек физически не реализовать. Но речи про конкретные размеры машины вроде вообще не шло.
A>А как инженер почитай про "квантовое превосходство", достигнутое другими инженерами уже сегодня.
Честно говоря, я сомневаюсь вообще в физической возможности реализации квантовых вычислений за счет одной только электродинамики.
Подозреваю, что все то "квантовое превосходство" может оказаться грандиозным попилом бабла.
Но не уверен, не осилил пока настолько Квантовую Теорию, чтобы что-то утверждать.
Re[7]: Является ли квантовый компьютер машиной Тьюринга?
Здравствуйте, graniar, Вы писали:
G>А как психолог, выражу некоторое недоумение, почему тебе так важно оказаться правым, и притом обязательно в какой-то роли?
Как это ни смешно, но ты и как психолог облажался. В какой-то момент я просто понимаю, что с человеком бесполезно общаться, и выхожу из разговора. Вот как сейчас, например.
Re[8]: Является ли квантовый компьютер машиной Тьюринга?
Здравствуйте, Alekzander, Вы писали:
A>Как это ни смешно, но ты и как психолог облажался. В какой-то момент я просто понимаю, что с человеком бесполезно общаться, и выхожу из разговора. Вот как сейчас, например.
Злобно хихикаю, как тролль.
