德国著名数学家希尔伯特在1900年举办的国际数学家大会中所提出的“算术公理的相容性 (the compatibility of the arithmetical axioms)”这一问题推动了可计算思想研究的深入。在希尔伯特所提出的这个问题中,一个算术公理系统是相容的需要满足三个特点。下面哪个描述不属于这三个特点之一( )
A.
完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来。
B.
一致性,即一个命题不可能同时为为假
C.
可判定性,即算法在有限步内判定命题的真伪
D.
复杂性,即算法性能与输入数据大小相关
拍照语音搜题,微信中搜索"皮皮学"使用
参考答案:
参考解析:
知识点:
皮皮学刷刷变学霸
举一反三
【单选题】My mother and her old friends talked of some things and people ________ they remembered in the school.
【简答题】Read and choose. (阅读理解,选择合适的选项) Welcome to my school. There are 30 classrooms in my school. Look, this is a big playground. In this building (大楼), you can see the gym, the library and the art room. ...