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