> if he could find a way to symbolically represent these fundamental concepts and develop a method by which to combine them logically, then he would be able to

> if he could find a way to symbolically represent these fundamental concepts and develop a method by which to combine them logically, then he would be able to generate new thoughts on demand Reminds me of some recent neurosymbolic work, like "DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning" [1] [1] https://arxiv.org/abs/2006.08381 https://arxiv.org/abs/2006.08381