On 15 Jan 2014, at 09:45, LizR wrote:
On 15 January 2014 21:29, Bruno Marchal <[email protected]> wrote:
On 14 Jan 2014, at 22:39, LizR wrote:
On 15 January 2014 10:29, Terren Suydam <[email protected]>
wrote:
condescending dismissal in 3... 2... 1...
Teehee.
Not a condescending dismissal in anyone else's mind, however, just
more hand-waving nonsense that only Edgar could possibly think is a
dismissal.
This is fun, in a masochistic sort of way, but I am starting to
miss discussions with some real meat in them.
Ahaaaa ... Me too :)
Ready for a bit of (modal) logic? That is needed for the Solovay
theorem, exploited heavily in the AUDA ...
OK....!
OK, nice. It will be a new thread. Be ready :)
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
