Re: Dreams and Machines

2009-07-17 Thread Rex Allen
On Thu, Jul 16, 2009 at 8:38 PM, David Nymandavid.ny...@gmail.com wrote: In COMP, the 'mechanism and language of dreams' is posited to be those elements of the number realm and its operators that are deemed necessary to instantiate a 'universal TM' (i.e. one that - assuming CT to be true - is

Re: Dreams and Machines

2009-07-17 Thread David Nyman
On 17 July, 08:08, Rex Allen rexallen...@gmail.com wrote: But taking a more platonic view, abstract concepts also exist. And if this is so, could we not just as well say that our conscious subjective experience is formed from particular configurations of these platonically existing

Re: Dreams and Machines

2009-07-17 Thread Bruno Marchal
Hi David, I comment your post with an apology to Kim and Marty, then I make a comment to Marty, and then I comment your (very nice) post. Kim, Marty, I apologize for my bad sense of humor. Rereading some post, I realize some nuance in the tone does not go through mailings. Please indulge

Re: Dreams and Machines

2009-07-17 Thread m.a.
Bruno, Be assured that I still fully intend to follow the logic of UDA as far as I can. And I'm grateful for your frequent efforts to suggest its meaning in words and to explain why words alone are inadequate. I wonder if you could clarify your use of the term supervene in the

Re: Dreams and Machines

2009-07-17 Thread David Nyman
2009/7/17 Bruno Marchal marc...@ulb.ac.be: You are correct about truth and provability. You may have insisted a bit more on the first person/third person important , and still unsolved, to be sure, relationship, and the first person indeterminacy which follows. You certainly motivate me to

Re: Dreams and Machines

2009-07-17 Thread Bruno Marchal
Marty, Be assured that I still fully intend to follow the logic of UDA as far as I can. And I'm grateful for your frequent efforts to suggest its meaning in words and to explain why words alone are inadequate. I wonder if you could clarify your use of the term supervene