Тьюринг. Компьютерное исчисление

В честь столетия со дня рождения Тьюринга научно-популярный журнал 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