[suby-talk] Symbolic Logic

[TRANS]

On 10/6/05, Peter Vanbroekhoven <calamitas at advalvas.be> wrote:
> On Tue, 4 Oct 2005, TRANS wrote:

> > How are you representing Infinity btw?
>
> I'm not yet. I assume you want to point out to me that Mega has an
> Infinity class ;-) Well, seems it has a bug though:

> irb(main):008:0> Infinity[1]
> NoMethodError: private method `new' called for Infinity:Class
>          from
> /home/peterv/local/lib/ruby/gems/1.8/gems/mega-0.3.1/lib/mega/infinity.rb:55:in
> `[]'

Thanks, I'll have to look at that. Actually I brought it up wondering
if you have a better solution than the one in Mega.

> >From what I can see, seems you want it to be more than just infinity.
> Isn't Aleph0 and so on supposed to be different from infinity? I thought
> they invented the Aleph numbers because infinity is way too crude a
> measure for this. Besides, if you want to go all the way, use ordinal
> numbers; they're much more fun! Even the Aleph numbers can't match ordinal
> numbers.

Well, I tried to give it a little bit "extra". I'm thought the alephs
were measures of infinity. So Aleph0 is your standard first-tier
infinity. aleph1 is the next tier, bigger then aleph0, and so (not
that they are actually bigger quanitatively). But maybe I'm
misinformed. Ordinal numbers? Please I'm after the Transfinites ;-)

> > Oh wow. That's really going the distance! You're going to be half way
> > to RubyMathematica before you're though ;-)
>
> Yeah, that's the goal, definitely! (It really helps to pose realistic
> goals, doesn't it? ;-)

:-)

> > Hmm... Maybe we should package up all this units/math stuff into it's
> > own project? Or do you think it better being a part of Mega? BTW I'm
> > thinking of reviving the name Facets --I have gotton a lot of people
> > wrtting me about Facets recently. Seems more people are using Facets
> > then Nano/Mega. Just have to figure out the best way to handle this
> > smoothly --which is the main reason Roll came about, so I could give
> > parts of a lib different aliases, versioning was actaully just a side
> > effect.
>
> Well, it seems like once we're through with our plans, this thing will be
> quite big. So maybe a separate project is better indeed. But we'll see,
> it's a lot of work and it may very well never get finished.

I'm including units.rb in Mega for now --by the way George is going to
hate me, but I've gone back to the original names Facets and Carats.
As much as I like Nano and Mega, I think its more b/c they are
"trendy". When I was talking to my grandmother about them, she thought
they were stupid names :-) The main reason is simple though. More
people write me about Facets every day! I've been thinking about
putting Carats(Mega) into Facets also, but the lib layout just dosn't
lend itelf. So I may just have to live with the name Carats unless I
can think of something better to go with Facets ASAP.

Oh, one other thing. In the end I settled on your solution for
meta-methods (huh, now that's ironic), but instead of #__ I called it
#__meta__.

T.