> On 21 Aug 2018, at 21:00, Brent Meeker <meeke...@verizon.net> wrote: > > > > On 8/21/2018 1:42 AM, Bruno Marchal wrote: >> The consequence of the brain being digitally emulable at some relevant level >> entails that matter obeys the laws of the formal mathematics of Z1 and Z1* >> (and others). > > As I understand your theory, the mind (not the brain) is a sequence of states > in threads of computation by the UD.
Not really. The mind of a universal (Löbian) machine is what the machine can believe ([]p), know ([]p&p); etc. on herself. The UD is Turing equivalent with the set of sigma_1 true sentences, which plays the role of the atomic propositions. I assume only K and S. The theology is derived in the mind of the Löbian combinator. The leaves of the UD is only the range of the indeterminacies. To have a probability, we need the “<>t” default hypothesis: that is why we matter needs the presence of p (truth) or at least <>t (consistency). The fall of the souls is the passage from truth to relative consistencies. > These threads are picked out by some as yet unknown statistic We know already that its logic is quantum. You forget the translation in arithmetic. I assume only Robinson Arithmetic (and much more, of course, at the meta level). > that makes them constitute a sequence of thoughts, aka "observer moments”. You need to take iso account the self-referential correctness. I limit myself to all machine which believes in arithmetic and are correct. > Matter and the physical world exists only as an implication or inference of > these thoughts. Not really, it is a blend of truth, self-representation, and the hard mathematical reality. > Thats your reversal of psychology and physics. Right? Only if you add all nuances imposed to incompleteness, and then you say “some as yet unknown statistics”, when the problem is that we have already three of them, obeying to a quantum logic where they should appear indeed. The point is that we have no choice if we take seriously the idea that we can survive with Digital brain, but also that the canonical theology, through its physics, is testable, and thanks to current QM, it fits rather well. Are you following the combinators thread? I might explain the relation between Church’s thesis, the phi_i and the combinators. I illustrate that computability theory is a branch of mathematics. Bruno > > Brent > > -- > 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 everything-list+unsubscr...@googlegroups.com. > To post to this group, send email to everything-list@googlegroups.com. > 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.