Русский | English   поискrss RSS-лента

Главная  → Материалы музея с 2013 по 2016 год  → Документы и публикации  → Материалы конференций  → Материалы Международной конференции Sorucom-2014  → Аксиоматическая информатика по К. Штайнбуху–Ф.Е. Темникову

Аксиоматическая информатика по К. Штайнбуху–Ф.Е. Темникову

Сегодня информатика носит эвристический характер и потому её объектная область, как перманентно изменяемая, не является конечной, полной и по этой причине является неструктурированной. Следствие: отсутствие у информатики собственной теории. Общий результат, – сегодня информатика не является наукой. Обращение к истокам информатики – исходным индукциям-аксиомам основоположников К. Штайнбуха и др. позволяет построить, таким образом, аксиоматическую информатику, которая, как оказывается, имеет свою теорию, а, с другой стороны, охватывает то, что упущено эвристической информатикой, а, с третьей стороны, исключает то, что информатике несвойственно.

Сегодня информатика насчитывает шестой десяток лет, но, как эвристическая, имеет объектную область, находящуюся в состоянии перманентного становления [каждый из специалистов термин «информатика» наполняет содержанием своих личных или корпоративных научных интересов (Информатика – «это то, чем занимаюсь “Я”» или – «то, чем занимается “Мы”»)]. В результате объектная область информатики до сих пор не является структурированной (как можно структурировать то, что является открытым и произвольно, по неопределённому закону, дополняемым?). А, в свою очередь, как можно разрабатывать теорию – законы, теоремы, правила и методы того, что является неопределённым – открытым и произвольно дополняемым («Поди туда, не зная, куда»?). И потому у информатики сегодня нет своей, присущей ей (и только ей), теории. Например, известные аксиомы и законы информации, как лежащие в основе самостоятельной и самодостаточной науки «Теории информации» Р.В.Л. Хартили – К. Э. Шеннона, М. Д. Уивера, именно к информатике отношения не имеют – они принадлежат другой науке. Также нельзя относить ко всей информатике то, что составляет теоретические основания, скажем, только «компьютерной информатики» (Computer Science, Software Engineering, Hardware Engineering). То есть нельзя относить ко всей информатике теорию алгоритмов и логических моделей, законы формальной логики и алгоритмических языков, методы организации баз данных и пр. [1]. Составляя теоретическую основу именно «компьютерной инфорсатики», эти науки не имеют прямого отношения к другим, например, прикладным разделам информатики (к Cognitive Informatics, Telematics, Informatics, Economic Informatics и др.). Вот и получается, что сегодня информатикой называют, то, что, как не имеющее конечной, полной и, следовательно, по этой причине структурированной объектной области и, соответственно, своей научной теории, не является не только фундаментальной, но и вообще не является наукой. То есть, сегодняшняя информатика наукой не является [2–7]. А какая является? Как оказывается, информатика приобретает признаки науки со всеми следствиями полезной применяемости, если, обратившись к основаниям – исторически исходной аксиоматике проф. К. Штайнбуха[1] и др., наполнить содержание термина «информатика» в соответствии с необходимо вытекающими из этой аксиоматики определениями. В данном случае, как оказывается, такими, как: «информатика – это наука о компьютеризации (компьютерной автоматизации) трудовой деятельности человека» [2–7] (или, то же самое в сфере изоморфных трудовым действиям информационных отношений-моделей – информационных операций: «информатика – это наука о компьютеризации информационных операций» [2–7]). А получается так потому, что определения [2–7] не являются, подобно десяткам известных надуманно-волюнтаристских и методически эвристически-индуктивных определений, такими же. Определения [2–7] являются асиоматически-дедуктивными.

1. Обращение к истокам – аксиоматически-дедуктивное определение информатики

