自然数-一流百科

数根

数根给定基数中自然数的数字根（也称为重复数字和）是通过对数字求和的迭代过程获得的（单个数字）值，在每次迭代中使用前一次迭代的结果计算数字和。该过程...

词条百科

水仙花数

水仙花数在数论中，给定数基 b 中的自恋数是一个数那是它自己的数字的总和，每个数字都提高到数字的次方。定义令 n 为自然数。我们定义基数 b > 的自恋...

词条百科

卡布列克数

卡布列克数在数学中，给定数基中的自然数是 p -卡布列克数，如果它的平方在该基数中的表示可以分成两部分，其中第二部分有 p 数字，加起来等于原始数字。定义...

词条百科

不可解度

不可解度在计算机科学和数理逻辑中，不可解度（以艾伦图灵的名字命名）或一组自然数的不可解度衡量了该集合的算法不可解性水平。概览不可解度的概念是可计算...

词条百科

递归函数

递归函数在数理逻辑和计算机科学中，一般递归函数、部分递归函数或 μ 递归函数是从自然数到自然数的部分函数，在直觉和形式上都是可计算的。如果函数是全函...

词条百科

哥德尔数

哥德尔数在数理逻辑中，哥德数是一种函数，它为某些形式语言的每个符号和格式正确的公式分配一个xxx的自然数，称为哥德尔数。这个概念是由库尔特·哥德尔为证...

词条百科

递归集合

递归集合在可计算性理论中，一组自然数被称为可计算的、递归的或可判定的，如果有一种算法将一个数字作为输入，在有限的时间（可能取决于给定的数字）后终止...

词条百科

可计算函数

可计算函数可计算函数是可计算性理论研究的基本对象。可计算函数是算法直观概念的形式化模拟，从某种意义上说，如果存在可以完成函数工作的算法，则函数是可...

词条百科

细化类型

简介在类型理论中，细化类型是一个被赋予了谓词的类型，该谓词被认为对细化类型的任何元素都是成立的。细化类型在作为函数参数使用时可以表达前提条件，在作...

词条百科

容器（类型理论）

容器（类型理论）在类型理论中，容器是一种抽象，它允许各种集合类型，如列表和树，以统一的方式表示。容器的扩展是由一个形状（S型）和一个位置（P型）组成...

词条百科

继任函数

简介在数学中，继任函数或继任运算将一个自然数发送到下一个自然数。继任函数用S表示，所以S(n)=n+1。例如，S（1）=2，S（2）=3。后继函数是用于构建原始递归...

词条百科

不可知问题

简介在可计算性理论和计算复杂性理论中，不可知问题是指被证明不可能构造出一种总是导致正确的是或否答案的算法的决策问题。停顿问题就是一个例子：可以证明...

词条百科

皮亚诺公理

简介在数理逻辑中，皮亚诺公理，也被称为戴德金-皮亚诺公理或皮亚诺公设，是19世纪意大利数学家朱塞佩-皮亚诺提出的自然数公理。这些公理在一些元数学研究中...

词条百科

单数语言

什么是单数语言在计算复杂性理论中，单数语言或理数语言是一种形式语言（一组字符串），其中所有的字符串都有1k的形式，其中1可以是任何固定符号。例如，语言...

词条百科

递归定义

递归定义在数学和计算机科学中，递归定义，或归纳定义，是用来用一个集合中的其他元素来定义该集合中的元素（Aczel1977:740ff）。一些可递归定义对象的例子包...

词条百科

描述数

什么是描述数描述数是图灵机理论中出现的数字。它们与哥德尔数非常相似，在文献中也偶尔被称为哥德尔数。给定一些通用的图灵机，每台图灵机都可以在该机器上...

词条百科