home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / crypt / 2882 < prev    next >
Encoding:
Internet Message Format  |  1992-08-12  |  1.0 KB
  1. Path: sparky!uunet!icd.ab.com!usenet.ins.cwru.edu!magnus.acs.ohio-state.edu!sample.eng.ohio-state.edu!zaphod.mps.ohio-state.edu!usc!cs.utexas.edu!sun-barr!olivea!sgigate!odin!sgi!wdl1!wdl39!mab
  2. From: mab@wdl39.wdl.loral.com (Mark A Biggar)
  3. Newsgroups: sci.crypt
  4. Subject: Math Induction (was Re: tabulation of primes)
  5. Message-ID: <1992Aug12.213221.8240@wdl.loral.com>
  6. Date: 12 Aug 92 21:32:21 GMT
  7. References: <1992Aug12.152948.39350@news.th-darmstadt.de> <1992Aug12.171656.8755@tessi.com> <1992Aug12.194603.23527@news.th-darmstadt.de>
  8. Sender: news@wdl.loral.com
  9. Organization: Loral Western Development Labs
  10. Lines: 19
  11.  
  12. I have seen two different definitions of induction:
  13.  
  14. method 1
  15.     prove p(0)
  16.     prove (p(0) & p(1) & ... & p(n)) -> p(n+1)
  17.     therefore p(x) holds for all positive integers
  18.  
  19. method 2
  20.     prove p(0)
  21.     prove p(n) -> p(n+1)
  22.     therefore p(X) holds etc.
  23.  
  24. Are these of equal strength, in other words can I prove some things with 1
  25. that I can't prove with just 2?  Which of these is equivalent to the last
  26. peano axiom?
  27.  
  28. --
  29. Mark Biggar
  30. mab@wdl1.wdl.loral.com
  31.