Re: Another Inconvenient Truth

Virgil wrote:

In article <7ebdb$46ca9d0e$82a1e228$25151@xxxxxxxxxxxxxxxx>,
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> wrote:

And Bit mapped Set Theory is consistent for various reasons. The first
reason is that it's completely constructive. The second reason is that
there exist a one-to-one mapping with common computer hardware.

There is an equally valid one to one mapping with a sufficiently large pile of grains of sand.

Correct. That's why a good name for it would be "Proper Set Theory",
wherein the sets are all real world sets, proper = "as they should be".

Han de Bruijn

.

Relevant Pages

  • Re: Another Inconvenient Truth
    ... There is an equally valid one to one mapping with a sufficiently large ... That's why a good name for it would be "Proper Set Theory", ... The proper name for such would by "physical" set theory. ...
    (sci.math)
  • Re: Another Inconvenient Truth
    ... there exist a one-to-one mapping with common computer hardware. ... computers in our universe. ... finite limit on the number of sets in your theory. ...
    (sci.math)
  • Re: Another Inconvenient Truth
    ... Han de Bruijn wrote: ... There is an equally valid one to one mapping with a sufficiently large ...
    (sci.math)
  • Re: CANTORs theorem
    ... >> Virgil wrote: ... >> non-generators under any bijective mapping belongs to the image. ... Hessenbergs condition cannot be satisfied even for ...
    (sci.math)
  • Re: The modern mathematical concept of infinity is indefensible
    ... Virgil wrote: ... context. ... that's flawless. ... EVERY set has a one-to-one mapping with a subset of itself, but only infinite sets can have such mappings with proper subsets of themselves. ...
    (sci.math)