> On 18 Nov 2019, at 21:08, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 11/18/2019 7:03 AM, Bruno Marchal wrote: >> Testing Z1* or X1*, or even just S4Grz1 would be enough to see if QM is >> Turing-epistemic or not. The test done so far confirms it Turing-epistemic >> character. > > What does "Turing-epistemic" mean?
It means “epistemic” with an emphasis on the fact that the subject is any universal machine/number, not just the humans. It is epistemic in the sense of the Theaetetus, with “rational opinion” replaced by Gödel’s arithmetical predicate of provability. 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/96cebba2-ef0b-8c3b-1a95-def3f14ac799%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/06F27FAA-C10F-4516-B232-8EFA300FAF80%40ulb.ac.be.
