On Wed, Jun 22, 2005 at 09:25:09AM +0200, Bruno Marchal wrote:
>
>
> >>>Conjecture: All "harnessable" physical processes can be simulated by
> >>>a
> >>>Turing machine. By harnessable, we mean exploited for performing some
> >>>computation. I suspect this is true.
> >>
> >>I don't understand.
>
Le 22-juin-05, à 01:06, Russell Standish a écrit :
On Tue, Jun 21, 2005 at 07:43:49PM +0200, Bruno Marchal wrote:
Turing's thesis: Any process that can be naturally called an
effective
procedure is realized by a Turing machine.
Not OK. Please give me the page.
2nd edition, page 24, abo
On Tue, Jun 21, 2005 at 07:43:49PM +0200, Bruno Marchal wrote:
> >
> >Turing's thesis: Any process that can be naturally called an effective
> >procedure is realized by a Turing machine.
>
> Not OK. Please give me the page.
>
2nd edition, page 24, about 1/3 of the way down the page.
> >
> >Both
Le 21-juin-05, à 12:28, Russell Standish a écrit :
On Mon, Jun 20, 2005 at 11:40:03AM +0200, Bruno Marchal wrote:
Le 17-juin-05, ? 07:19, Russell Standish a ?crit :
Hmm - this is really a definition of a universal machine. That such a
machine exists is a theorem. Neither depend on the Churc
On Mon, Jun 20, 2005 at 11:40:03AM +0200, Bruno Marchal wrote:
>
> Le 17-juin-05, ? 07:19, Russell Standish a ?crit :
>
> >Hmm - this is really a definition of a universal machine. That such a
> >machine exists is a theorem. Neither depend on the Church-Turing
> >thesis, which says that any "effe
Le 17-juin-05, à 07:19, Russell Standish a écrit :
Hmm - this is really a definition of a universal machine. That such a
machine exists is a theorem. Neither depend on the Church-Turing
thesis, which says that any "effective" computation can be done using
a Turing machine (or recursive function
On Thu, Jun 16, 2005 at 03:37:05PM +0200, Bruno Marchal wrote:
>
> Le 15-juin-05, ? 01:39, Russell Standish a ?crit :
>
> >On Tue, Jun 14, 2005 at 04:39:57PM +0200, Bruno Marchal wrote:
> >>
> >>
> >>OK but it can be misleading (especially in advanced stuff!). neither a
> >>program, nor a machine
Le 15-juin-05, à 01:39, Russell Standish a écrit :
On Tue, Jun 14, 2005 at 04:39:57PM +0200, Bruno Marchal wrote:
OK but it can be misleading (especially in advanced stuff!). neither a
program, nor a machine nor a body nor a brain can think. A person can
think, and manifest eself (I follow P
8 matches
Mail list logo
