| What: | Lecture |
| When: | Sunday, 06 October 2013, 13:00–14:35 |
| Where: | ПОМИ РАН |
| Slides: | 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 предлагается техника, наиболее удобная для формализации.
