Размышления о думающих машинах. Тьюринг. Компьютерное исчисление
Шрифт:
UNIVAC 182
ZX Spectrum 85
Конвей, Джон 46, 47, 134
Королевское общество 95, 114
криптография 68, 126, 129, 134
криптология 60 (см. криптография) кубит 127-133
лжец парадокс 24, 25
логика 20, 22-24, 33, 50, 70, 74, 75, 94, 102, 104
лямбда-исчисление 36
Маккалок — Питтс модель 103, 104, 108, 136, 137
Маккарти, Джон 37, 101, 136
Макмахон закон 87
маркер 40
математика прикладная 23, 88, 95
машина
дезорганизованная 103
индетерминистская 40, 46
конечных
Лоренца — Lorenz SZ 40-42, 68, 70, 72, 76
программируемая 72, 88
Робинсона 72
самовоспроизводящаяся 92
состояния 29-32, 45
Тьюринга 7-11, 15, 17, 20, 22, 23, 27-30, 32-34, 36-47, 50, 64, 65, 68, 72, 73, 76, 81, 82, 84, 86, 88, 90, 96, 101-103, 106, 108-116, 123-126, 132, 135-138, 141
Тьюринга квантовая 38, 123, 124, 126
умная 68, 112, 114
умножения 50
универсальная 32-38, 46, 47, 73, 76, 82, 86, 90, 96, 103, 125, 132
«Энигма» 7, 11, 56-70, 72, 142
рефлектор 58, 60, 65
роторы 57, 58, 60, 61, 64, 65
стартер 60 Tunny 70
метод
двух направлений 83
Монте-Карло 92
Тьюринг 68
механика квантовая 18-20, 92, 124, 125, 127, 129
Дирак счисление 127
запутанность 50, 129, 132
интерференция 129
суперпозиция 127
модуль 33, 65
мозг 60, 64, 92, 102, 103, 112, 113, 118, 124-126, 135
искусственный 64, 112
человеческий 60, 102, 103, 112, 124, 125, 135
Мокли, Джон В. 88, 89
Морком, Кристофер 19, 124
морфогенез 11, 116-118, 120, 136, 138
морфогены 118, 138
Национальная физическая лаборатория 11, 81
Нейман, Джон фон 8, 20, 51, 73, 89, 90, 92
архитектура 9, 90, 92, 93, 134
нейрон 46, 60, 102-106, 108, 109, 136, 137
биологический 142
волокна тренировки 107
искусственный 9, 103, 106, 108, 137
искусственный квантовый 134
синапсис 108
соединение 88, 103, 106-108, 134-136
порог 104, 109
цепь 107, 118, 124, 135
невычислимый 50, 125
неполнота, теорема 22, 24, 39
Ньюман, Макс 11, 23, 74, 95
обучение 103, 114, 137
относительность 18, 19, 124
оператор 36, 37, 57, 58, 65-67, 71, 75, 94, 104, 108, 133
булев AND 75, 76, 88, 103-108, 132, 133, 137
булев NAND 104, 108
булев NOT 106, 108, 133
булев OR 71, 75, 76, 88, 103-107, 132, 133, 137
булев XOR 71
модуль 33, 65
тензорное произведение 130
оракул 40
орден Британской империи 71
память 27, 28, 30, 31, 33, 38, 44, 47, 75, 82-84, 88, 89, 95-97, 102, 114, 127
аккумулятор 88
вспомогательная 44, 97
лента 30, 31, 34, 44, 47, 75
лучевая
магнитный барабан 97
основная 27, 88, 95-97
регистр 28, 29, 38, 111, 135
ртутная линия 82
трубка Уильямса 97
управление 83
RAM 27, 38, 44, 95, 97
ROM 89
парадокс 24, 25, 42
«Паскаль» 13, 37, 96
Пенроуз, Роджер 124
переход 29, 40, 45, 48, 49
правила 26, 27, 29, 48, 49, 129
переводчик функция 33
подсолнухи, эксперимент 116
Полани, Майкл 101
поляризованный свет 132
проблема 8, 16, 20, 26, 27, 34, 37, 38, 40-43, 49, 50, 111, 125, 141
вычисляемая 37, 125
определения 26
остановки 8
Entscheidungsproblem 23, 40, 49
программа 11, 25, 26, 28, 29, 32, 33, 35, 37, 38, 41-44, 46, 57, 73, 76, 81-84, 86, 88, 93-97, 105, 109, 112-115, 119, 125, 126, 132, 135
разум 16, 19, 20, 90, 102-104
Рамон-и-Кахаль, Сантьяго 102, 107
Рассел, Бертран 20, 23, 26
рассуждение 26, 42, 50, 113, 114
Режевский, Мариан 60, 61
ретрокомпьютинг 85
Розенблатт, Франк 136
Сейл, Тони 77
секретность официальная закон 77
сети искусственные нейронные 10, 11, 103, 104, 123, 134, 136, 137
тип В 103, 106, 107
симуляция 8, 10, 38, 45-47, 56, 73, 101, 107, 115, 117, 126, 134-136
морфогенез 11, 116-118, 120, 136, 138
поведение 30, 31, 101, 104, 106, 110, 111, 136
симулятор 33, 46, 56, 66, 127
система 7, 16, 18, 26, 27, 32, 44, 46, 56, 60, 62-65, 68, 70, 72, 73, 83, 88, 90, 96, 97, 128-130, 132
неполная 24
неполная по Тьюрингу 96
нумерация 88, 90, 128
оперативная 44, 46, 83
самореференсная 25
эксперт 113 AGC 32, 33
совесть 113, 124, 125
спамботы 111
таблица переходов 29, 30, 40
топология 23
Уайтхед, Альфред Н. 22, 24
Уилкс, Морис 83, 87
Уильямс, Фредерик 95-97
Улам, Станислав 92
Университет 20, 22, 63, 95, 96
Брандейский 45
Кембриджский 8, 11, 19, 20, 21, 23, 46, 62, 95, 101
Манчестерский 9, 11, 23, 86, 87, 91, 95, 97, 101, 102, 116, 135, 138
Оксфордский 125
Пенсильванский 87-89
Принстонский 11, 50, 51, 90
Уотсон, Томас Дж. 10, 63, 138
уравнения 11, 35, 88, 95, 120, 126, 141
реакция — диффузия 11, 118, 120
условное выражение 23, 89, 94