中山大学数理逻辑答案.pdf

1 可计算性与数理逻辑答案 Computability and Logic Solutions 中山大学计算机科学系-2014 级 本答案由陈伟津，何自强，胡浩，贾殷，李晓苗，李业豪，李玉三，刘宇，林毛青，邱章成， 吴立慧，肖君兰，谢功海共同完成，非常感谢各位同学的辛苦付出，答案难免存在不足之处， 还请读者指正。 2 第二章答案 2.1 证明： (1) 对任意集合A，存在既是单函数又是满函数的全函数f: A - A，例如，f 是恒等函数id，对任意的a∈A，有id(A)=a。则根据定义，f: A - A 是双函数， 有A 和A 等势。所以任何集合A 与自己等势。 (2) 若集合A 和B 等势，则存在双函数f: A - B。因为f 是双函数，则f 的逆 g: B - A 也是双