Город: Санкт-Петербург Новосибирск Казань Язык: Русский 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 предлагается техника, наиболее удобная для формализации.

Видео

Другие материалы