Заседание Московского математического общества 27 октября 2009 года

Автор темы Даниил Кальченко 
ОбъявленияПоследний пост
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеЗапущен новый раздел «Задачки и головоломки»29.08.2019 00:42
ОбъявлениеПреподаватель мехмата МГУ удостоен международной премии по математике Presburger Award28.07.2020 01:04
20.10.2009 14:59
Заседание Московского математического общества 27 октября 2009 года
Во вторник, 27 октября 2009 года, в 18:30 в аудитории 16-24 Главного здания МГУ состоится заседание Московского математического общества: Тезис Черча-Тюринга: история и недавние продвижения (The Church-Turing Thesis: Story and Recent Progress). Лектор – Ю. Ш. Гуревич (Исследовательский центр Майкрософт в Редмонде, США).

Тезис Черча-Тюринга это и основание и историческое начало современной информатики. Тезис привел Тюринга к универсальной вычислительной машине, откуда открылся прямой путь, по крайней мере, концептуально, к программируемым компьютерам.

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

Помимо наших результатов, мне бы хотелось рассказать историю тезиса Черча-Тюринга. Эта увлекательная интеллектуальная драма разбросана по узкопрофессиональным и часто малоизвестным изданиям.

Московское математическое общество
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти