> On 1 Jul 2018, at 00:57, Russell Standish <[email protected]> wrote: > > On Sat, Jun 30, 2018 at 02:27:49PM -0500, Jason Resch wrote: >> It looks like Bruno's idea of extracting physics from all computations is >> catching on. I came across this article: >> >> https://en.wikipedia.org/wiki/Solomonoff%27s_theory_of_inductive_inference > > ... > > I also want to comment that this is not Bruno's idea. For one thing, > it predates Bruno by some decades (the great, late Ray Solomonoff did > his most important work in the 1960s). It was Wei Dai who first > introduced me to his ideas early on in the everything list > discussion. Secondly, Bruno use modal logic and arguments from > Thetetus to derive the logical structure of observation. As best, > Solomonoff-Levin measure is compatible with Bruno's UDA results - > which is my position of course - at worst it is actually incompatible > - something Bruno has suspected, but never demonstrated.
I don’t use theatetetus. I discover Theatetetus in the discourse of the universal machine, and then in Plato. I have never introduced the modal logic. They are imposed, like everything I say, by incompleteness. Inference inductive theory (at least the one coming from the work of Blum, Case and Smith, …), which is related to Solomonoff, use dovetailing, and sometimes universal dovetailing, but I think, that the whole filed of inductive inference dismiss (righty so) the mind-body problem, and the are not defending on the first person indeterminacy. My long text makes clear that theoretical learning, although very important, do not address the mind-body problem. The part of theoretical inductive inference I needed in the mind-body problem is rather trivial. Inductive inference needs only to exist. Bruno > > > -- > > ---------------------------------------------------------------------------- > Dr Russell Standish Phone 0425 253119 (mobile) > Principal, High Performance Coders > Visiting Senior Research Fellow [email protected] > Economics, Kingston University http://www.hpcoders.com.au > ---------------------------------------------------------------------------- > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
