On 28 Mar 2014, at 00:23, LizR wrote:
On 27 March 2014 20:12, Bruno Marchal <marc...@ulb.ac.be> wrote:
On 26 Mar 2014, at 04:44, LizR wrote:
I said that the "continuity is of exactly the same nature" (not
that the states were the same - in fact the states are successor
states, as I mentioned - which is something assumed to exist but
still to be defined).
I think that the successor states are well defined, in the 3p view,
and i the 1p view too, even if the domain of the 1p indeterlinacy is
a complex and highly non constructive notion.
How does one define a successor state, or states? (I would guess as
a state that has a most recent memory of the preceeding state,
perhaps?)
In the 3p view, it is the next state of the digital machine you are at
some correct level. Applications of this needs to add some precisions,
depending of what problems is handled.
In the 1p view, you need some God's 3-1 view on yourself, which means
the notion is not really definable (and thus the domain of
indeterminacy is a fuzzy complex object). But we can progress in the
math. In particular we can extract information on the geometry and
topology of the states, by studying the logic of the possible "instant/
views", like in modal logic, the structure of the kripke "multiverse"
can be extracted from a modal discourse/formula.
Bruno
--
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 http://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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
