[FOM] Fwd: Query Concerning Excluded Middle & CH

[John Doner]

Amazon.com lets you "Look Inside", and one can see the very page (359)!

Begin forwarded message:

> From: carl at math.uni-bonn.de
> Subject: Re: [FOM] Query Concerning Excluded Middle & CH
> Date: January 28, 2013 3:08:10 AM PST
> To: "Foundations of Mathematics" <fom at cs.nyu.edu>
> Reply-To: Foundations of Mathematics <fom at cs.nyu.edu>
> 
>> 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.
> 
> Merlin
> 
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>