Re: Cantor's diagonal proof wrong?

From: Ross A. Finlayson (raf_at_tiki-lounge.com)
Date: 11/22/04 

Date: 22 Nov 2004 13:29:18 -0800

Mike Oliver <mike_lists@verizon.net> wrote in message news:<30cqnkF2vc58hU1@uni-berlin.de>...
> Chris Menzel wrote:
> > On 20 Nov 2004 19:33:40 -0800, Ross A. Finlayson <raf@tiki-lounge.com> said:
> >
> >> I did try to answer your questions as I saw them. Do you care to
> >> answer the question about N in V vis-a-vis N in V^G? If N bijects
> >> with P(N), does not N biject with P(N)? You might notice that it
> >> takes a complete sentence to answer that question.
> >
> > Sorry, you don't have a clue what you're talking about.
>
>
> No, Chris, you're reading it all wrong! Don't think of
> it as mathematics; think of it as poetry. Allan Ginsburg (sp?)
> or early Bob Dylan, flow-of-consciousness stuff. I
> think it works very nicely on that level. And Ross does
> deserve credit for being our friendliest and politest
> crackpot--actually he gets better marks on that than a
> lot of serious posters.

Hi Mike,

I request that you do not call me a crank nor crackpot. Troll, that's
more acceptable, crank, no. Besides that, your post appears to be a
compliment, except I'm not a hippie, leftist conservative (that means
moderate), assuredly, just not a hippie, I've read some of their
words. I'm pleased if you've derived entertainment value from my
words, they stand on their own as logical statements. Last time I
wrote directly to you I was being antagonistic about mathematical and
logical foundations. I'd have to research to see what that was,
whether it was a post to sci.math or sci.logic or a personal e-mail.

So, maybe you can address V, the set of all constructible sets because
V=L, if those are indeed references to the same terms within the
semiformal structured context of logical discourse, and the generic
extension V^G, and how N is the same set as N^G, the generic extension
of N, that being that the natural integers are equal o themselves, and
how there exists a bijection*, or "as looking from outside" a
bjiection, between N^G and P(N), and where V=L, N and P(N).

You might understand why I say V=L and that infinite sets are
equivalent, because a model is to a theory as a class is to a set, and
there can't be a class of all classes either, leading to further
slides, demanding a set-theoretic resolution within a set theory.

You could follow by example in this thread on sci.logic and claim no
understanding, or utter dismissal on a technicality, or gibber away.

Do you agree that V=L? What do you think of Libert's recent admissal
that V=L? V is the universe and L is the set of constructible sets.
I think V=L.

I don't care if you think it's poetry. Think of it as mathematics.

Regards,

Ross F.

Relevant Pages

  • Re: Tautologies Then and Now
    ... Chris Menzel wrote: ... >> think so as I post words that are strongly framed. ... and philosophy, your alma mater, it's a good source. ... Bar-Hillel, and Levy's Foundations of Set Theory, as representative texts, I ...
    (sci.logic)
  • Re: computation and cardinality
    ... Because you are claiming that inconsistent theories don't decide ... Naive set theory, for example, is valuable both pedagogically -- it's ... iff F is provable or ... Chris Menzel ...
    (sci.logic)
  • Re: Specifying Sets
    ... Chris Menzel wrote: ... you think our present day mathematics is fundamentally confused and ... the task falls to you to rethink all 2000+ years from the ground up. ... -- Beaming Bill ...
    (sci.logic)
  • Re: Humanistic mathematics (Cantors Theory)
    ... Chris Menzel wrote: ... the underlying reality of mathematics. ... Prev by Date: ...
    (sci.logic)
  • Re: MetaLanguage in Mathematics
    ... Chris Menzel wrote: ... I'm looking into buying a book on logic of mathematics. ... Enderton, ... my case, first and second year grad students in philosophy), and I'll ...
    (sci.logic)