User talk:KBlott

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers!


 * --Your friendly ProofWiki WelcomeBot 22:15, 7 January 2012 (EST)

Subpages
Hey, I've moved some of the pages you've made to be subpages of your user page. --Joe (talk) 16:21, 8 January 2012 (EST)

Your strategy
I've been watching some of your edits from a distance for a while, and I'm interested: what is your strategy? Are you planning on either (a) incorporating it into our general house structure at any stage, and (b) linking it all up with the existing work? Or is all this being designed as a completely independent body of knowledge? --prime mover 01:30, 17 January 2012 (EST)
 * I have no particular strategy really. I just go where the evidence takes me and all work is essentially derivative.
 * Notice that this page is incompatible with standard set theory.  I would not dream of attempting to integrate it into work that is based on standard set theory as it would quickly lead to problems.  There is evidence, however, that the Cardinality of sets can be relative.   Consider the set of all locations of a particle at a given time.  It is generally assumed that such sets are necessarily singleton.  (A particle is assumed to have only one location at a given time.)  However, the double slit experiment refutes this assumption.  This suggests that inclusion in a given set ($\in$) may be relative to the observer and, of course, the time the observation is made ($\in_t$).
 * Class algebra is mentioned on this web site but seems not to be treated with a great deal of reverence. Although mappings obviously operate on classes, their definition on this web site is restricted to sets.
 * The same is true of the definition of lattices on this web site. Notice that the definition of a lattice given by these authors is not equivalent.  While all lattices of sets are lattices of classes, the converse is not true.  Consider, for example the class $U$ of all sets.  This is a class lattice (with $\vee = \cup$ and $\wedge = \cap$) but it is not a set lattice because $U$ is not a set.  --KBlott 16:18, 17 January 2012 (EST)
 * I can see separate interest for what you are developing on referenced page for $\in$. It appears that this yields a rigorous (possibly extendible) definition of $\in$ when considering non-standard set theory and logic (where eg. a lattice of truth values is used; though I don't know if something like that is viable). --Lord_Farin 16:45, 17 January 2012 (EST)