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

Groups > comp.programming > #8521

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

Show all headers | View raw

On 20/03/18 19:42, Richard Heathfield 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 repeated assertion (I've told you a dozen times that it works).
Proof by insulting (you're an idiot, so my code is correct).
Proof by self-acknowledgement (I am a genius, therefore my code works).
Proof by paranoia (you are mean to me, it must be because my code is great).
Proof by bafflement (the code use multilayer asynchronous caching with
lock-free algorithms based on the Reinmann hypothesis, so it must be right).
Proof by promise (my code is right, I will give you the proof later).
Proof by appeal to authority (Knuth said something similar, therefore my
code is correct).
Proof by delusion (the code came to me in a dream, it must be divine and
therefore correct).

I think these are just some of the techniques used by the OP here!

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