> We can build something which has all the output associated with reasoning.
replySure. A photocopier fed with a maths paper.
I’m willing to bet it still proved more novel mathematical theorems than you did.
replyWhat does this say about your reasoning?