City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Теорема о неподвижной точке. Машины Тьюринга
Foundations of computability and complexity theory

What: Lecture
When: Wednesday, 03 October 2012, 18:30–19:50
Where: ПОМИ РАН

Description

Теорема о неподвижной точке. Программа, печатающая свой текст. Доказательство с помощью искусственного языка программирования. Машины Тьюринга. Неразрешимость задачи Поста.

Video