question to chase
Does a mind’s reasoning contain arithmetic in the relevant sense?
The theorem needs a system with enough arithmetic. People do arithmetic, which makes it plausible, and it has not been shown for the reasoning inside a brain.
question to chase
The theorem needs a system with enough arithmetic. People do arithmetic, which makes it plausible, and it has not been shown for the reasoning inside a brain.