Понятие метанауки мы ввели в предыдущей главе, отправляясь от проблем, стоящих перед теоретической физикой, и без всякой связи с информационной проблемой. Впрочем, уже говоря о математике, мы заметили, что метанаучный концептологический подход является организующим началом для того безграничного числа теорий и задач, которые может породить аксиоматическая знаковая математика. Связь с информационной проблемой в естественных и технических науках здесь очевидна. Можно много чего исследовать, и можно смелой рукой начертать множество планов исследований. Но, во-первых, надо иметь ясные принципы планирования — планы планов. Иначе возникает анархия планов, животная борьба за существование между планами, и в этой борьбе, увы, зачастую решающими оказываются факторы, далекие от интересов науки: престижные соображения, личные связи и т. п. Во-вторых, необходимо, чтобы язык естественных наук и техники был полностью формализован, тогда совокупность человеческих знаний предстанет в виде стройной системы и тогда только, кстати говоря, и станет возможным выбирать научные принципы планирования науки. Не надо думать, что процесс формализации есть нечто «формальное», т. е. синтаксическое, сводящееся лишь к новым обозначениям. Задача формализации научного языка — это концептологическая, семантическая задача, задача выработки новых понятий, подобная формализации и аксиоматизации, происшедшей в математике.
Полностью формализованный язык — это язык, доступный машине. Имея формализованный каркас в научном здании, мы можем отделить работы, которые могут быть выполнены машинами, автоматами, от работ, которые требуют творческого участия человека, и выполнять машинные работы с помощью машин. Конечно, и сейчас уже простейшие из таких задач решаются машинами (автоматика, использование ЭВМ). Но формализация позволит существенно, многократно повысить уровень задач, решаемых машинным образом. Прежде всего, это относится к обработке потоков информации. Систематизация и хранение информации, отбор нужной информации, простейшие преобразования информации — эти и другие задачи, образующие сейчас информационную проблему, не могут удовлетворительно решаться на машинах без полной формализации языка. Именно трудности формализации языка ограничивают в настоящее время применение вычислительных машин в информатике. Успехи, которые здесь достигаются, связаны в основном с более или менее успешной формализацией более или менее обширной части научно-технического языка.
Но машинизация нижних этажей науки должна захватить и уже захватывает не только языковую деятельность, но и непосредственное манипулирование изучаемыми природными объектами. Собственно говоря, каждое исследование современной автоматики в научных экспериментах есть как раз такой «выход машины на исследование». Повышение уровня автоматизации в той или иной частной сфере исследований означает полную формализацию соответствующей части научного языка. Прообразом будущих достижений в этом направлении является, например, автоматический просмотр фотографий со следами (треками) элементарных частиц и отбор заданных конфигураций треков. Глобальный выход машин на непосредственный контакт с природой потребует глобальной формализации языка науки. Следующий этап, который можно предвидеть, — самостоятельная постановка машинами экспериментов в соответствии с метанаучными рекомендациями.
Общий смысл машинизации науки, как и машинизации производства, — это освобождение человека от нетворческой деятельности, потребность в которой, как это ни парадоксально, возникает именно благодаря успехам творческой деятельности! Ибо что такое творчество? Прежде всего, творчество — это конструктивное действие, т. е. действие, приводящее к увеличению организованности в мире. Но характеристика действия как творческого не есть характеристика по одним лишь его результатам, рассматриваемым без всякой связи с механизмом действия, с отношением между этим действием и породившей его системой. Одно и то же действие может быть творческим актом, когда оно совершается впервые, и механическим повторением пройденного, когда оно совершается по уже сложившимся, известным правилам, путем применения стандартных приемов. Все, что производится в рамках уже существующей системы управления, будь то работа вычислительной машины или сочинение трафаретных статей, — уже не творчество.