Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Регистровые машины, арифметизация протоколов их работы
Что можно делать с вещественными числами и нельзя с целыми


Что: Лекция
Когда: Воскресенье, 06 октября 2013, 13:00–14:35
Где: ПОМИ РАН
Слайды: realnumbers_lecture_061013.pdf

Описание

В статье Yuri Matiyasevich. Existential arithmetization of Diophantine equations. Annals of Pure and Applied Logic, Volume 157, Issues 2–3, February 2009, Pages 225–233 предлагается техника, наиболее удобная для формализации.

Видео

Материалы