Annotation
Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.
Б.В. Бирюков В.Н. Тростников
ВВЕДЕНИЕ
1. ВНАЧАЛЕ БЫЛО СЛОВО
2. МЕХАНИЧЕСКОЕ РАССУЖДЕНИЕ
3. ОБРЕТЕНИЕ ПИСЬМЕННОСТИ
4. ВЕЛИКАЯ ПЕРЕОЦЕНКА ЦЕННОСТЕЙ
5. ПРОВОЗВЕСТНИКИ ПЕРЕМЕН
6. ТЕОРЕМА ГЁДЕЛЯ
7. ЧТО ТАКОЕ «МОЖНО ВЫЧИСЛИТЬ»?
8. ВОЗМОЖНОСТИ ВЫЧИСЛИТЕЛЬНЫХ МАШИН И ЧЕЛОВЕК
ЗАКЛЮЧЕНИЕ
notes
*
**
**
1
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
140
141
142
143
144
145
146
147
148
149
150
151
151
152
153
154
155
156
Б.В. Бирюков В.Н. Тростников
Жар холодных числ и пафос бесстрастной логики
Формализация мышления от античных времен до эпохи кибернетики.
ИЗДАТЕЛЬСТВО «Знание»
Москва
1977
ВВЕДЕНИЕ
Людям всегда было свойственно стремление понять свою цивилизацию, дать ей емкую характеристику, выделить главное в ее научно-технических достижениях. Так рождались многие определения, часто получавшиеся очень удачными, — «век пара», «век электричества» и т. д. Мы, люди второй половины XX столетия, тоже пытаемся афористично выразить основные признаки той материальной среды, которая создана нашими усилиями и которая окружает нас со всех сторон. При этом мы понимаем, что в такое афористическое определение должно входить не столько то, что лежит на поверхности, что сразу бросается в глаза, сколько то, что имеет перспективы развития, что настойчивее чего-либо другого стучится в нашу дверь. И очень часто, давая такое определение, мы говорим: мы живем в век кибернетики.
...Неприметное здание в три или четыре этажа. Вы входите в вестибюль, проходите коридор и попадаете в обширный зал, заставленный металлическими шкафами. Внезапно раздается частая дробь глухих ударов, и вы видите, как из резиновых вальцов выползает широкий лист бумаги с наносимыми строка за строкой рядами цифр. В этих цифрах — результат только что выполненной математической процедуры, на которую у человека могли бы уйти годы труда. За считанные минуты ее произвел один из представителей кибернетического племени искусственных счетчиков. Проникнитесь важностью момента: вы присутствовали при проявлении первых проблесков «искусственного разума», предназначенного многократно усилить естественный человеческий разум, наблюдали историческое пробуждение стихии, которой, как можно предвидеть, суждено великое будущее...
Можно ли попытаться конкретно обрисовать все те изменения в науке, технике, во всем укладе человеческой жизни, которые сулит стремительное развитие кибернетики (в 1953 г. на земном шаре было несколько десятков примитивных ЭВМ; сейчас число «больших» ЭВМ перевалило за 100 тысяч, и среди них имеются «гиганты мысли», выполняющие до миллиарда операций в секунду)? Мы убеждены, что сделать это невозможно: из-за лавинного роста научно-технической информации судьбы будущей материальной основы цивилизации плохо «вмещаются» в существующие описательные средства, и прогнозирование ее развития является труднейшей задачей. Правда, нам хотелось бы указать на некоторые линии, по которым, как мы полагаем, воздействие ЭВМ на нашу жизнь станет в недалеком будущем особенно ощутимым (например, изменение всего института администрирования, связанное с переходом от «волевых» и интуитивных методов к оптимальному управлению);
но мы представляем себе, как через не очень много лет читателю попадется в руки наша слегка пожелтевшая книжка, и он с усмешкой скажет о нас: «Какая же бедная была у них фантазия!» — представляем эту сцену и отказываемся от предсказаний. Провидеть сейчас даже главные последствия распространения ЭВМ, пожалуй, не намного легче, чем первобытному человеку угадать последствия изобретения орудий труда. Тогда был сделан первый гигантский шаг в становлении всей человеческой цивилизации — появилось продолжение человеческой руки. Сейчас сделан второй шаг: возникло продолжение человеческого мозга.
Так откуда же взялась эта новая сила? Ясно, что она не спустилась с неба, что ее создали люди. Но какие люди и когда создали ее? Распространено мнение: кибернетика возникла в 40-х годах на базе развитого приборостроения и развитой электроники, благодаря идеям Норберта Винера, занимавшегося в то время вопросами управления артиллерийской стрельбой. Из этой схемы вытекают два главных вывода: во-первых, кибернетика есть типичное дитя нашего времени, во-вторых, ее появление на свет обязано в основном непосредственным требованиям практики. Даже те, кто знает о древнегреческом корне слова «кибернетика» и о том, что это слово употреблял уже Ампер в своей классификации наук (причем в смысле, имеющем параллель с его современным значением), нередко воспринимают кибернетику как явление новейшее. В действительности же эта область знания и практической деятельности слишком глубока и серьезна, чтобы принадлежать лишь ультрасовременности.
Кибернетику не могли единолично создать ни Н. Винер, ни К. Шеннон, ни Дж. фон Нейман, поскольку необходимая для этого мыслительная работа во много раз превосходит возможности даже самого одаренного человека. Она явилась итогом и завершением длительного пути развития теоретической мысли и практики. Ближайшие предвестники и предшественники кибернетики прослеживаются с такой ясностью и определенностью, что могут быть названы точно; кстати, они меньше всего имеют отношение к древнегреческим идеям об управлении и взглядам Ампера. Это прежде всего две области: «чистая» математика — математика в ее наиболее «абстрактных» разделах — и экспериментально-теоретическая нейрофизиология. В этой книге мы будем говорить только о первой предпосылке кибернетики — об отрасли математики, которая изучает построение формальных дедуктивных теорий и обычно называется математической логикой. Без интенсивного развития этой науки, начавшегося еще на пороге нашего столетия, без серии блестящих результатов, полученных логиками в тридцатых годах, без создания символического логического аппарата и детальной разработки методов логики нечего было бы и думать о кибернетике.