Dmitry Gaivoronsky
2006-04-13 20:31:21 UTC
Ohayou gozaimasu, Mihail.
12 апр 2006, 20:00: Mihail Osokin -> Dmitry Gaivoronsky...
MO> Ты написал алгоритм решения.
MO> Ты заложил его в калькулятор и подставил цифры.
MO> Калькулятор его отработал и выдал ответ.
MO> Вопрос: кто же решил задачу?
Попробуй взглянуть на это немного с другой стороны. Вспомни, когда в школе
учительница объясняла тебе метод (алгоритм, по большей части) решения задач
одного из типов (например, квадратного уравнения), и затем дала одну такую
задачу в качестве упражнения - так кто именно придумал этот "алгоритм"? Кто
заложил его в тебя и подставил тебе цифры? Ты провёл вычисления и выдал ответ,
но кто же "решил" задачу? Вот и тут получается аналогичная ситуация.
Учительница "обучила" тебя - а я "обучил" калькулятор (компьютер, если точнее).
Вообще, если посмотреть, большая часть знаний человека о мире - это теории и
алгоритмы, которые были придуманы до него (а также факты, открытые не им).
Однако это никак не мешает ему применять их в повседневной жизни и присваивать
себе результаты.
MO> Повторюсь: хочешь опровергнуть, покажи алгоритм.
Hе совсем понял - алгоритм чего именно.
MO> Hо для _класса_ задач из тестов на IQ, а не для _экземпляра_.
А если задуматься: чем _класс_ задач отличается от _экземпляра_? Как я это
понимаю - тем, что в каждом экземпляре задачи указаны конкретные цифры.
Hо ведь указанный алгоритм (интерполяция) не зависит от конкретных цифр - он
решит любую _подобную_ задачу. ("Подобная" в данном случае - та, которая может
быть решена с помощью интерполирования.)
MO> Я не утверждал о "принципиальной" неразрешимости.
MO> Человек-то эти задачи легко решает, значит и компьютер
MO> рано или поздно сможет.
MO> Я говорил о неразрешимости подобного рода задач
MO> современными компьютерами, и настаиваю на этом.
Имхо, одно несколько противоречит другому: если задача на компьютере в принципе
разрешима ("рано или поздно сможет") - то мощность конкретных современных
компьютеров особой роли уже не играет. Hу, придётся подождать какое-то время...
Или же собрать суперкомпьютер.
MO> Hеужели ты всерьёз полагаешь, будто я сомневаюсь
MO> в способности компьютеров выполнять готовые алгоритмы?
Тогда объясни сам свою позицию.
Sayonara... Dmitry.
12 апр 2006, 20:00: Mihail Osokin -> Dmitry Gaivoronsky...
MO> Сомневаешься? Алгоритм в студию.
Для той задачи, что ты привел - вполне достаточно простейшей линейной
интерполяции.
MO> Ты догадался, что для решения надо применить интерполяциюДля той задачи, что ты привел - вполне достаточно простейшей линейной
интерполяции.
MO> Ты написал алгоритм решения.
MO> Ты заложил его в калькулятор и подставил цифры.
MO> Калькулятор его отработал и выдал ответ.
MO> Вопрос: кто же решил задачу?
Попробуй взглянуть на это немного с другой стороны. Вспомни, когда в школе
учительница объясняла тебе метод (алгоритм, по большей части) решения задач
одного из типов (например, квадратного уравнения), и затем дала одну такую
задачу в качестве упражнения - так кто именно придумал этот "алгоритм"? Кто
заложил его в тебя и подставил тебе цифры? Ты провёл вычисления и выдал ответ,
но кто же "решил" задачу? Вот и тут получается аналогичная ситуация.
Учительница "обучила" тебя - а я "обучил" калькулятор (компьютер, если точнее).
Вообще, если посмотреть, большая часть знаний человека о мире - это теории и
алгоритмы, которые были придуманы до него (а также факты, открытые не им).
Однако это никак не мешает ему применять их в повседневной жизни и присваивать
себе результаты.
MO> Повторюсь: хочешь опровергнуть, покажи алгоритм.
Hе совсем понял - алгоритм чего именно.
MO> Hо для _класса_ задач из тестов на IQ, а не для _экземпляра_.
А если задуматься: чем _класс_ задач отличается от _экземпляра_? Как я это
понимаю - тем, что в каждом экземпляре задачи указаны конкретные цифры.
Hо ведь указанный алгоритм (интерполяция) не зависит от конкретных цифр - он
решит любую _подобную_ задачу. ("Подобная" в данном случае - та, которая может
быть решена с помощью интерполирования.)
MO> Я не утверждал о "принципиальной" неразрешимости.
MO> Человек-то эти задачи легко решает, значит и компьютер
MO> рано или поздно сможет.
MO> Я говорил о неразрешимости подобного рода задач
MO> современными компьютерами, и настаиваю на этом.
Имхо, одно несколько противоречит другому: если задача на компьютере в принципе
разрешима ("рано или поздно сможет") - то мощность конкретных современных
компьютеров особой роли уже не играет. Hу, придётся подождать какое-то время...
Или же собрать суперкомпьютер.
MO> Hеужели ты всерьёз полагаешь, будто я сомневаюсь
MO> в способности компьютеров выполнять готовые алгоритмы?
Тогда объясни сам свою позицию.
Sayonara... Dmitry.