Размышления о думающих машинах. Тьюринг. Компьютерное исчисление - Коллектив авторов (полная версия книги TXT) 📗
В честь празднования 100-летия со дня рождения ученого 2012 год был назван Годом памяти Алана Тьюринга, в течение которого проводились юбилейные мероприятия, конференции и собрания по всему миру. В Соединенном Королевстве их было проведено больше всего. Также была выпущена памятная марка с изображением Bombe — машины, с помощью которой Алан Тьюринг и его коллеги расшифровали коды «Энигмы», сделав вклад в победу своей страны и союзников во Второй мировой войне.
В честь столетия со дня рождения Тьюринга научно-популярный журнал Scientific American посвятил ученому специальный номер, названный «Наука после Алана Тьюринга». Сегодня установлено пять «синих табличек», посвященных Алану Тьюрингу. В Британии подобные таблички устанавливаются на зданиях, где родился, жил или умер какой-либо великий деятель.
Список рекомендуемой литературы
Arbib, М.А., Cerebros, mdquinas у matemdticas, Madrid, Alianza Universidad, 1987.
Bell, E.T., Los grandes matemdticos, Buenos Aires, Losada, 2010.
Boyer, C., Historia de la matemdtica, Madrid, Alianza Editorial, 2007.
Coello, C.A., Breve historia de la computation у sus pioneros, Mexico D.F., FCE, 2003.
Crane, T., La mente mecdnica. Introduction filosofica a mentes, md- quinas у representation mental, Mexico D.F., FCE, 2008.
Isasi, P., Martinez, P., Borrajo, D., Lenguajes, gramdticas у automatas. Un enfoque prdctico, Madrid, Pearson Education, 1997.
Lahoz-Beltra, R., Bioinformdtica. Simulation, vida artificial e inteligencia artificial, Madrid, Diaz de Santos, 2004.
—: Turing. Del primer ordenador a la inteligencia artificial, Madrid, Nivola, 2009.
Leavitt, D., El hombre que sabia demasiado, Barcelona, Editorial Antoni Bosch, 2007.
Odifreddi, P., La matemdtica delsiglo xx: de los conjuntos a la complejidad, Buenos Aires, Katz Editores, 2006.
Pena, R., De Euclides a Java: Historia de los algoritmos у de los lenguajes de programacion, Madrid, Nivola, 2006.
Stewart, I., Historia de las matemdticas, Madrid, Critica, 2008.
Strathern, P., Turingy el ordenador, Madrid, Siglo XXI, 1999.
Указатель
автомат 46-49, 92, 104
клеточный 46, 47, 49, 138
конечный 22, 28, 34, 46-48
нейронный 47, 102-109, 136, 137
самовоспроизводящийся 92 4
Алгол 37
алгоритм 34-38, 40, 50, 70, 73, 88, 95, 112, 113, 117, 124, 125, 127, 135, 137, 141
квантовый 126, 127
свойства 34
алфавит 28, 30, 46, 57, 58
анализ числовой 86, 95
«Аполлон», проект 32, 33
Атанасофф, Джон Винсент 89, 90
байт 97
барабаны см. Bombe 57, 66
бесконечный ряд 19
биоинформатика 123, 141
биология 7, 8, 10, 11, 17, 102, 116, 117, 123, 137, 138
вычислительный подход 116
математика 117, 123 бит 71, 75, 106, 127, 129
операции 13, 37, 49, 55, 62, 68, 73, 74, 84, 88, 90, 94, 103, 104, 112, 129, 132-134
Блетчли-Парк 9, 11, 23, 51, 60-64, 68, 70-72, 75-77, 79, 81, 95, 112, 126, 130
Блох, сфера 132, 133 бомба 61, 63, 64
бомба атомная 73, 87, 92
Брока, Поль 103
булева алгебра 74, 75, 104, 106, 133
Бэббидж, Чарльз 81, 90
Вейнценбаум, Джозеф 114
вентиль
Адамара 135
квантовый 18-20, 38, 92, 123-127, 129, 131, 133, 134
Паули 135
вероятности теория 23, 73, 132, 133
Вирт, Никлаус 37
Вторая мировая война 7-9, 11, 22, 23, 27, 53, 55, 57, 59, 62, 68, 70, 76, 77, 81, 86, 90, 97, 142
вычисление 11, 22, 27, 34, 40, 116, 126, 129, 131, 141
ДНК 141
Национальный музей 77
«эффективный метод» 34
Гарднер, Мартин 46
Гедель, Курт 22, 24, 26, 27, 39, 124
гены 118, 138, 140
Гильберт, Давид 22, 26, 27, 130
голоса шифровка 64, 65
Дарвин, Чарльз 81
дедукция 26
ДНК 10, 25, 136, 138, 140, 141
Дойч, Дэвид 28, 123, 124
точка плавающая 84
зебры, образец шкуры 10, 118, 120, 137, 139
золотое сечение 117
игра «Жизнь» 46-49, 134
интуиция 25, 50, 114, 124, 125
искусственный интеллект 7, 9, 37, 68, 101, 102, 107, 111-115, 123, 126, 134, 136, 137
квантовый 134
поведенческий подход 110
сильный 114
символьный подход 112
слабый 114
субсимвольный подход 104
КАПЧА 7, 111
Каспаров, Гарри 112-114, 119
карта перфорированная 63
Килбурн, Том 95
Кларк, Уэсли 135
когнитивные науки 102
код 44, 53, 60, 69-71, 83, 87, 93, 94, 140
Бодо 70, 71
ключевой 44, 83, 93
машинный 44, 83, 93
Морзе 70
«Энигмы» 7, 11, 62, 142
компилятор 44, 93, 112
компьютер 7-11, 13, 22, 25-27, 32-34, 36, 38, 40-47, 49, 53, 70, 72-77, 79, 81-93, 95, 97, 99, 101-105, 109-117, 120, 123, 125, 127, 129, 132-136, 141
виртуальный 33, 83
квантовый 8, 10, 38, 123, 127, 129, 130, 132-135
Цузе 90
эмуляторы 85
АВС 89
Baby 23, 86, 89, 95
Bendix G15 86
Colossus 9, 10, 33, 72, 74-77, 79, 88-90, 95, 134
EDSAC 10, 82, 87, 89
EDVAC87, 89, 92, 93
ENIAC 10, 44, 77, 87-90, 92, 93, 136
Ferranti Mark I 11, 86, 89, 91, 97
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
