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
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
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
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
4 matches
Mail list logo