单项选择题

A.凡是可计算的函数都可以用图灵机计算
B.任何计算,如果存在一个有效过程,它就能被图灵机实现
C.有些数学问题是不可求解的(图灵不可停机的)
D.任何表达力足够强的(递归可枚举)形式系统同时满足一致性和完备性