Re: Dreaming On

2009-09-09 Thread Flammarion
On 9 Sep, 01:39, David Nyman wrote: > > 1. Computationalism in general associates that consciousness with a > > specific comptuer programme, programme C let's say. > > 2. Let us combine that with the further claim that programme C > > causes cosnciousness, somehow leveraging the physical c

Re: The seven step series

2009-09-09 Thread Bruno Marchal
Hi, I want to add something. I said recently to John that the excluded middle principle should be seen as a tolerance-of-ignorance principle. Actually this will play an important role later, and it justifies the "arithmetical realism": what it is, and why it is important. Let me illustrate

Re: The seven step series

2009-09-09 Thread Bruno Marchal
This is the last post before we proof Cantor theorem. It is an "antic interlude". We are about 2000 years back in time. The square root of 2. It is a number x such that x^2 = 2. It is obviously smaller than 2 and bigger than 1. OK? It cannot be a natural number. But could it be a fraction?