To LUGNET HomepageTo LUGNET News HomepageTo LUGNET Guide Homepage
 Help on Searching
 
Post new message to lugnet.off-topic.debateOpen lugnet.off-topic.debate in your NNTP NewsreaderTo LUGNET News Traffic PageSign In (Members)
 Off-Topic / Debate / 7575
7574  |  7576
Subject: 
Re: FS-Pirate & Town Sets Mint In Sealed Boxes/Pack
Newsgroups: 
lugnet.off-topic.debate
Date: 
Wed, 29 Nov 2000 19:01:04 GMT
Viewed: 
499 times
  
Larry Pieniazek wrote:

In lugnet.market.theory, Todd Lehman writes:

Paul certainly is right:  SBA's and OBO's are the same thing.

No they're not! Not in the LUGNET namespace they aren't... They're named
differently, and thus are not in the same equivalence class when partitioned
by the partitioning function "allowed in market.buy-sell-trade?". The fact
that this is their only difference is interesting but insufficient to assert
equality under this partitioning, which is, after all, the partitioning of
interest.

They are two names for the same concept, i.e. "thing".  Therefore, they
*are* the same thing.  If one person calls you Lar and another Mr. P,
that doesn't make Lar and Mr. P different people.

Also, the groups do not form a partition.  SBA/OBO is allowed in both.

What is allowed in the groups is based on the concept, and there is an
overlap in the case of SBA/OBO.  It will reduce confusion if we call
SBA/OBO "SBA" when posted in the auction group, and "OBO" when posted
in the b-s-t group, but that doesn't make them different things, it
just means they have different names in different contexts.

/Eric/



Message has 1 Reply:
  Re: FS-Pirate & Town Sets Mint In Sealed Boxes/Pack
 
(...) I'm not sure I agree. Please conduct the following (thought?) experiment, then... post a SBA/OBO (for the same thing) to both groups, and in buy-sell-trade, label it SBA, fully delineating the definition Todd posted so there can be no doubt (...) (24 years ago, 29-Nov-00, to lugnet.off-topic.debate)

Message is in Reply To:
  Re: FS-Pirate & Town Sets Mint In Sealed Boxes/Pack
 
(...) No they're not! Not in the LUGNET namespace they aren't... They're named differently, and thus are not in the same equivalence class when partitioned by the partitioning function "allowed in market.buy-sell-trade?". The fact that this is their (...) (24 years ago, 29-Nov-00, to lugnet.off-topic.debate)

24 Messages in This Thread:










Entire Thread on One Page:
Nested:  All | Brief | Compact | Dots
Linear:  All | Brief | Compact

This Message and its Replies on One Page:
Nested:  All | Brief | Compact | Dots
Linear:  All | Brief | Compact
    

Custom Search

©2005 LUGNET. All rights reserved. - hosted by steinbruch.info GbR