Empirical evidence for the Church-Turing thesis in other disciplines
Proof is an inherently mathematical concept. "Effectively calculable function" has no definition in mathematics and you can't prove something that doesn't have a definition.