作者: 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。不知可否如此解釋