上一页

ⓘ Category:证明论




                                               

可实现性

可以实现的,是可用来处理与公式的信息,而不是在公式来证明的那一部分的证明的理论。 自然数n称为意识到自然数的算术语文的发言。 其他的逻辑和数学的发言也是可以实现的,如果所提供的解释符合公式的一个方法,而不通过达到这些公式来证明。

                                               

希尔伯特演绎系统

在逻辑,尤其是数学逻辑,Hilbert式演绎系统的原因是弗雷格和Hilbert类的形式演绎系统。 这种演绎系统最经常作为第一阶逻辑和研究,但在其他的逻辑也是有价值的。 所有演绎系统的逻辑原理和推断规则的权衡之间的平衡。 希尔伯特风格的演绎系统可以被描绘为选择一个较大数量公理的逻辑模式及较少(希尔伯特的系统,该数量的推理规则。 最常见的研究Hilbert式演绎系统只有一个推理规则,是确保过去和几个无限的公理的架构。 自然扣系统做出的相反的权衡,包括一个很大的解释规则,但也有很少或甚至没有公理模式。

                                               

相继式

在证据论,连续式后续为规定的解释的微积分的经常使用时可以证明,在形式上的发言。

                                               

相继式演算

在证明理论上和数学逻辑,后续型的演算和翻译矢量列的微积分,矢量的柱石,顺序的微积分的是第一阶逻辑的,因为它是一个特殊情况下的命题逻辑和模式的逻辑和其他逻辑的一类证据的微积分。 第一连续的式微积分的L K{\displaystyle LK}通过格哈德*根岑(Gerhard Gentzen介绍了作为研究自然的解释工具;其名称源自德语"Logischer Kalkül"的含义是"逻辑运算"中。 连续的计算公式系统有时被称为一Gentzen系统,但是使用时应避免同Gentzen明,证明微积分的自然扣的混乱。 自然的解释,司法系统和连续的计算公式是一种常见的证据计算。 连续的计算公式是合乎逻辑的研究的重要工具。 许多逻辑的将为他们的研究的逻辑构造的一个或多个连续的式微积分, ...

                                               

菲弗曼-舒特序數

在数学、菲尔*弗曼-Schutte序Γ0是一个大数的序号。 它是一个数字的数学理论上的序列分析的依据。 它所罗门 菲利普*弗曼与库尔特*舒特的名字命名。 人们有时所说的,它是第一个不断序,虽然这是有争议的,部分原因是因为没有普遍接受的确切定义的"非断言"。 有时序数如果不比Γ0是所谓的断言。

用户还搜索了:

...
...
...