Reductions of Hilbert's tenth problem

DOI10.2307/2964397MaRDI QIDQ3256317zbMATH OpenOpenAlexFDO

Authors 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

Cites work

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

Cited in

(3)

• My Life as a Logician
• A story of Hilbert's tenth problem
• Bibliography of Hilary Putnam’s Writings in Logic and Mathematics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3256317)