On 1/30/21, Ben Goertzel <[email protected]> wrote:
> Unless I remember wrong (which is possible), function application in a
> Scott domain is not associative, e.g.
>
> (f(g) ) (h)
>
> is not in general equal to
>
> f( g(h) )
>
> However function composition is associative, and the standard products
> on vectors in Hilbert space are associative
>
> So it seems what you're doing may not be quite right, and you need to
> be looking at some sort of fairly general nonassociative algebras over
> Hilbert space instead ... or something...
>
> Or am I misunderstanding something?


Damn... you're right 😆

I have no idea how to make one function "apply" to another, except by
function composition, so that was what I did.  But I forgot about
associativity...

I don't know if I should pursue along this any further.... it seems
computer-implementable but it's very complicated...  and I currently
don't know how to make non-associative algebras....

Thanks for pointing out my mistake, it's helpful 😅
YKY

------------------------------------------
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T54594b98b5b98f83-M99359ed01b92bc6c13b54601
Delivery options: https://agi.topicbox.com/groups/agi/subscription

Reply via email to