Как следует из известных научных источников, «термин информатика» [в оригинале «слово информатика» («Word Informatik»)] был введён в 1957 году немецким компьютерщиком проф. (die Universität Karlsruhe) Карлом Штайнбухом (Karl Steinbuch) («In 1957 the German computer scientist Karl Steinbuch coined the word Informatik by publishing a paper called Informatik» [8].

О том же Ю.Ю. Чёрный[2] [9]: «Слово “информатика” впервые употребил К. Штайнбух». Далее. В [10] К. Штайнбух был поименован, как «Informatiker der ersten Stunde» [дословно – «информатик первого часа», – информатик «первой волны», – А.Б.]. То есть, в [10] К. Штайнбух был признан, как основоположник информатики. И то же у англоязычных специалистов [11]: «Karl Steinbuch is one of the founders of Informatik». [Здесь «one» может быть переведено, как «первый» и как «один» (из). То есть, дословно: «Карл Штайнбух является «первым» основоположником информатики» или «Карл Штайнбух является «одним из» основоположников информатики». А во втором случае должны быть и другие основоположники. Кто они? Сие неизвестно есть. Таким образом, получается, что К. Штайнбух является в информатике первым и, как первый – единственным].

Итак, 1957-й год. Проф. К. Штайнбух вводит понятие информатики как «Informatik: Automatische InformationsVerarbeitungs» [12]. И, как оказывается, то же самое делают английские авторы [8]: «Informatics: automatic information processing». При этом и то, и другое дословно переводится, как: «Информатика: автоматическая переработка информации». С.И. Ожегов, Н.Ю. Шведова («Толковый словарь русского языка», 2006 г.): «переработать – превратить во что-нибудь; переделать, сделать по-новому, по-другому, изменить». И в немецком языке понятие «Verarbeitung» имеет тот же смысл. Например (контекстная иллюстрация смысла понятия «Verarbeitung» из «Лексического словаря Дудена» – Duden. Ein Sachlexikon für Studium und Praxis. – Mannheim: Dudenverlag, 1988) выглядит, как: «Schuhe in erstklassiger Verarbeitung» – «обувь первоклассного изготовления» (обувь, изготовленно-преобразованно-изменённая так, что стала первоклассной). То есть, смысл немецкого «Verarbeitung» так же, как и русского «переработка», заключается в «изменении». У К. Штайнбуха – в изменении информации, то есть, в преобразовании одного представления-разновидности информации в другое. Таким образом, К. Штайнбух [12] и его последователи [8] понимали информатику, как науку об автоматической переработке-изменении информации – автоматическом преобразовании одной разновидности информации в другую. Но преобразование одной разновидности информации в другую есть то, что в [13– 22] было поименовано, как информационная операция. То есть, получается, что по К. Штайнбуху информатика представляет собой науку об автоматизации информационных операций.

Далее. В 1962-м году проходит сообщение об ещё одном основополагании информатики: «In 1962 he creates the new term Informatique» [23]. Дословно: «В 1962-ом году он (Ф. Дрейфус[3] – А.Б.) создаёт (creates! – А.Б.) новый («новый»! – А.Б.) термин «информатика». А понимал Ф. Дрейфус термин «информатика» как: «The term was coined as a combination of “information” and “automatic” to describe the science of automating information interactions» [8], то есть, «Этот термин был придуман как сочетание “информация” и “автоматика”, чтобы описать науку “автоматизация информационных взаимодействий”»[4]. Но «информационные взаимодействия» – взаимодействие «информаций», или «преобразование одной разновидности информации в другую» – это есть то, что в [13–22] было поименовано информационными операциями. А ещё у Ф. Дрейфуса утверждается, что информатика представляет собой науку об автоматике информационных операций. А поскольку «автоматика» и «автоматизация» это есть одно и то же, то «информатика» у Ф. Дрейфуса так же, как и у К. Штайнбуха, представляет собой науку об автоматизации информационных операций.

Ещё одна посылка к аксиоматическому определению информатики. Как получается, к такому же самому. На этот раз – в франкоязычной литературе. Словарь LES-DICTIONNAIRES.COM [25]: «Informatique (de information et automatique) Science du traitement automatique et rationnel de l'information», что означает «информатика (информация и автоматизация) – это наука о рациональной автоматической обработке (автоматизации) информации». И, наконец, о том же в англоязычном обобщающем докладе Отделения информатики (Division of Informatics) Эдинбургского университета, М. Фурман (M. Fourman) [26][5]: «Phonologically, informatics combines elements from both “information” and “automatic”, which strengthens its semantic appeal», т.е. дословно: «Фонологически информатика сочетает в себе такие элементы как “информация” и “автоматический”, которые усиливают обращение к её семантике». А это значит, что «Фонологически информатика проявляется в таких элементах, как “информация” и “автоматический”, которые выражают сущность информатики». То есть, в обоих последних случаях – в LES-DICTIONNAIRES.COM [25] и у М. Фурмана [26] объектом информатики является автоматизация информации. А теперь обратим внимание на то, что объектом автоматизации (тем, на ЧТО направлена автоматизация) информация сама по себе никоим образом быть не может[6]. Потому что таким объектом должен быть не самосопряжённый объект-информация, а только лищь объект взаимодействиеотношение названных объектов[7]. Здесь – отношение-отображение объектов-«информаций» или объектовразновидностей информации. А отображение разновидностей информации это есть их (разновидностей информации) преобразование одной в другую, то есть то, что выше и в [13–22] было поименовано, как «информационные операции».

Итак, как получается из исходных определений информатики К. Штайнбуха [12], Ф. Дрейфуса [8] и их последователей [8], объектом информатики является, «автоматизация информационных операций». У других – франкои англоязычных авторов [25, 26] объектом информатики является «автоматизация информации», что, как оказывается, представляет собой ту же самую «автоматизацию информационных операций». При этом и то, и другое вытекает из используемой аксиоматики, то есть обладает свойством необходимости.

А теперь обратим внимание (ещё одна посылка!) на то, что термин «информатика» так же, как это сделал Ф.У. Бауэр [8], может быть представлен в виде двух морфем. Но, как утверждается в [27], на этот раз, в отличие от представления Ф.У. Бауэра, таких, как «“информ” от понятия “информация” и “атика” от понятия «автоматика». Это же подтверждается в работе [28] профессора Р.Б. Сейфуль-Мулюкова: «В своём изначальном смысле (informatik, informatique informatics, информатика) – это (термин “информатика” – А.Б.) есть лингвистический гибрид частей двух слов: ИНФОРМация и АВТОМАтика». При этом, как оказывается, такая этимология полностью соответствует как германо, так и франкоязычному начертанию термина «информатика». А именно [2–6]:

где смысл морфемы INFOR проистекает от германо-франкоязычного понятия INFORmation, – «информация», а морфем MATIK и MATIQUE – от понятий autoMATIK (нем.) и autoMATIQUE (франц.) – «автоматика».

А в результате опять выходит (на этот раз уже этимологически), что понятие «информатика» должно трактоваться как «автоматика информации» или, что то же самое, как «автоматизация информации» или, что то же самое, как «автоматизация информационных операций». Такая трактовка понятия «информатика» вытекает из этимологии термина «информатика», как оказывается, уже не только с необходимостью, но уже и с достаточностью[9].

Таким образом (это следует из исходных индукций информатики К. Штайнбуха [12], Ф. Дрейфуса [8], их последователей [8], более поздних франко и англоязычных авторов LES-DICTIONNAIRES.COM [25] и М. Фурмана [26], а ещё вытекает этимологически) аксиоматически получается, что понятие информатики должно раскрываться, как «автоматизация информационных операций». Но ... автоматизация информационных операций [физически, их прообразов – целенаправленных действий трудовой деятельности человека (см. ниже)] известна с незапамятных времён – с возникновения производства, по меньше мере, с XIX века, когда, например, в 1801 г. появился первый программируемый ткацкий станок с реализацией-воспроизведением информации (задания-уставки) (см. ниже) на перфокарте. Но об информатике тогда и слышно не было. Первые же упоминания о ней появились только в конце 50-х и начале 60-х годов ХХ века. А это, как известно, были годы качественного прорыва в обрасти компьютерной техники – перехода от ламповых к транзисторным ЭВМ 2-го поколения и начала тем самым массового использования ЭВМ во всех сферах человеческой деятельности. И когда именно в эти годы К. Штайнбух, Ф Дрейфус и др. заговорили об автоматизации информацииинформационных операций, то они, как инженеры-компьютерщики, разумеется, не мыслили эту автоматизацию в отрыве от компьютеров. Вот и получается, таким образом, по К. Штайнбуху и др. пионерам информатики аксиоматически-дедуктивно, что:

Информатика – это наука о компьютерной автоматизации информационных операций.

2. Понятие информационных операций.

Ещё аксиоматически-дедуктивные определения информатики

В разделе 1 было установлено, что объектом информатики являются информационные операции – отношения-отображения «информаций», то есть, отношения-отображения разновидностей информации [29–31]. В настоящее время известны многие разновидности информации: «социальная», «массовая», «достоверная», «текстовая» «визуальная», «личная», «секретная», «специальная», «аудиальная» и т.д. до бесконечности. Это есть потребительские разновидности информации – открытое бесконечно-счётное множество неопределенно-эклектичных (не отвечающих единому критерию) и потому, например, повторяющихся (социальная информация всегда является массовой) или пересекаемых (социальная–достоверная, текстовая–визуальная, личная–секретная) «информаций», которые являются непригодными ни к какой иной, кроме бытовой, применяемости. Для этого имеют смысл только содержательные, нетрактуемые, однозначные и неизменяемо устанавливаемые разновидности информации. А для их выявления, очевидно, следует обращаться к началу начал, а именно, обращаться к канонике философии информации. В данном случае обращаться к её (информации) аксиоме «семантика – носитель» («семантика – форма») информации, выражающей морфологическое двуединство модальностей информации. Здесь семантика информации и её (семантики информации) форма-материальный носитель[10], так что (1): (информация) = (семантика информации) & (материальный носитель семантики информации).

Из аксиомы (1) получается, что возможные канонические разновидности информации следует искать в отношениях именно её семантики и материального носителя. Как оказывается, таких отношений имеет место два (и только два), которым соответствуют также две (и только две) разновидности информации: «связанная информации» и «свободная информация» [29–31].

Связанная информация [«bound (associated) information»] – информация о собственном носителе-«материале» – носителе собственной семантики. То есть, связанная информация – это «информация о самой себе» – любом природном косном объекте («природная» информация). И как информация «природная» и, таким образом, «внутренняя», она является для человека «закрытой».

Альтернатива связанной информации – свободная («free information») – это информация о несобственном носителе-«материале» (носителе-«конфигурации») – носителе семантики своего прообраза – связанной информации. Таким образом, свободная информация – это свободная (от носителя-«материала» связанной информации) «информация об информации» – информация о связанной информации. А образуется свободная информация посредством генерирования человеком-оператором своего видения связанной информации – её селективной модели-субстанции свойства.

Пример свободной информации. Здесь – физически реализованное (скажем, материализованное на экране цифрового вольтметра) число «пять». Носителем-«материалом» этой информации является люминофор дисплея вольтметра, носителем-«конфигурацией» – группирование этого люминофора в виде иероглифа «пять». При этом в носителе-«материале» – люминофоре, содержится собственная семантика («физико-химия») этого люминофора, а в носителе-«конфигурации» – иероглифе «5» (свойстве-абстрактном коде прообраза рассматриваемой свободной информации – связанной информации) содержится семантика этой информации – истинное значение измеряемого напряжения. Что же касается названного дешифратора, то им является правилосоотношение начертания иероглифов 0, 1, 2, 3, ...,9 (и в том числе, 5) с их количественным смыслом.

А далее обратим внимание на «природный» (принадлежность к сфере неживой – косной природы) и «человеческий» (принадлежность к ноосфере[11]) характер свободной информации и, следовательно, вытекающую отсюда полноту множества из двух и только двух – связанной и свободной, канонических разновидностей информации.

Понятие «информационные операции». В разделе 1 было установлено, что объектом информатики являются информационные операции – отношения-отображения разновидностей информации Но как было показано, канонических разновидностей информации имеется две и только две, – связанная и свободная. А это значит, что всех возможных их отношений-отображений может быть четыре и только четыре. А именно:

1) «связанная информация – связанная информация», 2) «связанная информация – свободная информация», 3) «свободная информация – свободная информация», 4) «свободная информация – связанная информация». А теперь отметим, что:

  1. В совокупности эти отношения-отображения, как оказывается, образуют некий системологический таксон – «линнеевский» тип, поименованный в [13–22] как «информационные операции» (ИО).
  2. И тогда, соответственно этому типу, образующие его четыре отношения-отображения могут быть поименованы классами ИО. При этом имеет место полнота этих классов ИО. Здесь, полнота, как результат принадлежности:
    1. классов ИО 1–3 как носителей свободной информации – к ноосфере.
    2. класса ИО 4 как носителя связанной («природной») информации – к косносфере.

