Mini wiki
可实现性
编辑
可实现性是可用来处理关于
公式
的信息而不是关于公式的
证明
的那部分
证明论
。自然数n被称为实现了自然数算术的语言中一个陈述。其他逻辑和数学陈述也是可实现的,假如提供了解释
合式公式
一种方法,而不用借助达成这些公式的证明。
1
相关
在数理逻辑中,直觉主义逻辑的布劳威尔-海廷-柯尔莫哥洛夫释义或BHK释义是由鲁伊兹·布劳威尔、阿兰德·海廷和独立的由安德雷·柯尔莫哥洛夫提出的。它有时也叫做可实现性释义,因为有关于斯蒂芬·科尔·克莱尼的
可实现性
理论。