A positive solution to Hilbert's 10th problem
General Mathematics
2014-07-18 v2
Abstract
Polynome codes and code evaluation; arithmetical theory frames; -recursive race for decision; decision correctness; decision termination; correct termination in theory of Primitive Recursion; comparison with the negative result of Matiyasevich; positive solution in p.r. non-infinite-descent theory
Cite
@article{arxiv.1406.0360,
title = {A positive solution to Hilbert's 10th problem},
author = {Michael Pfender},
journal= {arXiv preprint arXiv:1406.0360},
year = {2014}
}