On 11 Apr 2017, at 18:21, David Nyman wrote:
On 10 April 2017 at 18:32, Bruno Marchal <[email protected]> wrote:
On 10 Apr 2017, at 12:58, David Nyman wrote:
<snip>
Good, but I guess I was also asking for some sort of shortcut to
the intuitive power of all this, because if the only route to this
is more of the above (however interesting in itself) then the point
will go on being lost not only on the majority in this forum (unless
I'm very much mistaken) but a fortiori on any possible wider
audience. Which would be a pity.
Oops.
Yet, you asked me about the modal logic, and I do think at some point
I have to say precisely what the G box [] is for. It is simple, but
long and tedious. I hope you have not too much difficulties with my
previous post.
To make this accessible, the universal dovetailer argument can be seen
as a layman version of the "machine interview (the G logics and its
variants imposed by itself). (even if it came befoe in my mind when
observing the amoebas). I replace the machine by a human willing to
be that he is a machine, and the thought experiments explains the
reversal. The G logics makes this precise, and more abstract/general,
but it relies on the extra-ordinary works on computability and logic
of Gödel and others, which are not that difficult, but is hard to sell
without some precision. Don't hesitate to encourage me to rewrite a
passage in some more shorter way, in case you lose the line.
Bruno
David
Bruno
PS I guess you have missed my early introduction to modal logic on
this list, many years ago! No problem.
Thanks in advance.
David
--
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 post to this group, send email to everything-
[email protected].
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 [email protected].
To post to this group, send email to [email protected].
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 [email protected].
To post to this group, send email to [email protected].
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
