On Tue, Apr 30, 2024 at 3:35 AM Mike Archbold <[email protected]> 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 lagging quite a bit behind the category-theory experts 😆 I will write an easier tutorial on this stuff... most of the material is already covered in the 1984 book "Topoi" by Robert Goldblatt, it really unbelievable (from my perspective) that so much of categorical logic is already well-developed at that time... and I'm still struggling to understand that book 😆 ... which is not a very friendly book for beginners. I doubt if there's a good beginners' introduction to categorical logic... but most importantly, I'd like the readers to see what this theory may offer to AGI development... Maths is very fascinating... but it may not be super useful and may be even quite disappointing... but it's not useless either... and it's hard for anyone to judge its potential... This reminds me of the invention of back-prop.... it was re-discovered a couple times by different researchers... the original formulation required some tedious derivations... but some people worked through them anyway... it was hard to see the value of a discovery until much later. ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T45b9784382269087-Mc4b0da15ec5d9cd95f956762 Delivery options: https://agi.topicbox.com/groups/agi/subscription
