On 30 Oct 2014, at 00:12, LizR wrote:
you can delete your posts (I think?)
That is not so easy when a post has been already sent, I think, unless
quantum delayed erasing perhaps (grin), but as zibbsay observes, I was
not so much quibbling when saying that modern set theories does
provide a span of infinities. With ZF, above ZF + "kappa
exists" (kappa a large cardinal), the model of ZF becomes citizen of a
set theory extension. You get the same of course with PA + "PA is
consistent", somehow, and the arithmetical is known *inexhaustible*,
like Turing studied for its PhD with Church, and is well described in
Torkel Fraenkel book "The inexhaustible". In arithmetical terms, you
get the whole of the computable at the sigma_1 level, but with
provability you always only scratch the thing, which extend in the
transfinities.
Bruno
On 30 October 2014 12:07, <[email protected]> wrote:
On Wednesday, October 29, 2014 11:03:01 PM UTC, [email protected]
wrote:
On Wednesday, October 29, 2014 6:17:12 PM UTC, Bruno Marchal wrote:
On 28 Oct 2014, at 22:48, LizR wrote:
Well that WAS the point of my original post...
: D
On 29 October 2014 00:55, Peter Sas <[email protected]> wrote:
Maybe 'spam of infinity' is a better term ;)
'Spam of infinity', or 'Span of Infinities!' You remember surely,
Liz, that Cantor proved (in some theory) that there are many
infinities, even many sort of infinities. With the plural, span
might make sense.
Sorry for quibbling on your infinite joke, but I just answered a
post by John Clark, and it seems I need to quibble a little bit
myself :)
Bruce
I would say you're more a obfscator than a quibbler .
sorry wasn't meant to send the post right then...the above comment
actually represent what is usually the beginning of humour around
these words. And I was actually going use that as a way to explain
why you're not quibbling today.
--
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/d/optout.
--
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/d/optout.
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/d/optout.
