Re: Python from Wise Guy's Viewpoint

From: Joachim Durchholz (joachim.durchholz_at_web.de)
Date: 10/30/03

  • Next message: Joachim Durchholz: "Re: Python from Wise Guy's Viewpoint" 
    Date: Thu, 30 Oct 2003 02:21:42 +0100

    Joe Marshall wrote:

    > I believe that a substantial number of useful programs are correct,
    > but not provably so.

    With "not provably", do you mean "not provable with reasonable effort",
    or do you mean "not provable due to the Goedel incompleteness theorem"?

    (Personally, I think the former is quite common though not so different
    as many people think, and that the latter yet has to occur for anybody.)

    Regards,
    Jo

  • Next message: Joachim Durchholz: "Re: Python from Wise Guy's Viewpoint"

    Relevant Pages

    • Re: OT: More Antilock brakes
      ... In comp.lang.functional Joe Marshall wrote: ... > provably incorrect and that there are few caused by `correct, ... is so extremely small in practice that I cannot even meaningfully make ... Regards, ...
      (comp.lang.lisp)
    • Re: b432b
      ... "Joe Marshall" wrote in message ... I saw an "identical" yet different message in one of the java groups. ... Regards, ... Will Hartung ...
      (comp.lang.lisp)
    • Re: Python from Wise Guys Viewpoint
      ... Joe Marshall wrote: ... It's factually incorrect and illogical, ... Regards ... Adrian Hey ...
      (comp.lang.lisp)