home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11430 < prev    next >
Encoding:
Internet Message Format  |  1992-09-14  |  930 b 
  1. Path: sparky!uunet!dtix!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!math.fu-berlin.de!informatik.tu-muenchen.de!regent!greil
  2. From: greil@guug.de (Anton Greil)
  3. Newsgroups: sci.math
  4. Subject: incompletness of arithmetic, conjugacy problem
  5. Message-ID: <greil.716497944@guug.de>
  6. Date: 14 Sep 92 19:12:24 GMT
  7. Sender: news@regent.e-technik.tu-muenchen.de (News System)
  8. Organization: Technical University of Munich, Germany
  9. Lines: 10
  10.  
  11. Many number-theoretical problems can be embedded into the context of
  12. discrete subgroups of Moebius transformations.
  13.  
  14. In 1971 C.F. Miller has shown that the conjugacy problem is unsolvable for 
  15. finitely generated linear groups, like e.g. the modular group or the Picard
  16. group. Has it ever happened to a researcher, that the solution of an arithmetic
  17. problem would have needed necessarily the solution of the conjugacy problem and
  18. that thus the incompletness of arithmetic (Goedel) came to light ?
  19.  
  20. Toni
  21.