I don't want to get into a philosophical debate here, but please don't overstate the meaning of mathematical theorems. For example, Gödel's incompleteness theo

I don't want to get into a philosophical debate here, but please don't overstate the meaning of mathematical theorems. For example, Gödel's incompleteness theorem is a technical result stating that certain definitions of "model theoretic truth" in classical set theory are incompatible with certain other notions of "truth as provability". Both the statement and its consequences have been so massively oversold for most of the past century that you should never use it in a discussion - think of it as a logical version of Godwin's law. Similarly, no free lunch type theorems are formally the same as the statement that you cannot compress all n byte sequences into less than n bytes, which is really obvious for cardinality reasons. Again, there is no magic, just clever reductions. The argument behind the halting problem also applies to your brain and anything that is somehow an abstract model of computation. More fundamentally, the fact that the self halting problem is undecidable is simply an instance of Cantor's theorem, it's not something that can be avoided. Mathematical logic and therefore computers can be used to talk about infinity and more. Logical "paradoxes" are not a problem either. Some may be genuine proofs of inconsistency of some logical theories and others are simply theorems. The usage of the word "paradox" in natural language is simply imprecise. --- I could go on, but really I don't take offense at any particular point. What bothers me is that you seem to be overselling mathematical results to argue a non-mathematical point... If you really want to apply, e.g., Gödel type theorems to discussions about your brain, you would first have to argue that the assumptions of Gödel's theorems apply. For instance, you could argue that the definition of model based truth in Peano arithmetic is something that your brain can decide. Then it would follow that what your brain does is uncomputable.