Agreement on finite computational procedures does not entail agreement on the logical foundations th...