Re: Key attributes with list values was Re: What are the differences ...KEY

Brian Selzer wrote:
[snip]
Marshall Spight wrote:
If you want a system that supports identity, you don't want to
be using set theory. There are plenty to choose from, and
they are well-supported and popular!

When I have arbitrary sets of numbers say and I want to use those sets
in some form of manipulation I can, of course, quite happily state them
mathematically something of the nature:

x = {1, 3, 8}, y = {2, 4, 7}, z = {x, y}, etc.

This is simple assignment, and gives my sets a label, or identity if
you will, so that I may go ahead and use these descriptions in future
manipulations without referring to the sets extensionally.

Surely this is identity (an artifice of course, but valuable here
nonetheless) and set theory working in perfect harmony at the heart of
mathematics?

Now, this methodology clearly violates the information
principle-centric view of using attributes only to refer to things. Yet
it is exactly the sort of thing I want to do with the data I work with
(genetic and other bioinformatics data), in spite of the cognitive
dissonance it seems to be causing me (yes,trying to reconcile what
currently seem to be equally arguable but opposing standpoints is
hurting my head ).

Perhaps there is an obvious hole in this logic, which I'm currently
missing due to some sort of antiprocess on my part.

.

Relevant Pages

  • Re: Cantor Confusion
    ... But so far all the various objects of mathematics can be ... That is what is meant by set theory being a foundation ... You have not presented any evidence that there exists ... any sort of mathematics not describable by set theory. ...
    (sci.math)
  • Re: Cantor Confusion
    ... any sort of mathematics not describable by set theory. ... Give some evidence that it "narrows your thinking". ...
    (sci.math)
  • Re: Cantor Confusion
    ... any sort of mathematics not describable by set theory. ... any "foundation" that narrows down my freedom of thinking. ...
    (sci.math)
  • Re: Cantor Confusion
    ... any sort of mathematics not describable by set theory. ... I'm talking about rejecting any monolithic foundation for mathematics, ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
    (sci.math)
Loading