А что ещё может быть в природе, кроме коснои ноосферы? (третья сфера природы – биосфера, как не имеющая отношения к информатике, была из рассмотрения исключена).

А теперь отметим, что класс ИО 4 не может относиться к целенаправленным действиям[12], а классы ИО 1–3 относятся. И потому, в связи с последующим выходом на информатику, объектами последующего рассмотрения должны быть именно классы ИО 1 – 3. При этом:

  1. Класс ИО 2 «связанная информация – свободная информация» (класс информационных операций «Восприятие») представляет собой «взятие» информации из природы – «дематериализацию» информации, то есть, представляет собой функции систем измерения, контроля, испытаний, тестирования, диагностирования и распознавания образов.
  2. Класс ИО 3 «свободная информация – свободная информация» (класс информационных операций «Переработка») представляет собой переработку информации, «взятой» из природы, то есть представляет собой компьютерные операции.
  3. Класс ИО 4 «свободная информация – связанная информация» (класс информационных операций «Воспроизведение») представляет собой «отдавание» информации в природу – «материализация» информации, то есть представляет собой функции производственных систем [систем изготовления сложной продукции (в том числе, робототехнических)] и систем кибернетического (в том числе, нейрокомпьютерного) Hi-Tech управления (самоорганизации, самонастройки, адаптации и оптимизации) – АСУ, АСУТП.

