expressibility

与expressibility相关的网络例句 [注：此内容来源于网络，仅供参考]

Intuitionists can accept expressibility of formal system and recursive functions, but will deny any concept of truth outside provability of first order arithmetic.

本文引入了直觉主义的思想，对维特根斯坦的评论进行了新的解读，指出哥德尔证明中所基于的一阶算术的解释是模糊的。

This computing model has good properties (e.g., confluence and termination) and powerful expressibility, and by using it certain non termination problems can be solved and more parallelism can be exploited.

但在实际应用中，通常的项重写系统有时不能很好地解决某些问题，试举一例：文献［1］给出了一个基于重写方法的程序开发系统，在这一系统中，可通过引入优化规则来实现用户的特