From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_20,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10db24,77f71d0bde4c5bb4 X-Google-Attributes: gid10db24,public X-Google-Thread: 103376,86fd56abf3579c34 X-Google-Attributes: gid103376,public From: srt@zaphod.csci.unt.edu (Steve Tate) Subject: Re: Problems with proofs Date: 1995/04/20 Message-ID: <3n5t0c$nf4@hermes.unt.edu>#1/1 X-Deja-AN: 101283217 distribution: world references: <3kaksj$iur@isnews.calpoly.edu> followup-to: comp.lang.ada,comp.edu organization: University of North Texas newsgroups: comp.lang.ada,comp.edu Date: 1995-04-20T00:00:00+00:00 List-Id: Robin Rowe (cpp@netcom.com) wrote: > To: srt@zaphod.csci.unt.edu (Steve Tate) > Sb: Re: What good is halting prob? > Steve, > << I would guess Robin has not actually had experience in proving > correctness of programs from his comments, since they seem more like > guesses as to what might be involved in the process (if I am wrong > Robin, correct me!) >> > Geez, Steve, I thought you liked me. Time for a refresher on that > Dale Carnegie course? > And much more deleted.... Whoa!!!!! I never said *any* of that! I have not made a single comment on proving correctness of programs --- I don't know much about that --- I have only made comments on computability and the halting problem. Was the posting you're citing really done under my name? I haven't seen it at all (and *certainly* didn't write it). It's either (1) a forgery or (2) you've gotten an attribute mixed up. -- Steve Tate --- srt@cs.unt.edu | "As often as a study is cultivated by narrow Dept. of Computer Sciences | minds, they will draw from it narrow University of North Texas | conclusions." -- John Stuart Mill, 1865. Denton, TX 76201 |