Church's Thesis claims all intuitively computable functions are Turing-computable; primitive recursi...
This proposition has not been edited since the history system was added.