Human reasoning about mathematics can be implemented in physics, yes.
All of mathematics can be encoded as just taking some premises (observations) which use ELEMENT OF, AND, NOT, and FORALL, and figuring out which other observations are guaranteed if we have observed all the premises.
This sounds like first-order logic. Which, I think, cannot even define natural numbers unambiguously.
Also, I think you stretched the meaning of “observation” beyond its usual limits.
Human reasoning about mathematics can be implemented in physics, yes.
This sounds like first-order logic. Which, I think, cannot even define natural numbers unambiguously.
Also, I think you stretched the meaning of “observation” beyond its usual limits.