On 1/15/2014 12:29 AM, Bruno Marchal wrote:
On 14 Jan 2014, at 22:39, LizR wrote:
On 15 January 2014 10:29, Terren Suydam <terren.suy...@gmail.com
condescending dismissal in 3... 2... 1...
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 ...
I'd like to know what the existence of non-standard models of arithmetic, especially the
finitist ones, implies for comp?
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 post to this group, send email to firstname.lastname@example.org.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.