Во вторник, 27 октября 2009 года, в 18:30 в аудитории 16-24 Главного здания МГУ состоится заседание Московского математического общества: Тезис Черча-Тюринга: история и недавние продвижения (The Church-Turing Thesis: Story and Recent Progress). Лектор – Ю. Ш. Гуревич (Исследовательский центр Майкрософт в Редмонде, США).
Тезис Черча-Тюринга это и основание и историческое начало современной информатики. Тезис привел Тюринга к универсальной вычислительной машине, откуда открылся прямой путь, по крайней мере, концептуально, к программируемым компьютерам.
Но почему мы принимаем тезис? Тщательный анализ показывает, что обычные аргументы неубедительны. В связи с этим, Курт Гедель думал, что может быть можно сформулировать аксиомы, которые схватывают суть вычислительных процессов, и потом формально вывести тезис Черча-Тюринга из этих аксиом. Это и есть то, что мы сделали (или по крайней мере попытались сделать) в недавней статье с Наумом Дершовицем из университета Тель Авива.
Помимо наших результатов, мне бы хотелось рассказать историю тезиса Черча-Тюринга. Эта увлекательная интеллектуальная драма разбросана по узкопрофессиональным и часто малоизвестным изданиям.
Московское математическое общество
