关于现实，图灵－丘奇论题有何说法？