Re: Can you find anything wrong with this solution to the Halting Problem?

From: Acme Diagnostics (LFinezapthis_at_partpostmark.net)
Date: 07/24/04


Date: 24 Jul 2004 10:37:04 -0500


 erayo@bilkent.edu.tr (Eray Ozkural exa) wrote:
>"Acme Diagnostics" <LFinezapthis@partpostmark.net> wrote in message news:<41016d93$0$90631
$45beb828
>@newscene.com>...
>> 8. So instead of that, Torkel, now aka the sarcasm guy, continues
>> with short cryptic questions, like at the top of this post, thus
>> risking nothing, simply to aggravate Larry.
>
>Ah, I know those cryptic questions and one-liners. Those seem a little
>derogatory on USENET. Ideal weapon if you want to start a flamewar and
>look like you did not intend to.

Hey Eray. I've seen that you've had some productive posts with Torkel,
and I want to make sure my chronicle/flame doesn't affect that. The
bad things about me you already know! <g> The good things I know
about Torkel:

1. He is a Phd (Phil I think) at a prestigious university in Sweden.

2. He has one book published by a prestigious publisher in Boston.

3. I assume he has a masterful command of mathematical logic, though
I don't know that. His focus on Goedel indicates that he has that
subject fully covered. The web content I saw billed him as a CS
professor.

4. He is not pretentious about the above accomplishments. I pumped
him for credentials twice even, and he didn't mention these. Though I
flamed him a little about that, I actually give him a lot of credit for
it.

5. He seems to be respected for his mathematical logic expertise in
sci.logic, though I've seen some controversy in his posts on that
subject. Can't remember which groups now, just general googling.

6. But most of all, I like direct evidence. He has one of the best
designed and best edited web-sites I've seen for readability. I was
struck by that right off when I first went there. Compared to DL's,
like night and day. I'd like to know if he designed and/or edited that
site himself. That's a big IF. But if he did, it would revise my
opinion of him considerably, especially since I assume English isn't
his first language. If he can write that well, he should have
demonstrated that in his posts. He posted one example of "editing" in
our flame war. It was not good. His criticism of the Dolan piece would
indicate a total lack of editing ability, but I really think it had
little to do with the actual merits, but two major axes to grind: 1)
Dolan, and 2) Popular Goedel descriptions on the web. Regarding the
latter, easy to see how those could cause academic problems for a CS
professor.

Unfortunately, the rest of my criticism remains, and if you remove the
invective (i.e. "stupid") I think it's pretty accurate.

FWIW.

Larry



Relevant Pages


Loading