4 Неразрешимость десятой проблемы Гильберта о диофантовых уравнениях.

Сущность этой проблемы излагалась нами выше в § 3 и там же указывалось, что доказательство алгоритмической неразрешимости этой проблемы было дано в 1960 году молодым Петербургским математиком Ю. Матиясевичем.