Пять изобретений Алана Тьюринга, которые повлияли на развитие науки и ИТ-отрасли

На самом деле, классическая машина Тьюринга - это всего лишь более внешне привлекательная адаптация механизма лямбда-исчисления, изобретённого научным руководителем Тьюринга Чёрчем. Именно Чёрч и Пост изобрели математическую модель универсального вычислительного устройства. А в машине Тьюринга не было никакой научной новизны. Она просто больше понравилась программистам своим описанием, так как напоминала устройством настоящий компьютер с магнитной лентой. Это точно не та вещь, которую надо ставить на первое место в достижениях Тьюринга.

Действительно новое изобретение Тьюринга - это машина Тьюринга с оракулом, о которой подавляющему большинству специалистов вообще неизвестно. МТО круче любого компьютера, и неизвестно, можно ли вообще построить равномощное ей устройство (гиперкомпьютер).

Про Bombe тоже довольно стереотипная перепечатка британских заметок в духе того как Тьюринг чуть ли не в одного победил во второй мировой. Там его заслуга, если разобраться, заключается в том, что он хорошо оптимизировал алгоритмы использования польской разработки. Да, это безусловно стало неким прорывом, но на отдельное изобретение надо сильно натягивать. "Разработал", "построил", "автоматическую". Поляки тоже разработали и построили автоматические "Бомбы", просто им потом пришлось бежать из Варшавы. Да и называется в более серьезной литературе машина бомбой Тьюринга-Велчмана, что говорит о не единоличных заслугах. А касательно раскрытия планов Вермахта, так там вообще другие лица и технологии были задействованы. Штабы общались при помощи машины Лоренц, а не Энигма, и для дешифровки использовался компьютер Колосс, которого собрал другой инженер - Томми Флауерс, который в отношении раскрытия планов внес гораздо больший вклад.

ЗЫ. Ничего против Тьюринга как гениального математика не имею.

Машина Тьюринга (МТ), безусловно, та вещь, которую, не сомневаясь, нужно ставить заслуженно на первое мест среди его достижений. Хотя бы, ориентируясь на ее известность. О ней знают даже те, которые даже не знают, как она работает :)

А МТ работает совсем не так, как машина Поста (МП). Качественно не так! Т.е. прямо от слова совсем! И ее программы соответственно качественно отличаются от программ для МП. Во-первых, у ней есть состояния, которых нет у МП. Во-вторых, у нее ассоциативная адресация команд в отличие от адресной адресации у МП. Уже только этого достаточно, чтобы считать ее серьезным научным достижением, которое недооценено по сей день, т.к. современные процессоры работают по принципу МП, но не по принципу МТ.

Т.е. МТ это еще наше будущее :) А потому только это научное достижение Тьюринга делает его, безусловно, не только гениальнейшим математиком (а это уже признанный факт), но и, как минимум, недооцененным изобретателем одноименной архитектуры вычислительных систем. Которые, к сожалению, все еще ждут своего воплощения в железе. Да, кстати, и будущее программирование будет соответственно совсем другим. Качественно другим.

Ну, а пока есть только имитаторы МТ... :)