Читаем онлайн «Размышления о думающих машинах. Тьюринг. Компьютерное исчисление» 40 cтраница

Садах Витворта в Манчестере. Яблоко в руке напоминает о способе самоубийства.

Марка в память об Алане Тьюринге, выпущенная в 2012 году.

Памятное изображение в честь столетия со дня рождения Алана Тьюринга, которое отмечалось в 2012 году.

ВИЗУАЛИЗАЦИЯ ДНК В JMOL

Jmol - Java-программа визуализации, с помощью которой можно увидеть трехмерные структуры химических соединений, кристаллов, материалов и биомолекул. Один из самых интересных примеров — молекула ДНК, ее можно поворачивать, увеличивать или уменьшать, менять тип изображения и так далее. ДНК — полимер, имеющий структуру двойной спирали из повторяющихся блоков, нуклеотидов — аденина (А), цитозина (С), гуанина (G) и тимина (Т). Нуклеотиды одной спирали составляют пары с нуклеотидами другой спирали: А с Т, G с С, определяя на каждой спирали последовательности — гены, в которых хранится биологическая информация, передаваемая из поколения в поколение.

Визуализатор Java Jmol.

Они могут деформироваться, растягиваться и даже превращаться в нейронные, мускульные или костные клетки. Этот комплекс трансформаций объясняют с помощью математического моделирования механических феноменов, наблюдаемых в клетках. Данную идею, так же как и модель Тьюринга, использующую дифференциальные уравнения, поддержали ученые Конрад Уоддингтон (1905-1975), Мюррей Гелл-Ман (р. 1929) и Брайн Гудвин (1931-2009).

После открытия ДНК и разработки алгоритма для изучения генетической информации с помощью компьютера появилась новая дисциплина — биоинформатика. Компьютер был и остается важным инструментом для изучения ДНК, но также с его помощью разработан новый класс компьютеров, изучение которых привело к выделению вычислительных систему использующих ДНК. В 1994 году Леонард Адлеман (р. 1945), осуществив ряд опытов с ДНК, решил задачу о гамильтоновом графе, состоящую в обнаружении кратчайшего маршрута, проходящего по каждому городу один раз. Количество городов является строго определенным — Адлеман рассмотрел случай с семью городами. Эти опыты открыли путь другим исследователям, среди них был и Эхуд Шапиро (р. 1955), построивший машину Тьюринга из молекулы ДНК.

ПРИЗНАНИЕ НАСЛЕДИЯ

В 1999 году журнал Time назвал Алана Тьюринга в числе 20 наиболее влиятельных личностей XX столетия. С 1966 года Ассоциация вычислительной техники, более известная под сокращением ACM, ежегодно вручает премию Тьюринга — награду по информатике, эквивалентную Нобелевской премии. В 2009 году Гордон Браун, премьер-министр Британии в то время, принес официальные извинения за несправедливое осуждение Алана Тьюринга. Однако в феврале 2012 посмертное прошение о помиловании, представленное палате лордов и собравшее 23 тысячи подписей, было отклонено.

В честь празднования 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