Re: Heap-Set Theory H-S

On Thu, 31 Jan 2008 13:24:56 -0800 (PST), Zaljohar@xxxxxxxxx wrote:


I think that G. Frege's symbol [ ] will be do the job nicely.

Great. :-)


So after giving it some thought I think he is right.

Thanks.


On a second thought I think that @ makes a bitter symbol then c
for part hood.

so x @ y means x is a part of y.

You may be right. Especially in your system where you are dealing with
sets AND heaps. Since here "c" also would denote the set theoretic
/subset relation/. Which is not the same as /parthood/ (for heaps).

Though "c" would still make sense in a _pure_ theory of heaps, imho.


the reason is because the symbol c will be confused with
subsethood.

Exactly! :-)


So it is better to use @ I guess!

Agree. And looks fine in ASCII too. No?


F.

--

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

Relevant Pages

  • Re: About Windows address space
    ... Yeah, and it's the reason why - though, trying to work out a way to ... some of the stuff over on Windows for the "time being";)... ... convinced about the "ASCII strings"... ... you can't really "re-use" the older ordinals because they ...
    (alt.lang.asm)
  • Re: Word 2007?
    ... Word inserts a whole bunch of codes in the .doc files. ... a WP5.1 file, an ASCII file, ... There's no reason why you couldn't create a file in Word and save as ... There's also no reason why you couldn't create a file in WP51 and save ...
    (sci.med.transcription)
  • Re: How ">=" Work on Varchar field?
    ... I am also thinking the Same - As without comparing Ascii how SQL Server will ... know which alphabet is Small or Big? ... That is the reason I posted this, Because I wanted to know what Logic ... > length it's about the ascii value of the first char. ...
    (microsoft.public.sqlserver.programming)
  • Re: OT language names (Re: Christmas and new years speeches 2005)
    ... this adjective was used to denote ... >the language "of the people", i.e. the vernacular, as opposed to Latin. ... >English for some reason started using the word to denote the people from the ... It was even exported to some non-Germanic languages; the Italian ...
    (alt.talk.royalty)
  • Re: Cantor Confusion
    ... It probably wasn't one of Cantor's better ideas to use notations like ... to denote any natural number at any time. ... the main reason is his general lack of mathematical ...
    (sci.math)