🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.crypt
Article #648

Re: tabulation of primes

#648
From: Ulrich Graef
Date: Wed, 12 Aug 1992 19:46
25 lines
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!graef
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>

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