> We can build something which has all the output associated with reasoning.

Sure. A photocopier fed with a maths paper.