[FOM] Number theory proof mentioned by Frege

Chris Gray cpgray at library.uwaterloo.ca
Thu Apr 17 16:17:32 EDT 2008


Andras,

Thanks.  I was having trouble finding the book because Frege only gives 
the title of what is the first part of a longer work.

In beginning to cure my ignorance of this area, I noticed the possible 
relation to Frobenius's theorem that others mentioned.  Now I'll be able 
to determine this.

Thanks to all who replied,
Chris

Simonyi, András wrote:
> Dear Chris,
> the full text of the book referred to by Frege is available on
> Google's Book Search:
> http://books.google.com/books?id=754KAAAAYAAJ&printsec=titlepage
>
> Best wishes,
> Andras Simonyi
> Applied Logic Laboratory, Budapest, Hungary
>
> On 16/04/2008, Chris Gray <cpgray at library.uwaterloo.ca> wrote:
>   
>> In "The Foundations of Arithmetic", Frege mentions a proof from pp.106-7
>>  of Hermann Henkel's Theorie der complexen Zahlensysteme.
>>
>>  "Hankel proves that any closed field of complex numbers of higher order
>>  than the ordinary, if made subject to all the laws of addition and
>>  multiplication, contains a contradiction."  Frege p. 106
>>
>>  I have no copy of the Henkel book available to me.  Is this a well-known
>>  result?  Is this proof discussed or given elsewhere?
>>
>>  Thanks,
>>
>> Chris Gray
>>  University of Waterloo Library
>>  _______________________________________________
>>  FOM mailing list
>>  FOM at cs.nyu.edu
>>  http://www.cs.nyu.edu/mailman/listinfo/fom
>>
>>     
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>   


-- 
"Designing normally requires a designer considering aesthetic, functional, and many other aspects of an object or process, which usually requires considerable research, thought, modeling, interactive adjustment, and re-design."  --Design, Wikipedia



More information about the FOM mailing list