[agi] Re: Hey, looks like the goertzel is hiring...

what -- Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/Tb63883dd9d6b59cc-Mc3ffd71902250833acf37c36 Delivery options: https://agi.topicbox.com/groups/agi/subscription

Re: [agi] my AGI-2024 paper (AGI from the perspective of categorical logic and algebraic geometry)

Where are you submitting the paper? Usually they want an experimental results section. A math journal would want a new proof and some motivation on why the the theorem is important. You have a lot of ideas on how to apply math to AGI but what empirical results do you have that show the ideas

Re: [agi] my AGI-2024 paper (AGI from the perspective of categorical logic and algebraic geometry)

This reminds me of: - an argument I had with the authors of the Mercury logic programming language about "types" (that they were unnecessary kludges atop first order logic) - the claim that Tarski's "model

[agi] Hey, looks like the goertzel is hiring...

but not from this list. =| Goertzel explains his need for library programmers for his latest brainfart, I think his concept has some serious flaws that will be extermely difficult to patch without already having agi... Yes, they are theoretically patchable but will said patches yield net

Re: [agi] my AGI-2024 paper (AGI from the perspective of categorical logic and algebraic geometry)

On Tue, Apr 30, 2024 at 3:35 AM Mike Archbold wrote: > It looks tantalizingly interesting but to help me, somewhat more of an > intuitive narrative would help me unless you are just aiming at a narrow > audience. > Sorry that's not my style usually but I find that my level of math is also