Reductions of Hilbert's tenth problem

DOI10.2307/2964397zbMath0085.24802OpenAlexW2057527195MaRDI QIDQ3256317

Hilary Putman, Martin Davis

Publication date: 1959

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964397

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (3)

My Life as a Logician ⋮ A Story of Hilbert’s Tenth Problem ⋮ Bibliography of Hilary Putnam’s Writings in Logic and Mathematics

Cites Work

• Arithmetical representation of recursively enumerable sets
• Arithmetical problems and recursively enumerable predicates

This page was built for publication: Reductions of Hilbert's tenth problem