there seems to be something non-algorithmic about our conscious thinking. In particular, a conclusion from the argument in Chapter 4, particularly concerning Gödel’s theorem, was that, at least in mathematics, conscious contemplation can sometimes enable one to ascertain the truth of a statement in a way that no algorithm could.
