> On 24 Oct 2019, at 22:01, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 10/24/2019 6:46 AM, Bruno Marchal wrote: >> >> The universal dovetailer argument shows that the mind-body problem (the >> problem of relating first person experiences to some third person sharable >> realities) is reduced to the justification of the Turing machine’s >> observable (and its mathematics) from a statistics of first person >> experience on all computation (a mathematical concept with Church-Turing’s >> theses). > > I don't understand that. What is "the Turing machine's observable”?
They are given by the logic obtained by reversing Goldblatt morphism when starting from the logic of []p & p, or []p & <>t, or []p & <>t & p, with p representing a sigma-1 sentence, “[]” representing Gödel’s arithmetical beweisbar predicate (and <> is an abbreviation of ~[]~). > And how is a first person experience found in the UDA in order to form > statistics of it? We cannot find the semantic of arbitrary programs algorithmically, so the domain of consciousness is provably not constructive, but when we assume mechanism, we know that the relevant computation exist, and if you say “yes” to the doctor, for some description level of your brain, you can derive explicitly the existence of some computation in arithmetic which brings up your consciousness in arithmetic. 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/a7bc47ea-a36d-789a-50a7-8e821823458c%40verizon.net. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/858E6589-1509-490C-8C21-91CB9FCDDF9A%40ulb.ac.be.
