Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A revolution in set theory

  1. Sep 16, 2006 #1
    If U [i.e., set theory] were to be equippable with a vector space type morphology...Prolly more of a module than a v.s.. Yes, a field over a ring, perhaps, if that's possible...


    0. emptiness
    1. isolation
    2. expansion
    3. containment
    4. transition
    5. hyperspace
    6. hyper-hyperspace
    n. (n>4) n-space.
    Ultra-"space" I == aleph-null
    Ultra-"space" II == alpeh 1
    Ultra-"space" n == aleph n


    Ultra Power Space == Omega Set == Omega Cardinal == Omega Ordinal == The Entire Multi-Universe

    ... where == means morphomorphic.

    That kind of seems like a combination of category theory and set theory to me.

    It goes back to the cone. The tip is 0 - emptiness and a spiral is drawn to infinity whilst a line goes down from the origin. At each intersection is another "number" of some sort, leading to Omega.
  2. jcsd
  3. Sep 16, 2006 #2


    User Avatar
    Gold Member

    this reminds me of a poster called "doron shadmi", he wrote a lot but noone could actually understand him.
  4. Sep 16, 2006 #3
    Indeed. Organic is a friend of mine. But I have the training to back this up (one day). This is the thesis of my Phd thesis, perhaps...

    edit: maybe the ultra ultra power of N would be the basis for the "vector space" of set theory in which the vectors are axioms.
    Last edited: Sep 16, 2006
  5. Sep 16, 2006 #4


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Hrm. It's hard to figure out what you're looking for... so I'll toss out some random things.

    Are you looking for a variant of logic where your language isn't a set of strings, but instead a vector space? (or some other linear structure)

    We can talk about "Set-modules". They are some sort of generalization of the notion of a module over a ring, the simplest of which (and only one I really know about) are the categories Setn, which is the category of n-tuples of sets.

    We can talk about a topos object in the category of vector spaces. Since a topos is like a universe of sets, this would be like a set-theoretic universe that is simultaneously a vector space. I don't know if any nontrivial ones exist, though.

    One of John Baez's conjectures is that many things are naturally analyzed using the category Hilb of Hilbert spaces as the "fundamental" object, rather than the category Set of sets.

    John Baez talks a lot about higher category theory; sets are 0-"dimensional" categories (they consist of isolated "points"), ordinary categories are 1-dimensional (they have "points" and "lines" between points), then there are 2-categories (which have "sheets" between "lines"), and so forth.
  6. Sep 16, 2006 #5
    always a pleasure, hurkyl.

    John Baez. Where is he? does he author any texts / pdfs?

  7. Sep 17, 2006 #6


    User Avatar
    Science Advisor

    John Baez is a well known physicist. He has posted a number of tutorials to various kinds of physics problems on the internet.
  8. Sep 23, 2006 #7
    What does "the ultra ultra power of N" mean? What is it's cardinality? I'm guessing that it is some infinity. That means that you have to have at least infinitely many vectors and therefore infinitely many axioms.
  9. Sep 23, 2006 #8


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    No. While it will surely be an infinite cardinal, we don't call cardinals "infinity".
  10. Sep 23, 2006 #9


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    While I'm sure you found them, one of Baez's main series of papers can be found by searching for "Higher Dimensional Algebra".

    One interesting related paper (though not by Baez himself) is titled "Categorified Algebra and Quantum Mechanics"
  11. Sep 23, 2006 #10
    That's what I meant. Sorry for not being more precise.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook