SWhat changed
Matiyasevich supplied a Diophantine representation of exponential growth, completing the prior Davis–Putnam–Robinson route from enumerable predicates to polynomial equations and the impossibility of a general integer-solvability algorithm.
Scientific scope
Matiyasevich supplied a Diophantine representation of exponential growth, completing the prior Davis–Putnam–Robinson route from enumerable predicates to polynomial equations and the impossibility of a general integer-solvability algorithm. Scope limitation: The four names credit the mathematical development; the 1970 paper itself is authored by Matiyasevich. General undecidability does not prevent solving individual equations or restricted classes. Integer, nonnegative-integer and positive-integer formulations are related by the reductions noted in the source.
Evidence
Assessment uses the catalogue-linked source evidence for the stated contribution. The four names credit the mathematical development; the 1970 paper itself is authored by Matiyasevich. General undecidability does not prevent solving individual equations or restricted classes. Integer, nonnegative-integer and positive-integer formulations are related by the reductions noted in the source.
Contributors
- Yu. V. Matiyasevich · SCIENCE: Named source contributor; exact labor shares are not measured.
- Martin Davis · SCIENCE: Named source contributor; exact labor shares are not measured.
- Hilary Putnam · SCIENCE: Named source contributor; exact labor shares are not measured.
- Julia Robinson · SCIENCE: Named source contributor; exact labor shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction