computational-theory-of-mind
A computational foundation for AGI, based on hyperdimensional computing and framed in set theory.