[FOM] Riemann Hypothesis as Pi-0-1 arithmetic proposition

[Martin Davis]

There is a computable function g such that RH is equivalent to the
statement that for all positive integers n::
        { [sum_(k<g(n)) 1/k] - n^2/2}^2  < 36n^3.
Details in: Martin Davis, Yuri Matijasevic, and Julia Robinson,"Hilbert's
Tenth Problem: Diophantine Equations: Positive Aspects of a Negative
Solution,''
Proceedings of Symposia in Pure Mathematics, vol.28(1976), pp. 323-378;
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170111/cd612691/attachment.html>