更新时间:-- | 阅读量: 88
研究判定问题的一种方法.该方法基于如下原理:对语言L的理论T,若有一语言L′的理论T′是...若理论T是不可判定的,并且T可以解释到T′中,则T′也一定是不可判定的.解释方法经过适当修改,已成为证明某些数学理论不可判定性的有力工具.
搜索到与“ 解释方法”相关的文献共 6条
研究刑法解释方法及其位阶关系的目的在于确立裁判规范。刑事裁判的形成需要判断,需要考虑判决的社会效果和社会接受性。这是解释方法本身所不能胜任的,也是为刑法解释方法位阶关系论所忽视的。所谓刑法解释方法的位...
《法律方法》 2013年01期 关键词: "刑法"," 解释方法"," 位阶关系"," 否定" 收藏
<p>香港基本法的解释权属于全国人大常委会,同时全国人大常委会授权香港法院解释基本法。</p>
《苏州大学学报(法学版)》 2015年2期 关键词: "基本法解释","原意解释","文义解释","普通法" 收藏
传统的地震解释方法只用少量井的信息进行层位标定,井分层与地震层位对应不准确,井断点与地震断棱也很难匹配。为此开展井震结合精细构造解释,以地震解释理论为基础,制作大量的合成记录,将井分层在地震解释层位的...
《科技经济导刊》 2015年24期 关键词: "井震结合","合成记录","蚂蚁体","断层解释" 收藏
顺北油田属于大型断裂构造运动形成的断溶体储层,纵向裂缝系统和垂向分布的溶洞是主要的储集体空间.本文提出溶洞中的压力变化是由流动和波动共同产生的,依此把能量守恒方程与试井理论相结合,建立考虑重力因素的断...
《计算物理》 2020年02期 关键词: "顺北油田"," 断溶体储层"," 重力"," 缝洞" 收藏
煤层中小断层常会造成大的安全生产事故,因此小断层的准确预测成为煤炭生产迫切需要解决的问题。通过研究优选断层敏感的地震属性,对各种敏感属性进行全空间分析,结合地震时间剖面和已知地质资料进行断层解释,解决...
《工程地球物理学报》 2020年02期 关键词: "地震属性"," 精细解释"," 小断层" 收藏
气相催化是一种绿色环保的化工方法.氟氯烯烃是一种重要的化工原料,其中顺式和反式结构的氟氯烯烃具有较大的物理属性差异.我们旨在研发一种气相催化异构化氟氯烯烃的方法.首先以CF3CCl=CClCF3为原料...
《分子催化》 2020年01期 关键词: "气相催化"," 氟氯烯烃"," 异构化"," 催化剂"," 机理解释" 收藏
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved