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 <[email protected]
<mailto:[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 ...
I'd like to know what the existence of non-standard models of arithmetic, especially the
finitist ones, implies for comp?
Brent
--
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.
