статья в Кванте №2 за 2021 год про десятую проблему Гильберта — Ю.В.Матиясевича (который эту проблему и решил) 2.0K viewsedited 17:59