"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.

hi HiddenVariable and welcome. Having a "Theoretical Computer Science" board is certainly a possibility, and will be created if enough interest is shown in the board. In the interim, maybe consider posting at the Computer Science forum at http://brainmeta.com/forum/index.php?showforum=115

Welcome HV. I'd like to get your opinion on James Anderson's paper on his Perspex Machine:

http://www.bookofparagon.com/Mathematics/S...002.Perspex.pdf

Particularly concerning the validity of the claim that the perspex machine is a supra-turing machine that can enable robot consciousness and free will.