Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам
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 столетия, тоже пытаемся афористично выразить основные признаки той материальной среды, которая создана нашими усилиями и которая окружает нас со всех сторон. При этом мы понимаем, что в такое афористическое определение должно входить не столько то, что лежит на поверхности, что сразу бросается в глаза, сколько то, что имеет перспективы развития, что настойчивее чего-либо другого стучится в нашу дверь. И очень часто, давая такое определение, мы говорим: мы живем в век кибернетики.
...Неприметное здание в три или четыре этажа. Вы входите в вестибюль, проходите коридор и попадаете в обширный зал, заставленный металлическими шкафами. Внезапно раздается частая дробь глухих ударов, и вы видите, как из резиновых вальцов выползает широкий лист бумаги с наносимыми строка за строкой рядами цифр. В этих цифрах — результат только что выполненной математической процедуры, на которую у человека могли бы уйти годы труда. За считанные минуты ее произвел один из представителей кибернетического племени искусственных счетчиков. Проникнитесь важностью момента: вы присутствовали при проявлении первых проблесков «искусственного разума», предназначенного многократно усилить естественный человеческий разум, наблюдали историческое пробуждение стихии, которой, как можно предвидеть, суждено великое будущее...