При этом следует отметить, что классы ИО 1 – 3 являются информационными аналогами-моделями известной триады трудовых действий – трудовой деятельности, человека В.И. Ленина – «диалектического пути познания»: От «живого созерцания (класса ИО “Восприятие” – А.Б.) к абстрактному мышлению (классу ИО “Переработка” – А.Б.) и от него к практике (классу ИО “Воспроизведение” – А.Б.)».

Ещё аксиоматически-дедуктивные определения информатики». Выше было отмечено, что информационные операции представляют собой информационные модели целенаправленных действий. То есть (это, в частности, следует из соответствия этих действий «диалектическому пути познания» В.И. Ленина) они охватывают собой всю трудовую деятельности человека. А это значит, что в применяемостном отношении (в области не информационной каноники, а отвечающих ей физических реалий) будет справедливым ещё и такое, также по К. Штайнбуху и др. пионерам информатики, аксиоматически-дедуктивно определение, как:

Информатика – это наука о компьютерной автоматизации (компьютеризации) трудовой деятельности человека.

Или обобщённо-«спрямлено» [с учётом того, что компьютеризировать можно только (и только) информационные операции]:

Информатика – это наука о компьютеризации.

А далее следует отметить, что, как оказывается, все эти определения в главном отвечают ещё и представлениям об информатике её теоретиков, – академика А.П. Ершова[13] {это наука о «целеустремлённой (целенаправленной – А.Б.) деятельности»[14] [32]} и профессора А.А. Берса[15] («Основанием информатики является деятельность» [33]. Очевидно – целенаправленная, то есть трудовая). И ещё. Как также оказывается, все приведенные аксиоматически-дедуктивные определения информатики полностью отвечают её определению, данному профессором МЭИ Ф.Е. Темниковым[16] ещё в 1963-м году – 50 лет тому назад. В самом деле. Ф.Е. Темников: «Информатика – это “научная дисциплина, связывающая вопросы сбора, передачи, обращения, переработки и использования информации”» [34, 35]. Здесь «передача информации» – как сохранение семантики при изменении её формы, может быть отнесена к «сбору» информации, а «обращение информации» – вообще к чему угодно. И тогда определение Ф.Е. Темникова предстаёт как: информатика это есть наука о сборе, переработке и использовании информации. А это значит, что то, что Ф.Е. Темников именовал:

  1. как «сбор» – есть информационные операции класса «Восприятие»,
  2. как «переработка» – есть информационные операции класса «Переработка»,
  3. как «использование» – есть информационные операции класса «Воспроизведение».

