home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1273 < prev    next >
Encoding:
Internet Message Format  |  1992-08-16  |  1.2 KB
  1. Path: sparky!uunet!sun-barr!ames!agate!math.berkeley.edu!solovay
  2. From: solovay@math.berkeley.edu (Robert M. Solovay)
  3. Newsgroups: sci.logic
  4. Subject: Re: Non-standard integers.
  5. Date: 17 Aug 1992 08:57:03 GMT
  6. Organization: U.C. Berkeley Math. Department.
  7. Lines: 17
  8. Distribution: world
  9. Message-ID: <16npkvINNjlq@agate.berkeley.edu>
  10. References: <1992Aug17.141017.373@csc.canterbury.ac.nz>
  11. NNTP-Posting-Host: math.berkeley.edu
  12. Summary: Result quoted is false
  13.  
  14. In article <1992Aug17.141017.373@csc.canterbury.ac.nz> wft@math.canterbury.ac.nz (Bill Taylor) writes:
  15. >I recall once seeing an article by Kemeny, in which he looked at a nonstandard
  16. >model of the integers, in which there would be two (nonstandard) integers,
  17. >n and n+2, both of which would be divisible by all standard integers. The
  18. >hope was to be able to use this model to decide the twin-prime (or related)
  19. >conjectures.
  20. >
  21. If the integer n is divisible by 4, then n + 2 is not. This fact
  22. [obviously true in the standard model] can be proved in PA, and so
  23. holds in non-standard models as well. 
  24.  
  25. It's a reasonable question (to which I don't know the answer) what the
  26. result of Kemeny is that wft is misremembering.
  27. >
  28. >Thanks,      Bill Taylor.         wft@math.canterbury.ac.nz
  29.  
  30. Bob Solovay solovay@math.berkeley.edu
  31.