P obviously can't be infinite, even in theory, if you want the computation to terminate.
In the end it all depends on what your definition of reasoning is, which you did not provide.
My argument carries through for any piece of software so if you think software can think and reason then you can remain unconvinced by my argument.
In any case, I have to drop out of this thread.