不可证明 meaning in English

unprovability

Users of the preliminary edition ( now out of print ) will be interested to note several new chapters on complexity theory : chapter 8 on space complexity ; chapter 9 on provable intractability , and chapter 10 on advanced topics , including approximation algorithms , alternation , interactive proof systems , cryptography , and parallel computing
早期版本的读者将惊奇的发现新增的有关复杂性理论的章节：第8章，空间复杂性；第9章，不可证明性；第10章，高级话题，包括近似算法，交替，交互推理系统，密码学和并行计算。