On 09 Sep 2017, at 23:01, Brent Meeker wrote:
On 9/9/2017 1:43 PM, Bruno Marchal wrote:
On 08 Sep 2017, at 22:38, Brent Meeker wrote:
On 9/8/2017 12:51 AM, Bruno Marchal wrote:
I think Brent's point, with which I agree BTW, is that an
observer can only be defined in relation to an external world --
consciousness requires a world to be conscious of!
Why? That seems magical thinking (in the frame of Digital
Mechanism). You should explain what an external world is, and how
it select the "real" computations. Are you sure we don't need
blessed water?
An external world is what you and others with whom you communicate
are conscious of.
Oh! Like God! In the church, when the quality of the sacred herb is
good enough, in a finishing summer, in between the rain and the sun.
The image of Hubble can give that quasi divine feeling too. The
recent image of Jupiter, taken by Juno, are fabulous.
It's what is not a dream (or a delusion).
What is not a dream are simple mathematical principle, whose truth
emulate all dreams,
Is that a catechism?
What? Adition and multiplication are taught in high school, and I have
never met parents complaining that this was fiction.
That the arithmetical truth emulates all dreams is a simple
consequence of Digital Mechanism.
It follows from
1) elementary arithmetical (sigma_1) truth/reality emulates all
computations (that is provable in Peano Arithmetic). You need Church
thesis.
2) consciousness is invariant for digital substitution respecting
elementary functional elements at some level of description. (Yes
doctor).
Bruno
Brent
and some cohere making place to long sharable histories, where she
again incarnate itself and might even recognize itself and say
hello to itself.
If an External World is defined by what we are not deluded too,
then the reality might be a machine dreams structure, or more
exactly its first person projection.
No problem with an external world or outer-god as long as it does
not deny the inner god or first person.
And is not imposed as a dogma, and people can stay skeptical.
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.
http://iridia.ulb.ac.be/~marchal/
--
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-
l...@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.
http://iridia.ulb.ac.be/~marchal/
--
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.