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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1c672d5b3cfa54cf X-Google-Attributes: gid103376,public From: kilgallen@eisner.decus.org (Larry Kilgallen) Subject: Re: "Bugs" (Was: Anyone could give a complete and yet small Date: 1997/01/13 Message-ID: <1997Jan13.143803.1@eisner>#1/1 X-Deja-AN: 209570877 x-nntp-posting-host: eisner.decus.org references: <97011113060854@psavax.pwfl.com> <32DA7CB4.456@lmtas.lmco.com> x-nntp-posting-user: KILGALLEN x-trace: 853184288/3808 organization: LJK Software newsgroups: comp.lang.ada Date: 1997-01-13T00:00:00+00:00 List-Id: In article <32DA7CB4.456@lmtas.lmco.com>, Ken Garlington writes: > Marin David Condic, 561.796.8997, M/S 731-93 wrote: >> >> Richard Riehle writes: >> > Following on the proposition stated by Mr. Maggio, we may ask the >> > question, "Does all software contain mistakes?" >> > >> Oh.. I don't know. It would seem to me that one could write a >> sufficiently small program which contained no "mistakes" - >> provided one was real careful about stating the requirements. Does >> anyone doubt that a "perfect" program could be written to satisfy >> the requirement: "Output the result of adding 2 and 2"? > > Output - in what base? to what device? :) Those are minor details. I can show any program to be bug-free if you let me do the specification after the fact, especially if I can continue to revise the specification. At worst, if the program is inconsistent from run-to-run, I can specify it as a pseudo-random number generator :-) Larry Kilgallen