Yes to your link. And Hofstadter, of course, riffs on this idea continuously.
(It is fun, btw, to try to invent games in which ‘concepts’ are defined by more and more exotic requirements, then watch the mind as it gets used to the requirements and starts supplying you with instances).
When I was saying mathematically proven, this is something I am still working on, but cannot get there yet (otherwise I would have published it already) because it involves being more specific about the relevant classes of concept mechanism. When the proof comes it will be a statistical-mechanics-style proof, however.
Yes to your link. And Hofstadter, of course, riffs on this idea continuously.
(It is fun, btw, to try to invent games in which ‘concepts’ are defined by more and more exotic requirements, then watch the mind as it gets used to the requirements and starts supplying you with instances).
When I was saying mathematically proven, this is something I am still working on, but cannot get there yet (otherwise I would have published it already) because it involves being more specific about the relevant classes of concept mechanism. When the proof comes it will be a statistical-mechanics-style proof, however.
OK. Now I understand what kind of proof you mean. Thank you for you answer and your passion. Also thanks for the feedback on my old post.