"Theoretical Computer Science" or "Computational Complexity Theory." I mean, we have subforums for certain programming languages, which is relevant to brainmeta because of their connection to AI, which is an interesting topic akin to the brain.
But a more theoretical forum could make conjectures/hypotheses or theories about the limitations and bounding nature of computation and therefore make connections to AI.
(For example, one could lead a discussion of Turing machines and the Halting problem into that of how we behave as biological equivalents of machines to a degree, or something like that)
Also, do we have a forum for things about logic/reasoning itself? I'm kind of new here.