1) irreducible proof
不可约证明
2) unprovability
['ʌnpruvə'biliti]
不可证明性
3) impossible problem proof
不可解性证明
4) impossibility proof
不可能性证明
5) readable proof
可读证明
1.
The problem of the inequality s readable proof is still unsolved, within which the proving of triangular inequality is one of the most difficult.
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成。
6) vindicability
[英][,vindikə'biliti] [美][,vɪndəkə'bɪlətɪ]
可证明性
补充资料：不可解性
不可解性
unsolvability
的方法(一个算法(algorithnl))，从而能够解决一个给定的同型问题的无限类中的任何问题，这些问题称为可判定间题(decidab正ty Pl’Oble此).H皿-bert第卜问题就是一个例子，它要求构造一个算法，通过这个算法可以决定任意给定的整系数多项式有无整数零点.很长一段时间，很多可判定问题没有得到解决:后来发现，解决它们的困难是带有原则性的困难.只有后来，20世纪30年代在数理逻辑中精确地提出了算法概念并且证明了对于某些可判定问题所要求的算法不存在，这件事才得以证明.这样的可判定问题称为不可解的(unsdvable)或算法不可解的(川90-行山nlically unsol城b1e).由数学的各个分支提出的很多其他算法问题原来都是不可解的;特别是H刀bert第十问题是不可解的(亦见算法问题(algorit】lmic Pro-blem)). 一旦证明了一个给定的可判定问题算法不可解，则该类中每一个具体问题的解法要求有独特的方法，因此没有一个统一的方法解决所有这些问题. 不可判定命题(ulldeciclable propositions).构造数学理论的工具之一是公理化方法(u习。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条