Читать «Размышления о думающих машинах. Тьюринг. Компьютерное исчисление» онлайн - страница 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