Вот и получается, что у информатики Ф.Е. Темникова объектная область – «сбор, «переработка», «использование» представляет собой выделенный выше системологический тип «информационные операции». А это, в свою очередь, означает, что получившаяся таким образом объектная область в определении информатики Ф.Е. Темникова в точности совпадает с таковой, отвечающей приведенным выше трём аксиоматическидедуктивным определениям информатики – информатики по К. Штайнбуху и др. При этом недостатком этого определения информатики Ф.Е. Темникова как эвристического (прозрение учёного!), является его недоказанность. Но, с другой стороны, определение информатики Ф.Е. Темникова всё же стало первым в мире[17] (!), полностью передавшим содержание информатики в соответствии с раскрытой выше аксиоматикой К. Штайнбуха и др.

И что получилось в итоге? И зачем оно? (Вместо заключения)

  1. Сегодня информатика имеет открытую – перманентно изменяемую (образуемую по индивидуальным или корпоративным предпочтениям специалистов) – неопределённую, и потому неструктурированную объектную область.
  2. Следствием такой неопределённости объектной области является отсутствие у информатики собственной теории (законов, теорем, правил и методов). А это значит, что информатика сегодня не является не только фундаментальной, но и вообще не является наукой.
  3. В итоге всё это проявляется в том, что у информатики сегодня:
  4. А. Не определены:

    • структура (наличие и состав теоретических оснований, состав приложений),
    • отношения с другими областями знания (теорией информации, информологией, инфодинамикой, информациологией).

    Б. Выпадает из сферы действия (явно) компьютеризация множества интеллектуализированных трудовых действий (Hi-Tech-информационных операций классов «Восприятие» и «Воспроизведение»). Например, функций Hi-Tech систем измерения, контроля, испытаний, тестирования, диагностирования и распознавания образов – ИИС, а ещё функций Hi-Tech производственных систем [систем изготовления сложной продукции (в том числе, робототехнических)] и систем кибернетического (в том числе, нейрокомпьютерного) управления (самоорганизации, самонастройки, адаптации и отимизации), – АСУ, АСУТП.

    В. Имеет место неоправданное (например, в части теоретических оснований) отнесение к информатике таких (потому как используемых и в других областях знания) наук, как системный анализ, математическая лингвистика, семиотика, проблемология и др.

  5. Причиной всего этого является эвристически индуктивный (не аксиоматически-дедуктивный), а следовательно и субъективный характер сегодняшней информатики (Информатика – «это то, чем занимаюсь “Я”» или – «это то, чем занимается “Мы”»).
  6. На основании основополагающей аксиомы проф. К. Штайнбуха («Информатика: автоматическая переработка информации», 1957 г.) и более поздней аксиомы инженера Ф. Дрейфуса (информатика – это наука об «информационных взаимодействиях – взаимодействиях “информаций”», 1962 г.) получены – с необходимостью вытекли аксиоматически-дедуктивные (в отличие от сегодняшних эвристических) определения:
  7. а) каноническое (в сфере информационных реалий): «Информатика – это наука о компьютерной автоматизации информационных операций»;

    б) пользовательски-потребительское (в сфере физических реалий): «Информатика – это наука о компьютерной автоматизации трудовой деятельности человека», где трудовая деятельность это есть изоморфизм-прообраз информационных операций – пункт а);

    в) обобщённое-Lite: Информатика – это наука о компьютеризации.

  8. Как оказывается, эти определения аксиоматической информатики охватывают все определения эвристической информатики. С другой стороны, они с необходимостью:
  9. а) учитывают все интеллектуализированные трудовые действия (п.3б), не охватываемые эвристической информатикой;

    б) выводят из сферы действия теоретических оснований информатики все, не имеющие отношения к ней, науки (п.3в).

  10. Выше аксиоматическая информатика была определена, как наука о компьютерной автоматизации информационных операций, где подчёркиванием осуществлено выделение исчерпывающих сущность информатики её ключевых слов – таких, как «компьютер», «автоматизация» и «информационные операции». В результате получается, что символически аксиоматическая информатика может быть раскрыта, как: Информатика = «компьютер» & «автоматизация» & «информационные операции». А далее нетрудно заметить, что такое раскрытие аксиоматической информатики с однозначностью определяет свойственные ей и только ей теоретические основания:
    • теория компьютеров (компьютерная математика) {«компьютерная наука» (Computational Science) – теория алгоритмов и логических моделей, законы формальной логики и алгоритмических языков, методы организации баз данных и т.д. [1]};
    • теория автоматизации (теория автоматического управления, или, более приближенно к потребностям аксиоматической информатики, компьютерно-информационно-«управленческого» знания – теория «компьютерного [компьютерно-цифрового(!)] управления[18]);
    • теория информационных операций [13–22].

    В свою очередь, такая концептуально-теоретическая надстройка информатики – теоретическая информатика находит свою применяемость в прикладной информатике, – совокупности специализированных (ориентированных на пользователя) – прикладных информатик. А в целом всё это определяет структуру аксиоматической информатики, представленную на рис. 1.

    Структура аксиоматической информатики, где «Общекомпьют. информатика» – это Computer Science, «Компьют.-прогр. информатика» – Software Engineering, «Компьют.-аппаратн. информатика – Hardware Engineering

    Рис. 1. Структура аксиоматической информатики, где «Общекомпьют. информатика» – это Computer Science, «Компьют.-прогр. информатика» – Software Engineering, «Компьют.-аппаратн. информатика – Hardware Engineering

    Необходимо отметить, что структура рис. 1 в части компьютерной информатики соответствует «Рекомендациям по преподаванию информатики», разработанным Объединённой комиссией по учебным планам при ACM и IEEE [38] (что, кстати, отвечает и «информатической» практике, сложившейся в Европе [39]).

    А в целом получается так, что то, что во всём мире рассматривается как информатика, в соответствии с аксиоматикой проф. К. Штайнбуха и др., составляет лишь часть её.

  11. В заключение обратим внимание на то, что полученные дедуктивные определения информатики не являются, как эвристические, надуманными – они:
    • с необходимостью получились (вытекли-последовали) из аксиоматики основоположника информатики проф. К. Штайнбуха и его последователей (Ф. Дрейфуса и др.),
    • также с необходимостью получились ещё и из этимологии термина «информатика».

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

