Re: Yet another Attempt at Disproving the Halting Problem
From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 08/17/04
- Next message: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Previous message: Peter Olcott: "Re: The proof that I was referring to is on the website"
- In reply to: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Next in thread: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Mon, 16 Aug 2004 23:31:40 GMT
I am not British in this country you are an ass.
If you want to be an arse in your own country
you are welcome to it. The only thing that I can
figure is that the people that tend towards mean
nastiness must have something fundamentally wrong
with their lives.
">parr(*>" <gniKyruaL@tenretnitb.moc> wrote in message news:cfoeba$qt6$1@titan.btinternet.com...
> "Peter Olcott" <olcott@worldnet.att.net> wrote in message
> news:zfKTc.210977$OB3.45748@bgtnsc05-news.ops.worldnet.att.net...
> | ">parr(*>" <gniKyruaL@tenretnitb.moc> wrote in message
> news:cfm54d$ijh$1@titan.btinternet.com...
> | > "Daryl McCullough" <daryl@atc-nycorp.com> wrote in message
> | > news:cflvbj0a3v@drn.newsguy.com...
> | > | However, an actual program together with floppy disks is Turing
> | > | complete: whenever the program runs out of space it just asks
> | > | the user to please enter the next floppy disk. (Or "please
> enter
> | > | the previous floppy disk"). If the user is kindly keeping track
> | > | of the order of the floppies, that makes an actual program into
> | > | a kind of Turing machine in which one "square of the tape" is
> | > | an entire floppy disk, and instead of just two symbols 1 and 0,
> | > | it has 10^10^10 symbols (however many possible floppy disk
> states
> | > | there are).
> | >
> | > Theory vs practice. Always fun.
> | >
> | > BTW, I'm surprise you're still trying to 'help' Peter. If he's
> not a
> | > Troll, he's totally out of his depth an is unlikely ever to
> realise
> | > how poor his analytic abilities are.
> |
> | and you are stupid ass.
>
> Call me stupid if you like, but ass? Juvenile salmon would be more
> appropriate. Or perhaps you were mimicking Lord Charles and meant
> 'stupid arse'.
>
> Actually calling me a stupid kettle of fish might be the most
> appropriate rebuke given your own level of ability in your chosen
> subject.
>
> Have you wondered why a juvenile salmon was attracted to your
> inanities? It's quite simple really. If you go atrolling, you catch
> fish. The trouble is that some fish have big teeth such as enchodus
> the saber-toothed salmon:
> http://www.paleodirect.com/mv5.htm
>
> And now back to your own silliness in:
> http://www.halting-problem.com/
>
> Your first problem is in the very first sentence:
>
> "Alan Turing conclusively proved is that it is
> impossible to construct a halt analyzer that always
> returns a correct result back to the program being
> analyzed."
>
> He did not. He did not use 'returns a correct result' in his proof.
> He did not talk about programs (nor programmes as would have been the
> term used in Britain about 15 years later). And he most certainly
> and definitely did not have anything like 'returning a result back to
> the program being analysed'.
>
> Read again what you wrote. I'll paraphrase. You assert that in his
> proof, the program being analysed calls the halt analyser.
>
> Let me now repeat what he actually wrote:
> At the top of page 231:
>
> "In particular, it is shown (§11) that the
> Hilbertian Entscheidungsproblem can have no
> solution."
>
> Can you see any difference between what Turing wrote, and what you
> wrote?
>
> If you can, it's high time you started to use the correct terminology
> for your chosen field.
>
> If you can't, then you are welcome to be the stupid pot to my stupid
> kettle.
>
> If neither, you are a Troll.
>
> --
> )>==ss$$%PARR(º> Parr
>
>
>
- Next message: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Previous message: Peter Olcott: "Re: The proof that I was referring to is on the website"
- In reply to: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Next in thread: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
