Re: David Deutsch and Constructor Theory

2015-07-29 Thread Bruno Marchal
On 28 Jul 2015, at 22:24, meekerdb wrote: On 7/28/2015 1:12 PM, Bruno Marchal wrote: On 28 Jul 2015, at 20:33, meekerdb wrote: On 7/28/2015 10:56 AM, Bruno Marchal wrote: To refute what I say, you have to show a math theory which assumes something physical. Even quantum information theory

Re: David Deutsch and Constructor Theory

2015-07-28 Thread meekerdb
On 7/28/2015 1:12 PM, Bruno Marchal wrote: On 28 Jul 2015, at 20:33, meekerdb wrote: On 7/28/2015 10:56 AM, Bruno Marchal wrote: To refute what I say, you have to show a math theory which assumes something physical. Even quantum information theory does not assume any physical objects. They as

Re: David Deutsch and Constructor Theory

2015-07-28 Thread Bruno Marchal
On 28 Jul 2015, at 20:33, meekerdb wrote: On 7/28/2015 10:56 AM, Bruno Marchal wrote: To refute what I say, you have to show a math theory which assumes something physical. Even quantum information theory does not assume any physical objects. They assume only mathematical relations. That'

Re: David Deutsch and Constructor Theory

2015-07-28 Thread meekerdb
On 7/28/2015 10:56 AM, Bruno Marchal wrote: To refute what I say, you have to show a math theory which assumes something physical. Even quantum information theory does not assume any physical objects. They assume only mathematical relations. That's not significant. Information theory is the

Re: David Deutsch and Constructor Theory

2015-07-28 Thread Bruno Marchal
On 28 Jul 2015, at 04:46, John Clark wrote: David Deutsch Wrote:: ​>​Many mathematicians to this day don't realize that information is physical and that there is no such thing as an abstract computer. Only a physical object can compute things. Bruno Marchal ​Wrote:​ ​> ​That approach m

Re: David Deutsch and Constructor Theory

2015-07-27 Thread John Clark
David Deutsch Wrote:: ​>​ > Many mathematicians to this day don't realize that information is physical > and that there is no such thing as an abstract computer. Only a physical > object can compute things. Bruno Marchal ​Wrote:​ ​> ​ > That approach makes mysterious mind, matter, and the rel

Re: David Deutsch and Constructor Theory

2015-07-27 Thread spudboy100 via Everything List
n to support a conclusion. -Original Message- From: Bruno Marchal To: everything-list Sent: Mon, Jul 27, 2015 12:16 pm Subject: Re: David Deutsch and Constructor Theory On 26 Jul 2015, at 21:05, spudboy100 via Everything List wrote: I understand the need and

Re: David Deutsch and Constructor Theory

2015-07-27 Thread Bruno Marchal
On 27 Jul 2015, at 02:36, Russell Standish wrote: On Sun, Jul 26, 2015 at 06:26:05PM +0200, Bruno Marchal wrote: I am a computationalist, myself, (a.k.a Digitalist), and like this sort of thing, but, ...meh! I don't see how this work informs us? Deutsch seems to be not aware that if compu

Re: David Deutsch and Constructor Theory

2015-07-27 Thread Bruno Marchal
plains why the notion is better described as sub-creative (Post creative set = Turing universal machine, universal with respect to computability). Bruno -Original Message- From: Bruno Marchal To: everything-list Sent: Sun, Jul 26, 2015 12:26 pm Subject: Re: David Deutsch and C

Re: David Deutsch and Constructor Theory

2015-07-27 Thread Bruno Marchal
On 26 Jul 2015, at 20:58, meekerdb wrote: On 7/26/2015 4:16 AM, Bruce Kellett wrote: David Deutsch has some things to say which are relevant to discussions of computationalism. http://edge.org/conversation/constructor-theory "One of the first rather unexpected yields of this theory has bee

Re: David Deutsch and Constructor Theory

2015-07-26 Thread Russell Standish
On Sun, Jul 26, 2015 at 06:26:05PM +0200, Bruno Marchal wrote: > > > >I am a computationalist, myself, (a.k.a Digitalist), and like this > >sort of thing, but, ...meh! I don't see how this work informs us? > > Deutsch seems to be not aware that if computationalism is true, then > the existence o

Re: David Deutsch and Constructor Theory

2015-07-26 Thread spudboy100 via Everything List
: Sun, Jul 26, 2015 12:26 pm Subject: Re: David Deutsch and Constructor Theory On 26 Jul 2015, at 14:48, spudboy100 via Everything List wrote: Heh! I have read Deutsches thesis on Constructor Theory a few times and I cannot really grasp it, intellectually, except as a spin-off of

Re: David Deutsch and Constructor Theory

2015-07-26 Thread meekerdb
On 7/26/2015 4:16 AM, Bruce Kellett wrote: David Deutsch has some things to say which are relevant to discussions of computationalism. http://edge.org/conversation/constructor-theory "One of the first rather unexpected yields of this theory has been a new foundation for information theory. Th

Re: David Deutsch and Constructor Theory

2015-07-26 Thread Bruno Marchal
e. Comp + self- reference explains both quanta and qualia, using no more than the two simple assumption Kxy = y, and Sxyz = xz(yz). Bruno -Original Message- From: Bruce Kellett To: everything-list Sent: Sun, Jul 26, 2015 7:16 am Subject: David Deutsch and Constructor Theory David

Re: David Deutsch and Constructor Theory

2015-07-26 Thread Bruno Marchal
On 26 Jul 2015, at 13:16, Bruce Kellett wrote: David Deutsch has some things to say which are relevant to discussions of computationalism. http://edge.org/conversation/constructor-theory "One of the first rather unexpected yields of this theory has been a new foundation for information th

Re: David Deutsch and Constructor Theory

2015-07-26 Thread spudboy100 via Everything List
, and like this sort of thing, but, ...meh! I don't see how this work informs us? -Original Message- From: Bruce Kellett To: everything-list Sent: Sun, Jul 26, 2015 7:16 am Subject: David Deutsch and Constructor Theory David Deutsch has some things to say which are relevan

David Deutsch and Constructor Theory

2015-07-26 Thread Bruce Kellett
David Deutsch has some things to say which are relevant to discussions of computationalism. http://edge.org/conversation/constructor-theory "One of the first rather unexpected yields of this theory has been a new foundation for information theory. There's a notorious problem with defining inf