Список литературы

  1. Поспелов Д.А. Становление информатики в России. – М., 1997
  2. Бондаревский А.С. Определение понятия информатики//Международный журнал прикладных и фундаментальных исследований. – 2010. – № 5
  3. Бондаревский А.С. Информатика как наука о техногенных информационных операциях//Актуальные вопросы современной техники и технологии. Сборник докладов Международной научной заочной конференции (Липецк, 24 апреля 2010 г.). Т. I / Под ред. А.В. Горбенко, С.В. Довженко. – Липецк: Издательский центр «Де-факто», 2010
  4. Бондаревский А.С. Информатика как наука об автоматизации информационных операций//Международный журнал прикладных и фундаментальных исследований. – 2011. – №11
  5. Бондаревский А.С. Предметная область информатики как науки об автоматизации информационных операций // Международный журнал прикладных и фундаментальных исследований. – 2011. – №12
  6. Бондаревский А.С. Информатика – «quo vadis?» («куда идешь?») // Тезисы IX Международной научно-практической конференции «Современные научные достижения – 2013». – Praga: Publishing House «Education and Science», 2013
  7. Бондаревский А.С. То, что сегодня называют информатикой, наукой не является. А что является? // Тезисы XX Международной конференции МГУ «Математика. Компьютер. Образование». – Ижевск: АНО НИЦ «Регулярная и хаотическая динамика», 2013
  8. Informatics (academic field)//http://en.wikipedia.org/wiki/Informatics_(academic field)
  9. Чёрный Ю.Ю. Полисемия в науке: когда она вредна? (на примере информатики) // Открытое образование. – 2010. – №6
  10. Karl SteinbuchInformatiker der ersten Stunde//http://www.karl-steinbuch-stipendium.de/karlsteinbuch.html
  11. Karl Steinbuch // http: // www.fpl.uni-kl.de/papers/publications/karlsteinbuchen.html
  12. Steinbuch K. «Informatik: Automatische Informationsverarbeitung» // SEG-Nach richten (Technische Mitteilungen der Standard Elektrik Gruppe), Firmenzeitschrift. – 1957
  13. Бондаревский А.С. Метрология информационных операций. Основания теории рисков // Электронная техника. Серия 3 «Микроэлектроника». – 1996. – Вып. 1
  14. Бондаревский А.С. Наука о точности – метрология информационных операций // Законодательная и прикладная метрология. – 2001. – №6
  15. Бондаревский А.С., Крекотень Ф.В. Информационные операции в системе обеспечения качества и надёжности – сущность и соотношение // Современные наукоемкие технологии. – 2005. – №1
  16. Бондаревский А.С. О точности информационных операций // Законодательная и прикладная метрология. – 2008. – №2
  17. Бондаревский А.С. Аксиоматика точности информационных операций//Фундаментальные исследования. – 2008. – №6
  18. Бондаревский A.С. Информационные основания операций измерения, контроля, испытаний. Проблема точности//Метрология. – 2008. – №10
  19. Бондаревский А.С. Информационные операции: свойства, применяемость свойств // Международный журнал прикладных и фундаментальных исследований. – 2011. – №3
  20. Бондаревский А.С. Информационные операции: понятие, канонические классы и виды 1 // Международный журнал прикладных и фундаментальных исследований. – 2011. – №5
  21. Бондаревский А.С. Информационные операции: понятие, канонические классы и виды 2 // Международный журнал прикладных и фундаментальных исследований. – 2011. – №8
  22. Бондаревский А.С. Информационные операции: парадоксы связи между каноническими и потребительскими видами //Международный журнал прикладных и фундаментальных исследований. – 2011. – №9
  23. Encyclopedia: Philippe Dreyfus // http://www.nationmaster.com/encyclopedia/Philippe-Dreyfus
  24. Шилов. В. В. Удивительная история информатики и автоматики // http://mo dernlib.ru/books/valeriy_shilov/udivitelnaya_istoriya_ informatiki_i_a
  25. LES-DICTIONNAIRES.COM //Informatique//http://www.lesdictionnaires.com/ informatique. Html
  26. M. Fourman. Informatics. Informatics Research Report EDI-INF-RR-0139. – Edinburgh: Division of Informatics, 2002.
  27. Информатика//Википедия
  28. Сейфуль-Мулюков Р.Б. Information Science: содержание предметной области// http://www.myshared.ru/slide/337902/
  29. Бондаревский А.С. Метрология информационных операций. Основания теории рисков//Электронная техника. Серия 3 «Микроэлектроника». – 1996. – Вып.1
  30. Бондаревский А.С. Понятие и разновидности информации //Международный журнал прикладных и фундаментальных исследований. – 2008. – №6
  31. Бондаревский А.С. Информация: свойства и канонические разновидности//Международный журнал прикладных и фундаментальных исследований, – 2011. – №6
  32. Ершов А.П. Компьютеризация школы и математическое образование // Избранные труды/А.П. Ершов. – Новосибирск: ВО «Наука», Сибирская издательская фирма», 1994
  33. Основанием информатики является деятельность. (Интервью с А.А. Берсом)// Метафизика. – 2012. – № 4 (6)
  34. Темников Ф.Е. О круге вопросов теории информатики//Тезисы докладов Третьей научно-технической конференции «Кибернетические пути совершенствования измерительной аппаратуры». – Л.: Изд-во ВНИИЭП, 1963
  35. Темников Ф.Е. Информатика//Известия высших учебных заведений. – 1963. – № 11
  36. Колин К.К. О структуре научных исследований по комплексной проблеме «Информатика»//Социальная информатика. – М.: ВКШ при ЦК ВЛКСМ, 1990
  37. Послесловие к 13-му заседанию совместного семинара ИПИ РАН и ИНИОН РАН «Методологические проблемы наук об информации» (27 июня 2013 г.)//http://www.inion.ru/files/File/MPNI_13_270613_Posleslovie.pdf
  38. Рекомендации по преподаванию программной инженерии и информатики в университетах = Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering; Computing Curricula 2001: Computer Science: пер. с англ. – М.: ИНТУИТ.РУ “Интернет-Университет Информационных Технологий”, 2007
  39. Informatics//http://en.wikipedia.org/wiki/ informati

