Re: Simple versus formal proof?


Ross Clement (Email address invalid - do not use) wrote:

That's another question I have about proofs. While anyone can see that
one of k and k+1 must be even and hence the product is even, is it
really excessively verbose to mention that when giving the proof?

Depends on who you're writing for. Unless you're writing a genuinely
formal proof (which you probably don't want to do unless you're
actually working on logic or set theory) a proof should have enough
detail that the intended reader can say to himself "I can see just
how to fill in the gaps". Gauging this just right is somewhere between
impossible and very impossible, though.

.

Relevant Pages

  • Re: rd.d/power_profile: dev.cpu.0.cz_supported doesnt exist
    ... sysctl: hw.acpi.cpu.cx_lowest: Invalid argument ... what mobo? ... It works on my 64-bit system I'm writing this ...
    (freebsd-stable)
  • Re: From The Guardian - Radio show had it all - except sound
    ... This reminds me of my boyhood habit of writing to such organisations as Radio Moscow. ... Please replace invalid and invalid with gmx and net to reply. ...
    (uk.tech.broadcast)
  • Re: Simple versus formal proof?
    ... Ross Clement (Email address invalid - do not use) wrote: ... Mohab is completely wrong here. ... It's quite a sweet proof, and every bit as valid as the "k or k+1 must be..." ...
    (sci.math)
  • Re: strlen
    ... Gordon Burditt wrote: ... to see if invalid arguments had been passed, ... instead of writing the program ...
    (comp.lang.c)
  • Set a cell from within a function
    ... I am writing a function to calculate the area of a triangle given the lengths ... If the inputs are invalid, ...
    (microsoft.public.excel.misc)