# checkable or not

**Checkable or uncheckable mechanics**

If the mechanics are checkable (physics is computable and the brain follows fixed rules), the theorem has something to grab. Any rule-following mind would have true statements about itself that it cannot establish from inside, and it would take its own soundness on faith.

If they are uncheckable, say consciousness depends on something non-computable (Penrose’s bet), the theorem does not apply. Either way someone still has to show that a mind’s reasoning contains arithmetic in the relevant sense.

Connects to:
- [Gödel’s view](https://mapideas.org/i/c_disj)
- [knows its hole](https://mapideas.org/i/c_hole)
- [quantum bridge](https://mapideas.org/i/c_quantum)
- [is it arithmetic?](https://mapideas.org/i/c_q1)
- [the conditions](https://mapideas.org/i/th_cond)
- [the threshold](https://mapideas.org/i/s_thr)
- [unchecked system](https://mapideas.org/i/r_none)
- [weakest condition?](https://mapideas.org/i/th_q)
- [programs](https://mapideas.org/i/s_prog)
- [what escape takes](https://mapideas.org/i/r_escape)
- [non-computable mind?](https://mapideas.org/i/r_q)
- [mind contradicts](https://mapideas.org/i/c_contra)

Source: https://mapideas.org/i/c_check · open on the map: https://mapideas.org/#c_check