В настоящее время теория алгоритмов является краеугольным камнем фундамента компьютерной науки. С ее помощью были уточнены такие понятия, как доказуемость, эффективность, разрешимость, перечислимость и другие.
В этом разделе сначала будут рассмотрены отдельные вопросы становления компьютерной науки, а затем в ее предметной области будут обозначены те тематические направления, которые являются ключевыми для конвергенции компьютерной и информационной наук.
3. Информационно-компьютерная наука
Материал разд. 1 и 2 позволяет предположить, что одновременно с формированием и институционализацией информационной и компьютерной наук как самостоятельных научных дисциплин и областей применения их результатов наблюдалось развитие отдельных предпосылок их конвергенции. Отметим, что многоаспектное исследование проблемы конвергенции началось более 40 лет назад.
Термин «информационно-компьютерная наука», который вынесен в название этого раздела, одним из первых использовал американский ученый С. Горн в 1963 г., с той разницей, что тогда этот термин употреблялся во множественном числе. Единственное число использовалось ученым начиная с 1983 г. Однако уже в 1963 г. потенциальный результат конвергенции информационной и компьютерной наук позиционировался С. Горном как новая фундаментальная область знаний, что нашло отражение в самом названии его работы — «anewbasicdiscipline».
В течение двадцати лет им была опубликована серия статей о предметной области и методологии информационно-компьютерной науки. В качестве смежных дисциплин С. Горн называет библиотековедение, теорию информационного поиска, информационную науку, кибернетику, когнитивную психологию, искусственный интеллект, семиотику, лингвистику и математику. Среди сфер применения результатов этой науки он выделяет разработку компьютеров, менеджмент и сферу образования.
В 1963 г. Горн предпринял попытку перечислить вопросы, изучаемые информационно-компьютерной наукой: «(Примерами основных вопросов исследования в этой области могут быть системы программирования, проектирование компьютерных систем, искусственный интеллект, информационный поиск и т.д. Вероятностная информационная теория Шеннона определенно принадлежит к этой области знания, но помимо нее существует еще теория информации искусственных языков и ее обработки, которую также необходимо включить в предметную область этой науки. Одним из центральных вопросов этой новой дисциплины, скорее всего, станет синтез и анализ искусственных языков и их процессоров».
В отличие от авторов аналитического доклада, Горн в явном виде включает в перечень направлений, изучаемых информационно-компьютерной наукой, искусственный интеллект, информационный поиск, синтез и анализ искусственных языков. После перечисления этих вопросов, информационно-компьютерная наука далее рассматривается им уже как учебная дисциплина и говорится о необходимости описать способы различения новой области знаний от соседних с ней областей в учебном процессе. К примеру, каким образом абитуриент может узнать, относится ли сфера его интересов именно к этой новой области знаний, а не к одной из уже устоявшихся дисциплин? Какое ему необходимо образование для того, чтобы углубиться в эту новую область? И в чем результат его обучения существенным образом будет отличаться оттого образования, которое потребовалось бы ему в другой области?
В 60-х гг. прошлого века ощущалась потребность в оценке перспектив развития этой повой дисциплины, в ее позиционировании среди существовавших уже тогда областей знаний и учебных дисциплин. Горн рассматривает эти вопросы, отталкиваясь в своих рассуждениях от профессиональных интересов ученых в этой области еще на, стадии получения ими образования: «Информационно-компьютерная наука рассматривает прагматические аспекты использования символов их пользователями и интерпретаторами в качестве еще одного центрального вопроса таким же образом, как эти аспекты должны исследоваться специалистами в области лингвистики, психологии, философии и инженерных наук.
Таким образом, студент, изучающий численный анализ, в процессе разработки или анализа какого-либо алгоритма мыслит себя как математик, если его единственный интерес заключается в доказательстве существования алгоритма или определения его точности. Но он является специалистом в области информационно-компьютерной науки, если рассматривает этот алгоритм прагматически, например с точки зрения его реализации (обработки процессором), и интересуется эффективностью его работы, временными затратами, распределением памяти и т.д.
Аналогично студент, изучающий процедуру адаптивного управления, описывающую поведение животного в некоторой ситуации, позиционирует себя как психолог, если его главной задачей является выяснение того, обладает ли он хорошей моделью поведения этого животного. Если его интересует проблема искусственного интеллекта как одного из направлений информационно-компьютерной науки, то он интересуется применимостью этой процедуры независимо от того, является ли она моделью поведения животного или не является.
Студент, занимающийся порождающей грамматикой, мыслит себя как лингвист, если его больше всего интересует, действительно ли естественный язык работает так, а не иначе. Однако он думает как ученый в области информационно-компьютерной науки, если его занимает вопрос, каким образом можно использовать эту грамматику в информационной системе. Лингвист может рассматривать механизм стековой памяти, но с глубиной не более семи из-за ограниченных возможностей локальной памяти человека, но для решения информационно-компьютерных задач такой глубины явно недостаточно». Рассмотрев в статье 1963 г. эти примеры, Горн предлагает перечень тех дисциплин, которые должны преподаваться студентам, изучающим информационно-компьютерную науку, включая математику, физику, философию, лингвистику, психологию, вычислительную технику и компьютерное программирование.
Предложенный подход к изучению информационно-компьютерной науки уже тогда начал реализовываться в Пенсильванском университете. Через двадцать лет, когда уже накопился большой опыт ее преподавания, Горн пишет, что его понимание концепции информационно-компьютерной науки заключается в том, что эта область знаний не является ветвью математики, так как она должна соотносить себя с прагматическими вопросами, от которых математика не должна зависеть.
Следует отметить, что процитированная статья начинается со следующей фразы: «Позвольте мне. прежде всего, выбрать более короткое название, чем информационно-компьютерная наука. Я выбираю термин «информатика», созвучный французскому Informatique и немецкому Informalik. Он несет в себе идею информации, а оканчивается так же, как и математика, подразумевая формализованную теорию. Плохо то, что при использовании слова «информатика» теряется компьютерная составляющая в названии и, кроме того, оно не вызывает ассоциаций с какой-либо экспериментальной основой».
Следовательно, Горн, используя в 1983 г. термин «информатика», подразумевает под ним именно информационно-компьютерную науку. Ученый обращается к истокам этой дисциплины, чтобы дать четкое определение информатике: «Все, что я до сих пор говорил о вычислениях, ориентировано на практическую деятельность и связано с компьютером. Но сама теория вычислений уже сформировалась и существовала к тому времени, когда появились цифровые компьютеры. Специалисты в области символьной логики уже исследовали логические пределы вычислений; была описана универсальная машина Тьюринга и доказана неразрешимость проблемы остановки; Гедель продемонстрировал пределы формализма при помощи своих теорем о неразрешимости; Черч, Клини и Кэрри проанализировали вычисления в теории рекурсивных функций и комбинаторной логике; Туэ и Пост, а в более позднее время Марков, рассмотрели вычисления с синтаксической точки зрения. Поэтому, когда появились компьютеры, обсуждение лингвистики естественных языков Ноамом Хомским происходило в ракурсе вычислений. В результате этих новых разработок появились лингвистические описания процессов программирования, математическая теория автоматов и формальные языки. Эти результаты, в свою очередь, повлияли на разработки языков программирования и программируемых вычислительных машин. Теперь под информатикой мы понимаем нечто, связанное с синтезом и анализом символьных выражений, а также синтез и анализ процессоров, которые интерпретируют, транслируют и обрабатывают такие выражения. Если говорить более прозаично, то информатика занимается изучением, проектированием и использованием структур данных и их обработкой ».
Главный вывод Горна о составе и статусе новой области знания, которым он завершает статью, состоит в следующем: « не следует отделять компьютерную науку от информационной науки, а следует пытаться отстаивать единую область знаний — информатику. Любая попытка поощрить такое разделение повлечет за собой отделение практической деятельности от знаний, как это произошло с математикой Пифагора, риторикой софистов, метафизикой и органоном Аристотеля, грамматикой стоиков, логикой и грамматикой логических позитивистов. Такое разделение будет причиной прекращения деятельного кипения, которое поддерживается сплавом знаний и практической деятельности».
Проиллюстрировать последствия подобного отделения практической деятельности от знаний можно было бы количественно с помощью диаграмм, подобных рис. 2, на которых доля компьютерной науки равна 4,55% для европейских патентов и 2,35% для патентов США за период 1992-1996 гг. Однако для полноты картины явно не хватает исходных данных для выявления тренда изменений этих долей во времени.