[FOM] Query Concerning Excluded Middle & CH

Serguei Mokhov serguei at gmail.com
Tue Jan 29 21:28:05 EST 2013

On Mon, Jan 28, 2013 at 6:08 AM,  <carl at math.uni-bonn.de> wrote:
>> There has been at least one theorem in number theory proved by
>> showing that it follows from the Riemann hypothesis AND that it
>> follows from the negation of the Riemann hypothesis, and then
>> appealing to excluded middle. (See Ireland & Rosen, _A Classical
>> Introduction to Modern Number Theory_ , Theorem 20.6.1.)
> Could you tell me which edition of Ireland&Rosen you refer to? I wanted to
> look it up, but my copy only goes up to chapter 18.

It's in the 2nd edition, p.359


Serguei Mokhov
http://marf.sf.net | http://sf.net/projects/marf

More information about the FOM mailing list