作者: krusnoopy (push) 2017-03-08 17:09:00
请先接受所有program(computable function)(令为A)是0,1字符组成,所以是可数集,再来了解N->N的function（令为C)有N^N个，是不可数集，uncomputable function(令为B)，因为A+B=C所以B一定要是不可数集因为“可数”(A)联集“不可数”(B)才可能变成不可数(C)2是因为两个都是program，都是无限可数集，所以个数一样，上述都是林立宇老师的解释，不过我很认同一楼，跳过比较实在XD等你认真念到十月的时候，我相信这题你可以的是因为那时候的数学能力真的会变强
作者: hypnos135g 2017-03-08 19:45:00
考完看了k大的讲解才懂XD交大近年会考一两题这种有看过且有背才有分的题目，例如今年strassen，那年的可数和fermat检验。建议把握基本题较实在!!因为可能也写不完2的话我有一个想法所有会terminate的都可加一个while(1)形成无穷loop，所有不会terminate皆可强制break所以1-1且onto。不知可否如此解释