Алло, робот!

«МАШИНА-УЧЕНЫЙ»

Только ли обязанности консультанта может выполнять такая энциклопедическая машина?

Может быть, она принесет пользу и в более творческих делах?

Нельзя ли сделать так, чтобы записанная в «памяти» машины информация не лежала бесцельным грузом? Да и стоит ли записывать в машину всю имеющуюся информацию? Быть может, многие данные ей проще получить самой?

Например, зачем засорять «память» машины-математика таблицей квадратов чисел? Не проще ли вложить в ее «память» правило возведения любого числа в квадрат — и, произведя несложное вычисление, она сможет дать нам ответ.

Можно пойти и дальше — давать лишь исходные, основные понятия. Все дальнейшие следствия из них машина выведет сама.

На первый взгляд это выглядит фантастично. Но только на первый взгляд. Ученые США, Англии, нашей страны уже проделали ряд интересных опытов по созданию «машины-ученого».

Так, в машинную «память» были заложены основные постулаты геометрий Евклида, которую проходят в обычной средней школе. Были даны и теоремы, но без доказательств. Исходя из постулатов, машина должна была самостоятельно найти доказательства заданных теорем.

И она это сделала!

Больше того, ей удалось найти и такие способы доказательства, которые попросту никому не приходили в голову за две с лишним тысячи лет!

Еще более поразительных результатов добился американский ученый Хао Ван. По составленной им программе машина сумела не только доказывать, но и получать новые теоремы (правда, не из геометрии Евклида, а из математической логики). За час работы машина получила тысячу теорем. Так что трудность теперь в том, чтобы научить машину отбирать среди огромного множества теорем, «сочиняемых» ею, интересные, имеющие ценность для науки.

«На пути к механической математике» — так назвал Хао Ван отчет о своем замечательном опыте. «Формализация сулит возможность возложить на машину большую часть той работы, которая занимает сейчас основное время математиков, — писал он. — Стремление к нечеловеческой точности перестает быть ненужным и бессмысленным, а получает большую определенность и оправдание».

Вначале машины только облегчали вычисление, теперь же они могут помочь математикам даже в их науке!

Машина, располагая запасом информации и необходимой программой для ее обработки, может получать новые результаты, делать новые выводы и следствия, находить и доказывать новые теоремы и закономерности и в других точных науках. Короче говоря, стать настоящим помощником ученого, а не просто механическим «справочным бюро».