Re: ROADMAP (SHORT)

[EMAIL PROTECTED] wrote: - Original Message - From: Tom Caylor [EMAIL PROTECTED] To: Everything List everything-list@googlegroups.com Sent: Wednesday, September 06, 2006 3:23 PM Subject: Re: ROADMAP (SHORT) You wrote: What is the non-mathematical part of UDA? The part that uses

Re: ROADMAP (SHORT)

Tom, thanks, you said it as I will try to spell it out interjected in your reply. John - Original Message - From: Tom Caylor [EMAIL PROTECTED] To: Everything List everything-list@googlegroups.com Sent: Monday, September 11, 2006 12:21 PM Subject: Re: ROADMAP (SHORT) [EMAIL PROTECTED

Re: ROADMAP (SHORT)

: ROADMAP (SHORT) [EMAIL PROTECTED] wrote: - Original Message - From: Tom Caylor [EMAIL PROTECTED] To: Everything List everything-list@googlegroups.com Sent: Wednesday, September 06, 2006 3:23 PM Subject: Re: ROADMAP (SHORT) You wrote: What is the non

Re: ROADMAP (SHORT)

Bruno Marchal wrote: Le 16-août-06, à 18:36, Tom Caylor a écrit : I noticed that you slipped in infinity (infinite collection of computations) into your roadmap (even the short roadmap). In the technical posts, if I remember right, you said that at some point we were leaving the

Re: ROADMAP (SHORT)

Le 16-août-06, à 18:36, Tom Caylor a écrit : I noticed that you slipped in infinity (infinite collection of computations) into your roadmap (even the short roadmap). In the technical posts, if I remember right, you said that at some point we were leaving the constructionist realm. But are

Re: ROADMAP (SHORT)

Le 16-août-06, à 18:04, David Nyman a écrit : Bruno Marchal wrote: The self-reference logics are born from the goal of escaping circular difficulties. I think here I may have experienced a 'blinding flash' in terms of your project. If, as I've said, I begin from self-reference -

Re: ROADMAP (SHORT)

Hi David, Le 16-août-06, à 02:51, David Nyman a écrit : Good to see this. First off some grandmotherly-ish questions: 1) The computationalist hypothesis (comp), This is the hypothesis that I am a digital machine in the quasi-operational sense that I can survive through an artificial

Re: ROADMAP (SHORT)

Bruno Marchal wrote: Hi David, Le 16-août-06, à 02:51, David Nyman a écrit : Good to see this. First off some grandmotherly-ish questions: 1) The computationalist hypothesis (comp), This is the hypothesis that I am a digital machine in the quasi-operational sense that I can

Re: ROADMAP (SHORT)

Bruno Marchal wrote: The self-reference logics are born from the goal of escaping circular difficulties. I think here I may have experienced a 'blinding flash' in terms of your project. If, as I've said, I begin from self-reference - 'indexical David', then I have asserted my 'necessary'

ROADMAP (SHORT)

Hi, 1) The computationalist hypothesis (comp), This is the hypothesis that I am a digital machine in the quasi-operational sense that I can survive through an artificial digital body/brain. I make it precise by adding Church thesis and some amount of Arithmetical Realism (without which

Re: ROADMAP (SHORT)

Bruno Marchal wrote: Hi Bruno Good to see this. First off some grandmotherly-ish questions: 1) The computationalist hypothesis (comp), This is the hypothesis that I am a digital machine in the quasi-operational sense that I can survive through an artificial digital body/brain. I make it