It says it can represent all programs in P, i.e. all reasoning that produces an output in no more than polynomial time with respect to the amount of inputs. Mos

It says it can represent all programs in P, i.e. all reasoning that produces an output in no more than polynomial time with respect to the amount of inputs. Most human reasoning is presumably in P, not NP, because we generally don't find ourselves needing to think exponentially long about things.