Re: Are PCs Turing Machines?
From: Thomas A. Li (tli_at_corporola.com)
Date: 12/02/04
- Next message: Stephen Harris: "Re: Lambda Calculus and Turing Equivalence"
- Previous message: examachine_at_gmail.com: "The necessary conditions for models of computation"
- In reply to: Eray Ozkural exa: "Poll: Are PCs Turing Machines?"
- Next in thread: ošin: "Re: Are PCs Turing Machines?"
- Reply: ošin: "Re: Are PCs Turing Machines?"
- Reply: Lord of Chaos\(Suresh Devanathan\): "Re: Are PCs Turing Machines?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Thu, 2 Dec 2004 09:52:09 -0500
If you accept that PC can calculate integer, it is a Turing machine in some
sense.
Precisely, PC is a physical realization of a Turing machine with physical
limitation.
Turing machine is a mathematical model/abstraction of general computation,
including PC.
a PC can approach to a Turing machine closer and closer , but never be the
same, because the TAPE of a Turing machine is infinite. Given sufficient
storage, in our physical world, they are equivalent in computability.
Thomas Li
"Eray Ozkural exa" <examachine@gmail.com> wrote in message
news:320e992a.0412011208.2b75bc@posting.google.com...
> I wonder what people really think about this.
>
> Are PCs physical examples to Turing Machines? [*]
>
> Please write only Yes/No to avoid discussion.
>
> Regards,
>
> --
> Eray
>
> [*] The alternative being they are not. There are some arguments that
> this is the case.
- Next message: Stephen Harris: "Re: Lambda Calculus and Turing Equivalence"
- Previous message: examachine_at_gmail.com: "The necessary conditions for models of computation"
- In reply to: Eray Ozkural exa: "Poll: Are PCs Turing Machines?"
- Next in thread: ošin: "Re: Are PCs Turing Machines?"
- Reply: ošin: "Re: Are PCs Turing Machines?"
- Reply: Lord of Chaos\(Suresh Devanathan\): "Re: Are PCs Turing Machines?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
