Article View: sci.crypt
Article #648Re: tabulation of primes
From: Ulrich Graef
Date: Wed, 12 Aug 1992 19:46
Date: Wed, 12 Aug 1992 19:46
25 lines
1612 bytes
1612 bytes
In article <1992Aug12.171656.8755@tessi.com>, george@tessi.com (George Mitchell) writes: > graef@rs5.hrz.th-darmstadt.de (Ulrich Graef) writes: > > >You must notice, that there exists a small community (even with > >mathematicians among them) which does not believe in inductive > >proofs. I think, they have a lot of problems with commonly > >accepted theorems. > > Whoa! Euclid's proof does not involve induction! It is a > reductio ad absurdum proof, ... You are right, but I only use the wrong words (english is not my native language). There is also a group, which worries about `reductio ad absurdum' proofs. A friend of mine worry about both!!! Uli -- Ulrich Graef | analog (phone) : +49 6155 62493 Lichtenbergweg 11 | digital (Email): graef@hrz.th-darmstadt.de D-W-6103 Griesheim +-------------------------------------------- Germany | Nothing is real, look into your mirror!
Technical Details
Message-ID:
<1992Aug12.194603.23527@news.th-darmstadt.de>Path:
arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!Sirius.dfn.de!math.fu-berlin.de!news.th-darmstadt.de!rs5.hrz.th-darmstadt.de!graefReferences:
<9208101729.AA24006@gandalf.ssw.com> <1557@anagld.analytics.com> <Bstqr2.Lxq@cs.columbia.edu> <1992Aug12.152948.39350@news.th-darmstadt.de> <1992Aug12.171656.8755@tessi.com>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!Sirius.dfn.de!math.fu-berlin.de!news.th-darmstadt.de!rs5.hrz.th-darmstadt.de!graef From: graef@rs5.hrz.th-darmstadt.de (Ulrich Graef) Newsgroups: sci.crypt Subject: Re: tabulation of primes Message-ID: <1992Aug12.194603.23527@news.th-darmstadt.de> Date: 12 Aug 92 19:46:03 GMT References: <9208101729.AA24006@gandalf.ssw.com> <1557@anagld.analytics.com> <Bstqr2.Lxq@cs.columbia.edu> <1992Aug12.152948.39350@news.th-darmstadt.de> <1992Aug12.171656.8755@tessi.com> Sender: news@news.th-darmstadt.de (The Usenet-News System) Organization: TU Darmstadt Lines: 25 Nntp-Posting-Host: rs5.hrz.th-darmstadt.de