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....! -- 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.
