Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming > #8511

Re: I will provide you with a more rigorous logical proof..

From cross@spitfire.i.gajendra.net (Dan Cross)
Newsgroups comp.programming
Subject Re: I will provide you with a more rigorous logical proof..
Date 2018-03-20 20:00 +0000
Organization PANIX Public Access Internet and UNIX, NYC
Message-ID <p8rp9r$b7n$1@reader2.panix.com> (permalink)
References <p8piv7$nmb$7@dont-email.me> <825fb3d0-c2df-483b-8779-b9dc71327180@googlegroups.com> <p8rkmk$5i8$1@dont-email.me>

Show all headers | View raw

In article <p8rkmk$5i8$1@dont-email.me>,
Richard Heathfield  <rjh@cpax.org.uk> wrote:
>On 20/03/18 18:28, Chad wrote:
>> Well that pretty much narrows it down to like how many types of math proofs used in programming? The one I know are proof by Induction and
>proof by contradiction.
>
>You're missing some:
>
>proof by repetition (it worked twice, so it works)
>proof by project manager (ready or not, it ships on Friday)
>proof by intimidation (I have a scary diagram, so we do it my way)
>
>I'm sure there are plenty more.

Proof by committee fiat.
Proof by advisor.
Proof by indignation.
Etc....

	- Dan C.

Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

I will provide you with a more rigorous logical proof.. computer45 <computer45@cyber.com> - 2018-03-20 00:00 -0400
  I will provide you with a more rigorous logical proof.. Chad <cdalten@gmail.com> - 2018-03-20 11:28 -0700
    Re: I will provide you with a more rigorous logical proof.. Richard Heathfield <rjh@cpax.org.uk> - 2018-03-20 18:42 +0000
      Re: I will provide you with a more rigorous logical proof.. cross@spitfire.i.gajendra.net (Dan Cross) - 2018-03-20 20:00 +0000
      Re: I will provide you with a more rigorous logical proof.. David Brown <david.brown@hesbynett.no> - 2018-03-21 13:22 +0100
    Re: I will provide you with a more rigorous logical proof.. cross@spitfire.i.gajendra.net (Dan Cross) - 2018-03-20 20:02 +0000
      Re: I will provide you with a more rigorous logical proof.. Chad <cdalten@gmail.com> - 2018-03-20 13:23 -0700
    Re: I will provide you with a more rigorous logical proof.. Sjouke Burry <burrynulnulfour@ppllaanneett.nnll> - 2018-03-20 21:07 +0100
      Re: I will provide you with a more rigorous logical proof.. Chad <cdalten@gmail.com> - 2018-03-20 13:25 -0700
        Re: I will provide you with a more rigorous logical proof.. Sjouke Burry <burrynulnulfour@ppllaanneett.nnll> - 2018-03-20 21:44 +0100
          Re: I will provide you with a more rigorous logical proof.. David Brown <david.brown@hesbynett.no> - 2018-03-21 13:28 +0100
            Re: I will provide you with a more rigorous logical proof.. Chad <cdalten@gmail.com> - 2018-03-22 08:19 -0700
              Re: I will provide you with a more rigorous logical proof.. Richard Heathfield <rjh@cpax.org.uk> - 2018-03-22 18:13 +0000

csiph-web