Примечания.

1. К. Штайнбух (1917–2005), профессор университета в г. Карлсруэ, – создатель сегодняшнего Института техники и обработки информации при университете г. Карлсруэ (das heutige Universität Karlsruhe Institut für Technik der Informationsverarbeitung ITIV), теоретик программирования, «отец» теории искусственных нейронных сетей, известный изобретатель, – автор более 80 патентов, автор книги «Автомат и человек».

2. Ю. Ю. Черный, к.ф.н., зам. директора по научной работе Института научной информации в области общественных наук (ИНИОН) РАН.

3. Ф. Дрейфус (Philippe Dreyfus) , французский инженер-физик и программист, один из организаторов компьютерного дела в Европе – пионер информатики во Франции, участвовал в освоении первого программируемого (автоматически работающего) компьютера Марк I в Гарвардском университете (США), автор понятия «язык программирования».

4. Одновременно в 1962-м году и независимо от Ф. Дрейфуса и К. Штайнбуха термин «информатика» («Informatics») был предложен американским программистом Уолтером Ф. Бауэром (Walter F. Bauer) [8]. У.Ф. Бауэр определил этот термин, как «наука об информации». А сделал он это на основании этимологии термина «информатика», представив его в виде морфем: INFORM и ATICS, которые У.Ф. Бауэр интерпретировал (хотя возможны и другие, более оправданные, интерпретации – см. ниже) как: первая – «информация», а вторая – как греческий суффикс «atics», предназначенный для ориентирования предшествующей, первой морфемы на науку [24]). И потому сущность «наука об информации» у У.Ф. Бауэра стала необоснованно-конъюнктурно (начало мирового увлечения компьютерами) пониматься, как «application of computers to store and process information» [8]. Здесь – пониматься, как «применение компьютеров для хранения и обработки информации». Вот это и положило начало тому, что тогда США, а сегодня во всём, в основном, англоязычном, мире стало пониматься, как Computer Science.

5. Отделение информатики (Division of Informatics) Эдинбургского университета включает такие научные организации, как Centre for Intelligent Systems and their Applications, Institute for Adaptive and Neural Computation, Institute for Communicating and Collaborative Systems, Institute for Computing Systems Architecture, Institute of Perception, Action and Behaviour Laboratory for Foundations of Computer Science.

6. Например, известно, что информация – это есть семантика и (&) форма семантики. Но как можно автоматизировать семантику или форму семантики, или семантику & форму семантики? А никак!

7. Например, автоматизировать объект – сверло невозможно. Но можно автоматизировать взаимодействие-отношение объекта – сверла и объекта – заготовки то есть автоматизировать операцию сверления.

8. U – знак теоретико-множественного сложения (дизъюнкции).

