Re: UDA query

2009-12-24 Thread Quentin Anciaux
2009/12/24 Nick Prince > Hi Bruno > > > >And here there is a famous difficulty, which is that physicists and > >logicians use very different if not opposite vocabulary. > >Logicians distinguish a theory (-usually a finite or recursive > >(mechanically decidable) thing, and its interpretation (usu

Re: UDA query

2009-12-24 Thread Nick Prince
Hi Bruno >And here there is a famous difficulty, which is that physicists and >logicians use very different if not opposite vocabulary. >Logicians distinguish a theory (-usually a finite or recursive >(mechanically decidable) thing, and its interpretation (usually an >infinite mathematical struct

Re: UDA query

2009-12-24 Thread Bruno Marchal
On 24 Dec 2009, at 02:13, Nick Prince wrote: > Thanks Bruno > > I want to have a good think about your answers and also the eighth > step in your paper. I think it is the most difficult for me and yet I > sense its somehow. Schmidhuber assumes a great programmer runs the UD > but you effectively

Re: paper on view of reality

2009-12-24 Thread Bruno Marchal
On 19 Dec 2009, at 18:08, John Mikes wrote: > Reality versions(?) continued... > > In his post Benjamin Jakubik wrote: > "Bruno Marchal wrote: > > > >> Honestly I think you are a bit dishonest to yourself here, since > you > >> already presume the appear