13.06.2006 Новости*1 _____ *1 Окончание. Начало см. PC Week/RE N 20/2006, с. 35 ИСТОРИЯ ВТ Нельзя не отметить, что фон Нейман имел предшественника в лице выдающегося английского ученого Алана Мэтисона Тьюринга (Alan Mathison Turing, 1912-1954). Еще в бытность студентом-математиком Кембриджского университета Тьюринг увлекся математической логикой и, в частности, заинтересовался так называемой проблемой разрешимости (Entscheidungsproblem), которую выдвинул в 1900 г. на Международном математическом конгрессе в Париже великий немецкий математик Давид Гильберт. Суть ее состояла в "отыскании общего метода, позволяющего определить, выполнимо ли данное высказывание на языке формальной логики, т. е. установить его истинность". Двадцатичетырехлетний Тьюринг в апреле 1936 г. доказал, что эта проблема неразрешима, и опубликовал полученные результаты в статье "О вычислимых числах применительно к проблеме разрешимости" (On Computable Numbers, with an Application to the Entscheidungsproblem); она появилась в 1936-1937 гг. и принесла автору всемирную известность. В качестве инструмента доказательства Тьюринг использовал предложенную им гипотетическую машину, за которой закрепилось название "универсальной машины Тьюринга" (Universal Turing Machine, UTM). Она считывала с внешней памяти - ленты, неограниченной с обеих сторон и разбитой на отдельные ячейки, символы внешнего алфавита, которыми кодировались как подаваемые в машину сведения, так и те, что вырабатывались в ней. В ячейке мог ...
читать далее.
