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

Регистровые машины, арифметизация протоколов их работы
What can be done with real numbers and cannot be done with integers

What: Lecture
When: Sunday, 06 October 2013, 13:00–14:35
Where: ПОМИ РАН
Slides: realnumbers_lecture_061013.pdf

Description

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

Video