1) nonexistence of classical solutions
不可解性
2) insolubility
[英][in,sɔlju'biliti] [美][ɪn,sɑljə'bɪlətɪ]
不溶性;不可解性
3) Indecomposable
[英]['in,di:kəm'pəuzəbl] [美][,ɪndikəm'pozəbḷ]
不可分解性
4) no-paraphrase
不可解释性
1.
\'The unity of form and content\' consists of two negative theses: the inseparability of form and content and the no-paraphrase of Art.
"内容与形式的统一"包含两个否定性论题:一个是内容与形式的"不可分性",一个是艺术的"不可解释性"。
5) impossible problem proof
不可解性证明
6) recursive unsolvability
递归不可解性
补充资料：不可解性
不可解性
unsolvability
的方法(一个算法(algorithnl))，从而能够解决一个给定的同型问题的无限类中的任何问题，这些问题称为可判定间题(decidab正ty Pl’Oble此).H皿-bert第卜问题就是一个例子，它要求构造一个算法，通过这个算法可以决定任意给定的整系数多项式有无整数零点.很长一段时间，很多可判定问题没有得到解决:后来发现，解决它们的困难是带有原则性的困难.只有后来，20世纪30年代在数理逻辑中精确地提出了算法概念并且证明了对于某些可判定问题所要求的算法不存在，这件事才得以证明.这样的可判定问题称为不可解的(unsdvable)或算法不可解的(川90-行山nlically unsol城b1e).由数学的各个分支提出的很多其他算法问题原来都是不可解的;特别是H刀bert第十问题是不可解的(亦见算法问题(algorit】lmic Pro-blem)). 一旦证明了一个给定的可判定问题算法不可解，则该类中每一个具体问题的解法要求有独特的方法，因此没有一个统一的方法解决所有这些问题. 不可判定命题(ulldeciclable propositions).构造数学理论的工具之一是公理化方法(u习。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条