Re: Comparing Proofs of Rosser's 1936 Theorem

Charlie-Boo wrote:
H. J. Sander Bruggink wrote:

[quote, Charlie-Boo, 3/3/06]
I thought # 2 was shorter, simpler, doesn't involve knowing the proof
that the Halting Problem is unsolvable, and is easier to understand.
What is the "one basic idea" that you are referring to that you
discovered appears in both proofs?
[/quote]

Note how you prefer "proof #2" partly because it doesn't
"involve knowing the proof that the Halting Problem is
unsolvable."

Did you change your mind, then?

No, you changed logic. The quote above says that (all else considered
equal) it's better to not use HP than to use HP. My latter comment
says (implies) that it's better to use HP than to have to create a
new proof.

Substitute "well-known result" for "HP" and all your
comments apply equally to both proofs. Again, what's
the difference?

He agrees
with my criteria for a suitable formalization completely.
This is very odd, given that formal logic is about 150 years
old, and Ockham lived in the 13th century.
Don't be silly. I say that I agree with Occam and you call me a
liar?????
I didn't call you a liar

You just did.

Please provide a quote where I say "Charlie-Boo is
a liar", or something similar. Note that if you fail
to provide such a quote, I will be very inclined to
call you a liar, after all.

groente
-- Sander
.

Relevant Pages

  • Re: Comparing Proofs of Rossers 1936 Theorem
    ... I thought # 2 was shorter, simpler, doesn't involve knowing the proof ... that the Halting Problem is unsolvable, ... with my criteria for a suitable formalization completely. ... and Ockham lived in the 13th century. ...
    (sci.logic)
  • Re: Comparing Proofs of Rossers 1936 Theorem
    ... I thought # 2 was shorter, simpler, doesn't involve knowing the proof ... that the Halting Problem is unsolvable, ... and Ockham lived in the 13th century. ... I said I agree with Occam - about 8 times. ...
    (sci.logic)
  • Re: Worst Review Ever
    ... Knowing that Meikle has a demented - whoops, ... He's a liar! ...
    (uk.media.tv.misc)
  • Re: What is the Result from Invoking this Halt Function?
    ... Olcott that seems to compel a response? ... outrage or, at least, moral duty -- as when a liar or doctrinaire hack ... There is an elementary proof that the Halting Problem is unsolvable (one ...
    (sci.logic)
  • Re: What is the Result from Invoking this Halt Function?
    ... Olcott that seems to compel a response? ... outrage or, at least, moral duty -- as when a liar or doctrinaire hack ... There is an elementary proof that the Halting Problem is unsolvable (one ...
    (comp.theory)
Loading