Страницы
- ПОВЕДЕНИЕ, ЦЕЛЕНАПРАВЛЕННОСТЬ И ТЕЛЕОЛОГИЯ
- МАШИНА УМНЕЕ Собственного Разработчика
- КИБЕРНЕТИКА И ЧЕЛОВЕК
- МАШИНЫ ИЗОБРЕТАТЕЛЬНЕЕ ЛЮДЕЙ?
- НЬЮТОНОВО И БЕРГСОНОВО ВРЕМЯ
- ГРУППЫ И СТАТИСТИЧЕСКАЯ МЕХАНИКА
- ВРЕМЕННЫЕ РЯДЫ, ИНФОРМАЦИЯ И Взаимосвязь
- ОБРАТНАЯ Взаимосвязь И Шатания
- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ И Психика
- ГЕШТАЛЬТ И УНИВЕРСАЛИИ
- КИБЕРНЕТИКА И ПСИХОПАТОЛОГИЯ
- ИНФОРМАЦИЯ, ЯЗЫК И ОБЩЕСТВО
- ОБ ОБУЧАЮЩИХСЯ И САМОВОСПРОИЗВОДЯЩИХСЯ МАШИНАХ
- МОЗГОВЫЕ ВОЛНЫ И САМООРГАНИЗУЮЩИЕСЯ СИСТЕМЫ
- ПРЕДМЕТНО-ИМЕННОЙ УКАЗАТЕЛЬ
- ВВЕДЕНИЕ
- НОРБЕРТ ВИНЕР И ЕГО "КИБЕРНЕТИКА"
- ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
Тэги
КИБЕРНЕТИКА И ЧЕЛОВЕК
Вопрос. Каково Ваше мнение что же касается полномочия становления математики посредством автомашин? Способны ли мы ждать, что этим путем станут открыты свежие теоремы либо сделаны свежие подтверждения уже имеющих место быть?
Ответ. Сегодня уже сделаны эти машины, кои не столько изготавливают трудоемкие вычислительные операции, хотя кроме того готовы проводить проверку и исправлять программу, составленную для данных автомашин. Возможно в следствии этого заявить, что эти машины, буквально, сами себя учат. Ныне идет работа по существу этих автомашин, кои имеют вероятность сами открывать свежие теоремы из области геометрии либо логики. В этом направлении действует, к примеру, д-р Соломон из компании ИБМ. Принцип воздействия этих автомашин заключается в том, что разные подтверждения связываются друг от друга па основе каких-либо заблаговременно установленных критериев. Автомашина хранит исключительно те подтверждения, кои данным критериям гораздо лучше иных отвечают, и отбрасывает все оставшиеся. Тут встает существенная проблема, коя интересна с философской стороны. А непосредственно: какое [c.315] соответствие присутствует меж индуктивной и дедуктивной логикой?
Обычно свежие теоремы либо свежие подтверждения именитых теорем вначале формулируются индуктивным путем, а далее доказываются жестко логически, т.е. дедуктивно. В данном направлении действует именитый японский математик Ватанабе. Он исходит из единых гипотез, справедливость коих быть может оценена посредством количеств. Применяя данный способ, Ватанабе в состоянии, по сравнению гипотезы, подобрать те, кои отвечают этому предположению и кои объективны кроме того в иных подобных случаях. Эта обстановка довольно смахивает на ту, коя встает при определении приемлемой стратегии в доктрины игр.
Тут обнаруживается то парадоксальное обстоятельство, что, применяя в данных целях вычислительные машины, мы решает трудности индуктивной логики посредством дедуктивной. Данный способ весьма важен поскольку он выдает нам представление про то, как у человека случается процесс индукции. Обыкновенно воспринимается, что индукция по созданию состоит в выборе верного эффекта из нескончаемого количества полномочий. Впрочем на практике как оказалось, что выбор ограничивается лишь конечным количеством полномочий и, что самое поразительное, данное количество довольно слишком мало. Понимание этого прецедента имеет грандиозное фактическое значение.