JonesJP, Matiyasevich Yu.V. ...

Новости

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

Jones J.P., Matijasevich Yu.V.

[1991]

Proof of recursive unsolvability of Hilbert’s tenth problem

Amer. Math. Monthly, 98, № 8, 689-709

92.09.60

article

Вернуться к поиску