On 15 Jan 2014, at 20:44, meekerdb wrote:

## Advertising

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>wrote:condescending dismissal in 3... 2... 1... Teehee.Not a condescending dismissal in anyone else's mind, however, justmore hand-waving nonsense that only Edgar could possibly think isa dismissal.This is fun, in a masochistic sort of way, but I am starting tomiss discussions with some real meat in them.Ahaaaa ... Me too :)Ready for a bit of (modal) logic? That is needed for the Solovaytheorem, exploited heavily in the AUDA ...I'd like to know what the existence of non-standard models ofarithmetic, especially the finitist ones, implies for comp?

`All non-standard models are infinite. They does not play any direct`

`roles, except for allowing the consistency of inconsistency. A model`

`which satisfies Bf has to be non standard. A proof of "false" needs to`

`be an infinite "natural numbers", and it has an infinity of`

`predecessors (due to the axiom saying that 0 is unique in having no`

`predecessors).`

Bruno

Brent --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com. 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.