Re: set theory : the blunder

On Sat, 14 Jul 2007 10:15:42 EDT, tommy1729 <tommy1729@xxxxxxxxx>
wrote:


wanna get personal hmm ?

I no way. I said:


Look, man, either (y,z) is y or (y,z) is z. Your claim

(y,z) is y,z

is meaningless (at least in standard math lingo).

Try to FORMALIZE it in a logical system of your
choice:

(x,y) = y,z [???]


Though

[[x,y]] = [x,y]

does make sense (in a certain framework),

[x,y] = y,z

doesn't. (See comments above.)

For example, in my theory of heaps

"[y,x]"

is a name/term referring to a heap.

While

"x,y"

is just a list of names/terms/variables (each of which is referring to
a heap); but "x,y" itself does not refer to a certain heap. Which one?

If you want to refer to the heap which has (at least) x and y as
constituents use the term

"[x,y]".

Here we have:

x c [x,y]
y c [x,y]

x and y are constituents of [x,y].


F.

--

E-mail: info<at>simple-line<dot>de
.

Relevant Pages

  • Re: where? heap or stack?
    ... >>refer to standard data structures, ... stack & the heap in the idiomatic way. ... these terms in a news group posting, someone likely will get very huffy ...
    (comp.lang.cpp)
  • Re: set theory : the blunder
    ... is meaningless (at least in standard math lingo). ... is a name/term referring to a heap. ... heaps certainly do NOT behave like bags. ... If you want to refer to the heap which has ...
    (sci.math)
  • Re: static, global variable memory allocation
    ... before I started programming on Unix, ... Would you expect var to be in that area you refer to as a heap or, ...
    (comp.lang.c)
  • Re: HotSpot Virtual Machine Error when I want to print
    ... Please refer to release documentation for possible ... > Heap at VM Abort: ... > # Please report this error at ...
    (comp.lang.java)
  • Re: set theory : the blunder
    ... thats BS, how does x know that its not a set ??? ... and say /a is a constituent of (the heap) b/. ... constituents a, b and c. ... without a bag. ...
    (sci.math)