| Что: | Лекция |
| Когда: | Воскресенье, 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 предлагается техника, наиболее удобная для формализации.
