[FOM] Query Concerning Excluded Middle & CH

[Serguei Mokhov]

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

http://books.google.ca/books?id=jhAXHuP2y04C&pg=PA339&source=gbs_toc_r&cad=3#v=onepage&q&f=false
http://www.amazon.com/Classical-Introduction-Modern-Graduate-Mathematics/dp/038797329X
http://www.springer.com/mathematics/numbers/book/978-0-387-97329-6

-- 
Serguei Mokhov
http://www.cs.concordia.ca/~mokhov
http://marf.sf.net | http://sf.net/projects/marf