It is not the case that Church's Thesis is not a mere empirical conjecture but is supported by the mutual reducibility of all known models of computation, constituting a form of mathematical convergence evidence distinct from physical induction.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.