Re: The Axiom Of Choice and ComputationalismT

2015-09-25 Thread Bruno Marchal
On 24 Sep 2015, at 20:49, John Clark wrote: On Thu, Sep 24, 2015 at Bruno Marchal wrote: ​> ​You can define prime number in arithmetic, ​Who cares? I'm not interested in ​arithmetic or in anything else defining prime numbers, I'm interested in CALCULATING prime

Re: Some questions on ontology of dreams

2015-09-25 Thread Bruno Marchal
On 25 Sep 2015, at 14:11, Pierz wrote: I disagree with most of the theorising about this scenario, which seems to me to be coming from a much too theoretical place. Humans may or may not be computational at base, but we are not PCs. We are not blank slates, waiting for an operating system

Re: Human-amoeba etc.

2015-09-25 Thread John Mikes
First remark: I do not equate 'compute' with 'calculate math.-ly', but from the Latin origin: "put together thoughts (whatever putare refers to)". Second remark: amoeba is SSOOO different from a 'human' that in human terms it sounds "strange" to imagine how/what it feels/thinks. Supporting idea:

Re: What day is it?

2015-09-25 Thread John Clark
On Thu, Sep 24, 2015 Brent Meeker wrote: ​ >> ​>> ​ >> Suppose you place a perfect cubic one mole diamond >> ​ ​ >> in a large tank of oxygen, if you know the weight of the diamond and the >> position of just the carbon atom at one corner of the cube then you have >> all

Re: The Axiom Of Choice and ComputationalismT

2015-09-25 Thread John Clark
On Fri, Sep 25, 2015 at 11:36 AM, Bruno Marchal wrote: >> ​>>​ >> Paul Cohen not Godel proved that arithmetical reality is independent of >> the >> ​ ​ >> Axiom of Choice > > > ​> ​ > I don't think so. The independence of arithmetic from AC in ZF follows > from Gödel's proof

Re: Some questions on ontology of dreams

2015-09-25 Thread Russell Standish
On Fri, Sep 25, 2015 at 06:24:29PM +0200, Bruno Marchal wrote: > > The blank state is more like the state you are in before your parent > met. It is consciousness before any distinction, nor > differentiation. I was against that idea, like Brouwer, but I have > to say that salvia has throw a big

Re: Some questions on ontology of dreams

2015-09-25 Thread Pierz
I disagree with most of the theorising about this scenario, which seems to me to be coming from a much too theoretical place. Humans may or may not be computational at base, but we are not PCs. We are not blank slates, waiting for an operating system to be installed. Our brains and bodies imply