1) Godel paradox
哥德尔悖论
1.
This axiom system can both eliminate the Godel paradox and retain the basic achievement of the theory of relativity.
在哲学范畴里研究相对论,针对相对论产生的严重困难———哥德尔悖论,提出了一种新的公理系统,它既可使哥德尔悖论得以消除,又能保留相对论理论的基本成果,并使其得到更深层次的诠释。
2) Wilde contradiction Aestheticism paradox
尔德 矛盾 唯美主义 悖论
3) moral paradox
道德悖论
1.
Based on a contrast between deontic paradox and moral paradox,argue that moral paradox is not a strictly logical paradox,but a moral quasi-paradox dilemma.
基于道义悖论与"道德悖论"的比较分析,论证后者不能归于严格的逻辑悖论,而应视作一种"类悖论道德困境";结合逻辑悖论社会文化功能的探讨,指明开展类悖论道德困境研究的重要价值。
2.
The ways of logical paradox solution are important resources for moral paradox solution.
逻辑悖论消解中的路径和方法是消解道德悖论的重要资源。
3.
Because we use reason to analyze a moral act from different aspects and make opposite conclusions,moral paradox comes forth.
道德悖论的出现,主要是因为人们运用理智,从不同的方面对于同一个道德行为进行分析,从而得出了相互对立的结论。
4) Comete Paradox
孔德悖论
1.
This paper took Comete Paradox as the introduction.
以孔德悖论为引子 ,考察元认知概念的渊源及其研究模型的提出 ,并由此分析该领域的三种主要理论 ,进而从反映论的观点出发 ,可以明晰地看到元认知和自我意识之间的区别和该领域的研究方向与应用前
5) godel number
哥德尔数
6) Kurt Gdel (1906～1978)
哥德尔，K.
补充资料：哥德尔
| 哥德尔（1906～1978） G  del，Kurt奥地利数学家。1906年4月28日生于奥匈帝国的布尔诺，1978年1月14日卒于普林斯顿。1924年入维也纳大学主修物理。1926年转攻数学，1930年春获博士学位。哥德尔一生致力于数理逻辑和数学基础的研究，其重要贡献有：①证明了狭谓词演算的有效公式皆可证。②1931年证明了一个包括初等数论的形式系统，如果是相容的，则它是不完全的（即在本系统中必存在不可证明的真命题）；还证明：这样系统的相容性在本系统中不能证明，更不能用有穷方法证明。③在1939年证明了连续统假设相对于通常的集合论公理系统是相容的。④1958年发表的关于有穷观点的扩张一文里给出一个对于古典数论的构造性解释。他的这些工作从正面或反面、或是部分地解答了20世纪后在数学基础方面争论的最根本的问题。同时也给希尔伯特计划以很大的冲击。他以独立的哲学见解和精湛的数学才能把数学和逻辑结合起来，创建了新方法，把数学基础研究提高到新的水平，使大部分的数理逻辑发展成为 数学的分支。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条