category theory and
philosophical logic are given here:
http://www.ellerman.org/Davids-Stuff/Maths/Math.htm#IntrotoLIT
-- Ben
On 4/13/07, John Rose [EMAIL PROTECTED] wrote:
Category Theory is newer than Group Theory, and I'm just starting to
understand it so can't speak much of it, but it seems
Category Theory is newer than Group Theory, and I'm just starting to
understand it so can't speak much of it, but it seems to be better and more
encompassing than Group Theory. Group Theory and all that can be described
with it, covers a lot, an unimaginable universe of design possibilities.
It would be interesting to see what basic interests and views the members of
this list hold. For a few people, published works answer this pretty
clearly but that's not true for most list members.
Hi,
I'm a software and information guy. I've lived, eaten, and breathed software
and
- Original Message -
From: John Rose [EMAIL PROTECTED]
To: agi@v2.listbox.com
Sent: Thursday, March 22, 2007 10:26 PM
Subject: RE: [agi] My proposal for an AGI agenda
Enhancements to existing computer languages or new computer languages that
could possibly grease the wheels for AGI development
experienced, having little, so my opinions are biased from
computer telephony software.
John
From: Russell Wallace [mailto:[EMAIL PROTECTED]
Sent: Saturday, March 24, 2007 2:06 AM
To: agi@v2.listbox.com
Subject: Re: [agi] My proposal for an AGI agenda
On 3/24/07, John Rose [EMAIL PROTECTED
I don't know math too well, not an expert, just what I picked up on forays
into AGI design. But I see an AGI (a simplified view) as being a kind of
morphism processor and database. Taking inputs from the world, detecting
and storing morphisms from the data streams, post processing the morphisms,
(and probably doubt) that
it has the group/ring theory, category theory, etc. that you're
looking for, but you can check into it yourself (if you haven't
already):
http://www.google.com/search?hl=enq=sun+fortressbtnG=Search
On 3/22/07, John Rose [EMAIL PROTECTED] wrote:
Enhancements to existing
Enhancements to existing computer languages or new computer languages that
could possibly grease the wheels for AGI development would be aligning the
language more closely to mathematics. Many of the computer languages are
the same old things rehashed in different though new and evolutionarily