Шрифт:
Интервал:
Закладка:
Прежде чем двигаться дальше по пути совершенствования машин-автоматов, помогающих (но не заменяющих) человеку в его математических исчислениях или логических рассуждениях, необходимо сделать ряд уточнений:
— алгоритм мыслительных действий человека и алгоритм вычислений машины при решении аналогичных математических задач подчинены одним и тем же законам формальной математической логики;
— качественное отличие действий человека, к примеру, на компьютере и его же работы с арифмометром заключается в том, что последний функционирует на ручном (машинном) приводе, потребляя мускульную энергию человека, а ЭВМ — на электрической энергии;
— наконец, электронный вычислитель — компьютер — «решает задачи сам» в отличие от простого арифмометра.
«А вот и неправда, — скажет дотошный читатель, — чтобы компьютер заменял человека в его умственных вычислениях, в него, в компьютер, надо ввести соответствующую программу (алгоритм) последовательных шагов-действий!». Тем более, что даже известная вычислительная машина Н. Бэббиджа (1791–1871) — грандиозный калькулятор с механическим приводом, для своей работы уже требовала программу. А ведь признанный математик, инженер Чарльз Бэббидж начал над ней работать еще в 1822 году. Его аналитическая счетная машина состояла из 25 тысяч механических деталей. Согласно расчетам, такой механизм, способный хранить тысячу пятидесятичных чисел, имел бы длину… более тридцати метров. Мы уже писали, что дочь лорда Байрона Ада Лавлейс — математик, написала для этой машины алгоритм-программу, предварительно составив подробное описание этой аналитической машины. Свой проект машины, предназначенной для вычисления значений многочленных функций, Бэббидж так и не смог завершить. Но его детище по праву считается прообразом вычислительных машин на электронных лампах 50–60-х гг. прошлого века [4. С. 55].
1 сентября 1939 года грянула Вторая мировая война. И в эти же грозные годы появляются первые электрические вычислители: октябрь 1939 года — американский компьютер Атанасова — Берри; май 1941 года — немецкий Z3; декабрь 1943 года — британский «Колосс». Справедливости ради надо сказать, что первую модель вычислительных машин создал немецкий изобретатель К. Цузе, в которую были заложены: двоичная система исчисления; форма представления чисел с «плавающей» запятой; трехадресная система программирования; наконец, использование перфокарты, изобретенной еще Ч. Беббиджем. Вначале эти машины либо не были полностью электрическими, либо имели узкое назначение.
Картина качественно изменилась с появлением в 1946 году ЭНИАКа — «Электронного числового интегратора и вычислителя» в США. Разработан и построен американскими учеными Джоном Мокли (1907–1980) и Джоном Эккертом (1919–1995). Об этом изобретении следует рассказать поподробнее, ибо в нем были использованы и последние достижения математической логики, и новейшие разработки электронных вычислительных машин. В основу ЭВМ легли принципы, сформулированные еще в 1945 году Джоном фон Нейманом, американским физиком и математиком. Развивая идеи все того же Ч. Бэббиджа, Нейман обосновал, что компьютер — это совокупность (единство частей) по обработке информации, управлению, памяти и ввод-вывод ее.
ЭНИАК, утверждает Клиффорд Пиковер (р. 1957) — ученый, изобретатель, популяризатор науки, автор более 50 книг и 700 патентов на изобретения: «Это устройство стало одним из первых электронных перепрограммируемых (курс. наш — О. П.) цифровых компьютеров». Изначально создавался для армии США, главное его применение было связано с разработкой водородной бомбы. Машина, имевшая более 17 тысяч электронных ламп и почти пять миллионов соединений, спаянных… вручную, проработала с 1946 года до октября 1955 года (в 1995 году, менее чем полвека спустя, бывший 30-тонный ЭНИАК разместился на одной интегральной схеме). Вокруг ЭНИАК в Америке развернулась шумная журналистская кампания: «Механический мозг расширяет человеческие горизонты»; «Калькулятор посрамил человека»; «Новая эпоха в сфере человеческой мысли» [4. С. 91].
Историческая справка. СССР
29 августа 1950 года Л. Берия записал в своем дневнике: «Надо немедля активизировать большие работы по электронным Математическим машинам. Мне докладывают, что в США есть уже 8… Математических машин… Дело новое, но ясно, что надо его немедля двигать, мы уже и так отстали… Говорят, это настоящая революция в прикладной математике, очень упрощающая работу физиков» [5. С. 117] (в их усилиях по «обузданию» ядерной энергии — О. П.).
В СССР первой ЭВМ, получившей личный регистрационный номер, была создана инженерами Исааком Бруком и Баширом Рамеевым. Компьютер Агат-4 с монитором на базе телевизора «Шилялис» [6].
1950 год — важная веха на пути к реальному появлению искусственного интеллекта. Это время многие специалисты по истории искусственного интеллекта называют Рубиконом, перейдя который человечество пошло к искусственному помощнику с нарастающим ускорением. В 1950 году Алан Тьюринг опубликовал в журнале «Mind» («Разум») статью «Computing Machinery and Intelligence» — «Вычислительная машина и разум»[27]. В ней ученый высказал мысль, что если бы компьютер вел себя (в разговоре) как человек, то его можно было бы назвать разумным. Для проверки «разума» машины Тьюринг предложил оригинальный тест — так называемую «игру в имитацию». Смысл ее в следующем: человек-экзаменатор через печатное устройство (голосовой компьютерной связи еще не было) тестирует… компьютер и другого человека. Все они находятся в разных помещениях. «Экзамен» ведется в письменном виде. Получив ответы и от испытуемого человека, и от испытуемого компьютера, который «прикинулся человеком», экзаменатор должен определить, где на вопросы и как отвечал компьютер, а где человек. Программа компьютера составляется, во-первых, согласно заданной теме (к примеру, «Искусство»), а, во-вторых, так, что компьютер может, как «испуганный» студент, специально ошибаться.
Итак, если после изучения ответов экзаменатор не сможет отличить ответы человека и ответы компьютера (who is who), то компьютер прошел тест и показал себя разумным. К. Пиковер не без иронии приводит высказывания французского философа Дени Дидро (1713–1784): «Если бы нашелся попугай, способный отвечать на любые вопросы, я без колебаний назвал бы его разумным существом». И далее Пиковер спрашивает: «Можно ли считать разумными создания, способные «думать», запрограммированные должным образом компьютеры?» [4. С. 95]. Тестирование человека компьютером, чтобы убедить homo sapiens, что компьютер тоже мыслит, до сих пор вдохновляет одержимых идеей машинного мышления. До сих пор ежегодно проводится т. н. «Конкурс на премию Лёбнера». Специалисты состязаются в разработке программ, чтобы наилучшим образом пройти тест знаменитого Тьюринга. Не обходится и без курьезов. Программисты используют неожиданные хитрые приемы, свойственные живым людям: опечатки, вопросы судьям, шутки, даже изменение темы беседы. Пиковер приводит пример того, как в 2014 году разработанный программистами из России и Украины робот-собеседник прошел тест, представившись тринадцатилетним мальчиком Женей Густманом[28][4. С. 95].
И все-таки идея Тьюринга о проверке «разума» машины оказалась достаточно плодотворной. Еще в 1947–1948 гг. ученый размышлял, «как оценить число переключательных и соединительных элементов человеческого мозга (курс. наш — О. П.), чтобы получить требования к простейшему моделированию»