Re: Godel proved maths inconsistent not incompleteness theorem

On Mar 27, 5:15 pm, William Hale <h...@xxxxxxxxxx> wrote:
In article
<9a579dcf-9d56-4ef6-bac9-f2eab1f65...@xxxxxxxxxxxxxxxxxxxxxxxxxxx>, Charlie-Boo <shymath...@xxxxxxxxx> wrote:

[cut]

Not very funny. It needlessly wastes time addressing these so called
jokes, since it is not always clear when you are joking and when you are
serious.

Is tracking down a reference only to find that it does not contain
what was claimed a waste of time?

No.

I could go into a long harangue why I feel this way, but I will spare
you. Instead, I give one anecdote when I worked long ago as a systems
programmer: when a programmer I supervised would have a bug in a program
he wrote and I could immediately see what the bug was without even
reading any of his code, I would let the programmer find the solution on
his own (with some minor guidance on my part). My boss was totally
against this: he claimed it was a waste of time.

You are not the only one who has trouble tracking down a reference to
find that it does not contain what you thought was claimed. Over the
past 10 years I have spent some time at looking at Isabelle, Metamath,
etc without finding what I want and having more questions being raised
that I would then have to pursue. For example, with Isabelle, now higher
order logic (HOL) and the ML language are things on my stack of things
to do. I think what keeps me going in this pursuit is that I am learning
things.

Yeah, tracking down bogus references takes you places you might not
have seen before. In that sense, being throw in jail is useful. But
aren't there much better uses of ones time?

The real question is, what is one to do when people will not give the
result they claim exists, but instead give one bogus reference after
another, and claim you are lazy if you ask them to show the result
here to end these wild goose chases.

The problem is there is no code of ethics. It should be a standard
that a person give the result here (some scintilla of evidence) if
challenged. Otherwise, how is one to prevent the endless citing of BS
references that we are seeing right now? (I intend to address that on
my home page.)

C-B



.

Relevant Pages

  • Re: variable declaration
    ... > think about the cost of lack of var declarations. ... > programmer will waste while remembering exact variable name. ... Traceback: ...
    (comp.lang.python)
  • Re: Function side effects (again)
    ... to a programmer who wrote code as shown above. ... But it only takes once to waste an awful lot of debugging time. ... Many 'computer scientists' say the same about using floating-point. ... I regard this aspect as a failure of WG5. ...
    (comp.lang.fortran)
  • Re: Help with circuit(programming pics)
    ... to know if the circuit itself is bad or not. ... a waste since thats what I want to use. ... case I would have already brought a programmer such as the pickit2. ... I think he'll gain something from it, ...
    (sci.electronics.design)
  • Re: Generics is a waste of time
    ... > but the point is using generics only slows down development. ... > by unchecked casts at compile time. ... Floating point numbers is a waste of time. ... then what does it say about you as a programmer? ...
    (comp.lang.java.programmer)