Читать «Размышления о думающих машинах. Тьюринг. Компьютерное исчисление» онлайн - страница 65
Rafael Lahoz-Beltra
Harvard Mark 190
IAS 92
Macintosh 83, 85, 88
Manchester Mark I (MADAM) 11, 95, 97, 102, 113
ORDVAC 92, 93
Packard-Bell PB250 86
Pilot ACE 7, 9-11, 76, 79, 82, 83, 85, 86, 88, 89
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
конечных состояний 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
лучевая трубка 82, 96, 97
магнитный барабан 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