9. Здесь следует отметить, что рассмотренная выше этимология У.Ф. Бауэра – «информатика – наука об информации» носит только необходимый, но не достаточный характер. Последнее, например, в том смысле, что в этимологии теряется обязательное для информатики понятие автоматизации, а последующее её (этимологии) раскрытие, как «применение компьютеров для хранения и обработки информации» с вытекающим обращением к Computer Science, и вовсе носит для данной этимологии надуманный (как отмечено выше – конъюнктурный) характер. Итак, выше, этимологически, с необходимостью и достаточностью, получилось, что понятие «информатика» должно раскрываться, как «автоматизация информации».

10. Ю.Ю. Чёрный: сущность информации проистекает, в частности, «из латинской этимологии слова “информация”, в соответствии с которой понятие “in-formatio” означает помещение чего-либо (здесь – семантики – А.Б.) в форму (материальный носитель семантики – А.Б.)».

11. Здесь, для простоты, не рассматривается био-разновидность свободной информации.

12. Понятие цели к косносфере не относится – это атрибут ноосферы.

13. А. П. Ершов (1931 1988), академик АН СССР выдающийся советский учёный, один из пионеров теоретического и практического программирования, создатель Сибирской школы информатики, . Его работы оказали огромное влияние на формирование и развитие вычислительной техники не только в СССР, но и во всём мире.

14. Обращено внимание Ю. Ю. Чёрным.

15. А.А. Берс, д. т. н., профессор – ведущий научный сотрудник Лаборатории САПР и АСБИС Института систем информатики им. А.П. Ершова СО РАН.

16. Ф.Е. Темников (1906-1993), д.т.н., профессор – профессор МЭИ, выдающийся советский и российский учёный-энциклопедист и педагог. Широко известен как основоположник отечественной телемеханики – создатель теории развёртывающих систем (центротехники) – концептуальной, алгоритмической и схемотехнической основы импульсных и цифровых АСУТП – систем централизованного измерения, контроля и управления сложными технологическими объектами. Менее известен как один из основоположников информатики и системотехники. Автор книг «Теория развёртывающих систем» и «Теоретические основы информационной техники».

17. Из имеющих место эвристических определений информатики в наиболее, по мнению автора [9], продвинутом (по состоянию на 2010 г.) определении информатики профессора К.К. Колина [36] с объектной областью «формирование, преобразование и распространение информации», в отличие от определения Ф. Е. Темникова 34,35], в явном виде не учитываются ни информационные операции класса «Восприятие» (функции ИИС и т.д.), ни информационные операции класса «Воспроизведение» [производственные функции, функции робототехники, кибернетического (Hi-Tech) управления и др.]. Или ещё более позднее (2013г.) определение информатики [37] её теоретика Э.Р. Сукиасяна. Определение с объектной областью «информационные явления, системы и процессы». Здесь, как это бывает при эвристике, объектная область информатики так же, как у К.К. Колина и др. авторов, не вытекает из некоей основополагающей аксиомы, а формируется собирательно – из элементов, выделяемых конвенциально или путём личных предпочтений специалистов. В результате (исключение – научная прозорливость-интуиция Ф.Е. Темникова) имеет место или их (элементов объектной области) неадресное назначение, или неполнота множества и в любом случае – недоказанность того, что получается. Например, в определении [37] в объектную область информатики попадают объекты-«явления». Но это оказывается дважды неправильным: во-первых, потому, что к информатике относятся (см. выше) не «явления» (то есть, «самосопряжённые» объекты), а относятся объекты-отношения таких «самосопряжённых» объектов, то есть, относятся объекты-операции. И во-вторых, понятие «явление», как имеющее «природный» (не антропогенный!) оттенок, вообще ни в каком качестве к информатике с её компьютеризованными и, таким образом, арт-объектами, отношения не имеет. Ещё. В определении [37] к информатике относятся «процессы», то есть, операции в динамике. Это неправильно. Как показано выше, операции – отношения разновидностей информации, являются объектами только информатики. А процессы, если «закрытые», то являются объектами не информатики, а информологии В.И. Сифорова, а если «открытые», то являются, соответственно, объектами инфодинамики Р.Р. ПорМансора (Ray R. PorMansor), А. Ульяновича (A. Ulanowicz), В.М Лачинова, А.О. Полякова. И так далее [например, в части «систем», упоминание которых оставляет под вопросом применяемость в информатике, например, таких технических средств, как установки и устройства (приборы, преобразователи)].

18. В данном случае речь идёт о создании новой теории, – трансформировании классической теории управления на цифровые аргументы: использование описаний объектов управления в конечных разностях или Z-операторах Лорана, переведение в цифру критериев устойчивости Гурвица, Найквиста, Михайлова, Попова; то же, – критериев управляемости и наблюдаемости Р. Калмана, методов А. Ляпунова, принципа максимума Л.С. Понтрягина (по аналогии с методом динамического программирования Р. Беллмана) и т.д. И, например, ещё, – использование лингвистических переменных, теории нечётких множеств Л. Заде, подходов искусственных нейронных сетей и т.д. В частности, – математического аппарата задач искусственного интеллекта и робототехники.

Об авторе: ОАО «Ангстрем-М»
Москва, Зеленоград, Россия
asb-research@mail.ru
Материалы международной конференции Sorucom 2014 (13-17 октября 2014)
Помещена в музей с разрешения авторов 8 Декабря 2014

Проект Эдуарда Пройдакова
© Совет Виртуального компьютерного музея, 1997 — 2017