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

Martin Davis martin at eipye.com
Wed Jan 11 21:17:10 EST 2017

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
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>

More information about the FOM mailing list