罗里波
- 作品数：14 被引量：13H指数：2
- 供职机构：石家庄经济学院信息工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 完全二叉树的量词消去被引量：6
- 2003年
- 量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本 文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及 有限覆盖证明了完全二叉树的理论可以量词消去.
- 刘吉强廖东升罗里波
- 关键词：完全二叉树量词消去
- 图灵机计算实数函数的稳定性(英文)被引量：1
- 2009年
- 定义在全体实数上的可计算函数是一个很重要的概念。在这以前定义可计算的实数函数有两个途径。第一个途径是首先要定义可计算实数的指标。想要确定实数函数y=f(x)是不是可以计算就要看是否存在一个自然数的(部分)递归函数将可计算实数x的指标对应到可计算实数y的指标。这样一来对实数函数的研究依赖于对自然数函数的研究。第二个定义可计算的实数函数的途径是以逼近为基础的。一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的。用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数。例如"<"和"="的命题函数就是不可以计算的因为它们是不连续的命题函数。本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义。我们的定义不需要用到自然数的(部分)递归函数。根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的。用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多。
- 罗里波
- 关键词：稳定性图灵机
- 模型的并、积与齐次模型
- 1980年
- 这是我们研究齐次模型的第二篇文章。在第一篇文章里我们证明了:(1)
- 罗里波
- 关键词：量词消去等价关系有序集超积
- 康托尔实数的局限性被引量：1
- 2008年
- 康托尔为我们建立了集合论,并且证明了实数的不可数性,但是其中留下了很多疑点.1.一个实数能在每一个集合论模型中出现的充分必要条件是它是可以被集合论来定义的.那些在集合论模型中不出现的实数.我们可以把他们叫做看不见的实数.2.在实数的十进位无穷小数表示法中有些是我们能确切地知道它的第几位是什么,但是对另外的一些实数我们对它们就只能有模糊的认识,也就是说它的第几位是什么我们不可能全部知道.我们可以把他们叫做写不出的实数.3.由于Cantor关于实数是不可致的证明不是构造性的证明.而是用所谓的归谬证法.它们中有很多是看不见写不出的实数.因此说它们是虚拟的实数.4.虚拟实数就像银行中的虚拟货币.你可用它来买东西,它可从—个户头转拨到另—个户头,但是钱的实体是不存在的,这个现象也让我们对某些数学工具的合法性提出质疑.我们用对角线法来证明实数的基数比自然数的基数大,但是我们并没有真正有效的地构造出那么多的实数.因此我们没有办法来确切地定义它们.也可以说它们中的绝大多数是不可以定义的.在一般的情况下虚拟实数是不可以个别地使用的.
- 罗里波
- 无原子布氏代数理论的计算复杂性
- 2004年
- 研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1 无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2 无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3 无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .
- 罗里波
- 利用微机计算古典数论问题被引量：1
- 2004年
- 罗里波龚成清蒋桂梅陈永遥
- 关键词：学习辅导素数计算机程序
- 非良基集合论模型悖论
- 2009年
- 给出一个新的集合论悖论.用模型论方法证明了非良基性的集合论模型的存在性.这个模型中存在对∈关系下降的无限元素外序列.还证明可以存在集合论模型,其中ω,ω1等集合,ON和N等类的内部都存在对∈关系无限递降的元素外序列.这种对∈关系是无限递降的外序列还可以插入于一个没有可数共尾的对∈是上升的序列的后面,插入后成为同名集合的一部分.用这种模型第一次定义并给出了外集合不是内集合的例子.
- 罗里波
- 中国剩余定理在非标准数论中的推广被引量：1
- 2005年
- 我们推广了中国剩余定理,用于研究数论模型,并在非标准数论模型中对比分析若干数论定理.
- 于丽荣罗里波
- 关键词：中国剩余定理
- 群的部分初等等价性(Ⅰ)
- 1986年
- 两个群当适合形式语言■={·,1}中完全相同的形状为(■x_1…x_n)Ψ(x_1…x_n)(ψ中无量词)的语句时,称为■_n-等价的。其他“部分初等等价性”可仿此定义。本文给出了两个群为■_n-等价的代数条件。讨论了一些常见的由二元生成的群,证明它们每一个都只与自身为■_2-等价,(其中包括dihedral群,dicyclic群,quaternion群等)。
- 王世强罗里波翁稼丰
- 关键词：循环子群循环群交代群生成元
- 完全二叉树理论的计算复杂度被引量：2
- 2008年
- 完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩.本文利用有界Ehrenfeucht-Frassé博弈研究完全二叉树的一阶理论,证明了此理论的时间计算复杂度上界为22cn,空间计算复杂度上界为2dn(其中n为输入长度,c,d为合适的常数).
- 李志敏罗里波李祥
- 关键词：计算复杂度
