Re: Yet another Attempt at Disproving the Halting Problem
From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 08/15/04
- Next message: Kai-Uwe Bux: "Compile time check for virtual destructor"
- Previous message: Bob Hairgrove: "Re: C/C++ compilers recommendations please help"
- 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"
- Reply: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Reply: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Sun, 15 Aug 2004 14:17:03 GMT
">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...
> | >parr\(*> says...
> |
> | Or may I call you "Laury"?
>
> You may call me what you like. 'parr' is temporary, even fish grow
> up.
> |
> | >Out of interest, do you think any currently produced real
> computers
> | >are Turing Complete? I don't think so because they can' have
> | >infinite length 'tapes'. Again, I could have misunderstood.
> |
> | Yes, that's right. In C, you can only refer to a limited number
> | of machine locations (although, really, really, huge).
> |
> | 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.
> --
> )>==ss$$%PARR(º> Parr
>
>
>
- Next message: Kai-Uwe Bux: "Compile time check for virtual destructor"
- Previous message: Bob Hairgrove: "Re: C/C++ compilers recommendations please help"
- 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"
- Reply: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Reply: >parr\(*>: "Re: Yet another Attempt at Disproving the Halting Problem"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|